Definitionsklauselabzug.

Analysieren von Abzugsalgorithmen mit diesem Werkzeug.
Jetzt downloaden

Definitionsklauselabzug. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Name des Herausgebers:
  • AIspace
  • Betriebssysteme:
  • Windows All
  • Dateigröße:
  • 269 KB

Definitionsklauselabzug. Stichworte


Definitionsklauselabzug. Beschreibung

Eindefinierter Klauselabzug ist eine praktische, benutzerfreundliche Anwendung, die speziell für den Demonstrieren verschiedener Abzugsalgorithmen ausgelegt ist, aus der SLD-Auflösung von PROGOD bis zum Benutzer, der manuell Klauseln verwendet wird. Das Abzugsatlet akzeptiert Wissensbanken im CILOG-Format und gibt Funktionen zur Lösung einer Abfrage in dieser Wissensbasis. Es hat auch Optionen, um Beweisbäume anzuzeigen.


Definitionsklauselabzug. Zugehörige Software

Über uns