Please use this identifier to cite or link to this item:
doi:10.22028/D291-25246
Title: | KRIS : knowledge representation and inference system - Benutzerhandbuch - |
Author(s): | Achilles, Erich Hollunder, Bernhard Laux, Armin Mohren, Jörg-Peter |
Language: | German |
Year of Publication: | 1991 |
SWD key words: | Künstliche Intelligenz |
Free key words: | artificial intelligence |
DDC notations: | 004 Computer science, internet |
Publikation type: | Report |
Abstract: | Dieses Dokument gibt eine Einführung in das Arbeiten mit dem KRIS-System. KRIS ist ein Wissensrepräsentationssystem der KL-ONE Familie, welches in der Projektgruppe WINO am DFKI entwickelt und implementiert worden ist. KRIS stellt dem Benutzer eine mächtige Konzeptsprache für die Definition von Terminologien zur Verfügung; die assertionale Sprache ist vergleichbar mit denen anderer KL-ONE Systeme. Im Unterschied zu allen anderen KL-ONE Systemen sind die typischen Inferenzen wie z.B. Subsumtion, Konsistenztest etc. durch korrekte und vollständige Algorithmen realisiert. Kenntnisse der zugrundeliegenden Konzeptsprachen, der assertionalen Sprache, sowie den Inferenzmäglichkeiten werden vorausgesetzt. Eine Einführung gibt z.B. [1]. |
Link to this record: | urn:nbn:de:bsz:291-scidok-52646 hdl:20.500.11880/25302 http://dx.doi.org/10.22028/D291-25246 |
Series name: | Document / Deutsches Forschungszentrum für Künstliche Intelligenz : D [ISSN 0946-0098] |
Series volume: | 91-14 |
Date of registration: | 23-May-2013 |
Faculty: | SE - Sonstige Einrichtungen |
Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
D_91_14.pdf | 11,9 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.