Diskretes Ereignis-Kalkülmörder Discrete Event-Calculus-Mentation ist ein Open-Source-Programm zur Durchführung der automatisierten Commonsense-Argumentation.
Jetzt downloaden

Diskretes Ereignis-Kalkülmörder Ranking & Zusammenfassung

Diskretes Ereignis-Kalkülmörder Stichworte

Veranstaltung Infinitesimalrechnung Commonsense-Argumentation. Diskret Ereignisrechnung logikbasierten Formalismus

Diskretes Ereignis-Kalkülmörder Beschreibung

Discrete Event CalcuLus-Mentation ist ein Open-Source-Programm zur Durchführung der automatisierten Commonsense-Argumentation. Discrete Event Calculus-Mentation ist ein Open-Source-Programm, um mit dem Ereignis-Kalkül, einem umfassenden und hoch verwendbaren logisch-basierten Formalismus, einem umfassenden und hoch verwendbaren logisch-basierten Formalismus zu führen. Merkmale von "diskreten Ereigniskalculus-Gründen": · Mit 99 Beispielen erhältlich · wird mit einem 12-seitigen Benutzerhandbuch geliefert · Unterstützt Abzugs- / Zeitprojektion, Abduktion / Planung, Postdiage und Modellfindung · Erlaubt die Standardmäßigkeit von Aktion, Ändern, Raum und Mentale Zustände · Nützlich für intelligente Benutzeroberflächen, Geschäftssysteme, natürliches Sprachverständnis und Computer Vision · Hilft Anwendungen, die Welt zu verstehen, Schlussfolgerungen zu verstehen, sich auf unerwartete Situationen anzupassen und flexibler zu sein · Veröffentlicht unter der allgemeinen öffentlichen Lizenz V1.0Requirements: · Das diskrete Ereignis-Kalkülmörder erfordert Linux oder Windows + Cygwin, Python, Läute und eine oder mehrere Sat-Löser: RELSA T (empfohlen), Walksat und Minisat. Hier sind einige wichtige Funktionen von "diskreten Ereignis-Kalkültrentat": · Kommt mit 99 Beispielen · Kommt mit dem 12-seitigen Benutzerhandbuch · Unterstützt Abzug / zeitliche Projektion, Abduktion / Planung, Postdiage und Modellfindung · Erlaubt die Standardmäßigkeit über Aktion, Änderung, Raum und mentale Zustände · Nützlich für intelligente Benutzeroberflächen, Geschäftssysteme, natürliches Sprachenverständnis und Computervision · Hilft Anwendungen, die Welt zu verstehen, Schlussfolgerungen zu machen, sich auf unerwartete Situationen anzupassen und flexibler zu sein · Veröffentlicht unter der öffentlichen Lizenz V1.0 Anforderungen: · Das diskrete Ereignis-Kalkülmörder erfordert Linux oder Windows Cygwin, Python, Läute und eine oder mehrere SAT-Löser: RELSAT (empfohlen), Walksat und Minisat.

Diskretes Ereignis-Kalkülmörder Zugehörige Software