https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Knowledge_Interchange_Format 2026-05-19T13:33:45Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Knowledge_Interchange_Format&diff=101159&oldid=prev 2018-04-12T10:30:18Z

<p>- BKH</p> <p><b>Neue Seite</b></p><div>Das &#039;&#039;&#039;Knowledge Interchange Format&#039;&#039;&#039; (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen. Seine Notation ist [[LISP]]-basiert.<br /> <br /> ==Weblinks==<br /> <br /> * [http://www-ksl.stanford.edu/knowledge-sharing/kif/ Uni Stanford: ANSI KIF]<br /> * [http://logic.stanford.edu/kif/kif.html Uni Stanford: KIF]<br /> * [http://suo.ieee.org/SUO/KIF/suo-kif.html IEEE: SUO-KIF]<br /> * [http://www.csee.umbc.edu/kse/kif/ Texte zu KIF und auch ein KIF-Parser]<br /> <br /> [[Kategorie:Künstliche Intelligenz]]<br /> [[Kategorie:Dokumentation]]<br /> [[Kategorie:Datenformat]]</div>

imported>Jesi