Please use this identifier to cite or link to this item:
doi:10.22028/D291-25353
Title: | IGLOO 1.0 : eine grafikunterstützte Beweisentwicklungsumgebung ; Benutzerhandbuch |
Author(s): | Feibel, Harald |
Language: | German |
Year of Publication: | 1993 |
SWD key words: | Künstliche Intelligenz |
Free key words: | artificial intelligence |
DDC notations: | 004 Computer science, internet |
Publikation type: | Report |
Abstract: | 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 to this record: | urn:nbn:de:bsz:291-scidok-55346 hdl:20.500.11880/25409 http://dx.doi.org/10.22028/D291-25353 |
Series name: | Document / Deutsches Forschungszentrum für Künstliche Intelligenz : D [ISSN 0946-0098] |
Series volume: | 94-08 |
Date of registration: | 8-Nov-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_94_08.pdf | 30,02 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.