A forward-chaining multiple-context reasoner and its application to logic design

Abstract: "This paper presents an extended production system architecture which can deal with forward reasoning in multiple contexts. The proposed architecture consists of a compiler of clauses and default rules into a RETE-like network, a RETE-based inference engine and the ATMS. The feature o...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ohta, Yoshihiko (VerfasserIn), Inoue, Katsumi (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Tokyo, Japan 1990
Schriftenreihe:Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 5712
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge