Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25030
Titel: | Forward logic evaluation : developing a compiler from a partially evaluated meta interpreter |
VerfasserIn: | Hinkelmann, Knut |
Sprache: | Englisch |
Erscheinungsjahr: | 1991 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1991 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Pure horn logic does not prescribe any inference strategy. Clauses could be applied in forward and backward direction. This paper presents a translation of rules into forward clauses which simulate a forward chaining deduction if executed by Prolog's resolution procedure. Premises of forward rules are verified by Prolog's backward proof procedure using the original clauses. Thus, without any changes to the Prolog interpreter integrated bidirectional reasoning of horn rules is possible. The translation is obtained from a meta interpreter for forward reasoning written in horn logic. Data-driven partial evaluation of this meta interpreter wrt the original horn clauses results in a forward program. The approach is applied to the problem of recognizing production-specific features from a product model. A product model contains geometrical, topological, and technological information collected during the design phase. From these data features giving valuable hints about manufacturing are derived. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-38694 hdl:20.500.11880/25086 http://dx.doi.org/10.22028/D291-25030 |
Schriftenreihe: | Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071] |
Band: | 91-13 |
Datum des Eintrags: | 6-Jul-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 | |
---|---|---|---|---|
TM_91_13.pdf | 15,41 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.