Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25353
Titel: IGLOO 1.0 : eine grafikunterstützte Beweisentwicklungsumgebung ; Benutzerhandbuch
Verfasser: Feibel, Harald
Sprache: Deutsch
Erscheinungsjahr: 1993
SWD-Schlagwörter: Künstliche Intelligenz
Freie Schlagwörter: artificial intelligence
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: Das System IGLOO ist eine interaktive, grafikunterstützte Beweisentwicklungsumgebung für Sequenzenkalküle. Es besteht aus einer Inferenz- und einer Präsentationskomponente. Die Inferenzkomponente beinhaltet einen automatischen Beweiser und einen Mechanismus zum interaktiven und taktikbasierten Beweisen. Sequenzenkalküle unterschiedlicher Logiken können zum Beweisen aktiviert werden. Die Präsentationskomponente dient zur grafischen Darstellung von Ableitungsbäumen. Das interaktive Beweisen ist durch die spezielle Grafikunterstützung ausgezeichnet. Die Taktikgenerierung in der angebotenen Taktiksprache wird durch Möglichkeiten der Beweisanalyse unterstützt. AIle Systemfunktionen werden auf der Fensteroberfläche mit der Maus ausgelöst. Das System wurde auf einer SOLBOURNE Workstation unter UNIX in SICStusPROLOG implementiert. X Window System bildet die Grundlage für die fensterorientierte Systemoberfläche. Der Quellcode umfaßt etwa 890 KB. IGLOO wurde am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Saarbrücken innerhalb des von Prof. Dr. Wolfgang Wahlster geleiteten Projektes PHI (Planbasierte Hilfesysteme) im Rahmen einer von Dipl.-Inform. Mathias Bauer betreuten Diplomarbeit entwickelt und implementiert.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-55346
hdl:20.500.11880/25409
http://dx.doi.org/10.22028/D291-25353
Schriftenreihe: Document / Deutsches Forschungszentrum für Künstliche Intelligenz : D [ISSN 0946-0098]
Band: 94-08
SciDok-Publikation: 8-Nov-2013
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
D_94_08.pdf30,02 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.