SciDok

Eingang zum Volltext in SciDok

Lizenz

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-38694
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/3869/


Forward logic evaluation : developing a compiler from a partially evaluated meta interpreter

Hinkelmann, Knut

Quelle: (1991) Kaiserslautern ; Saarbrücken : DFKI, 1991
pdf-Format:
Dokument 1.pdf (15.412 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
SWD-Schlagwörter: Künstliche Intelligenz
Institut: DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Schriftenreihe: Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071]
Bandnummer: 91-13
Sprache: Englisch
Erstellungsjahr: 1991
Publikationsdatum: 06.07.2011
Kurzfassung auf Englisch: 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.
Lizenz: Standard-Veröffentlichungsvertrag

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English