Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-24865
Titel: | PHI : a logic-based tool for intelligent help systems |
VerfasserIn: | Bauer, Mathias Biundo, Susanne Dengler, Dietmar Koehler, Jana Paul, Gabriele |
Sprache: | Englisch |
Erscheinungsjahr: | 1992 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1992 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz Automatische Handlungsplanung Generator <Informatik> |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | We introduce a system which improves the performance of intelligent help systems by supplying them with plan generation and plan recognition components. Both components work in close mutual cooperation. We demonstrate two modes of cross-talk between them, one where plan recognition is done on the basis of abstract plans provided by the planner and the other where optimal plans are generated based on recognition results. The examples which are presented are taken from an operating system domain, namely from the UNIX mail domain. Our system is completely logic-based. Relying on a common logical framework--the interval-based modal temporal logic LLP which we have developed--both components are implemented as special purpose inference procedures. Plan generation from first and second principles is provided and carried out deductively, whereas plan recognition follows a new abductive approach for modal logics. The plan recognizer is additionally supplied with a probabilistic reasoner as a means to adjust the help provided for user-specific characteristics. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-36180 hdl:20.500.11880/24921 http://dx.doi.org/10.22028/D291-24865 |
Schriftenreihe: | Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x] |
Band: | 92-52 |
Datum des Eintrags: | 22-Jun-2011 |
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 | |
---|---|---|---|---|
RR_92_52.pdf | 11,24 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.