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 |
VerfasserIn: | Feibel, Harald |
Sprache: | Deutsch |
Erscheinungsjahr: | 1993 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
Freie Schlagwörter: | artificial intelligence |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
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 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 |
Datum des Eintrags: | 8-Nov-2013 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
D_94_08.pdf | 30,02 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.