Abstract: "This paper presents a new data-driven model for parallel and efficient execution of logic programs. Applied to knowledge- based control of autonomous systems, it takes advantage of the fact that these systems use their set of rules in a special way. A two-step method for constructing...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Burg, Alexandra (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Passau 1996
Schriftenreihe:	Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1996,12
Schlagworte:	Expert systems (Computer science) Flowgraphs Logic programming Parallel processing (Electronic computers) Theoretische Informatik Informatik Mathematik
Zusammenfassung:	Abstract: "This paper presents a new data-driven model for parallel and efficient execution of logic programs. Applied to knowledge- based control of autonomous systems, it takes advantage of the fact that these systems use their set of rules in a special way. A two-step method for constructing dataflow graphs is outlined. Its core part is the analysis of static data-dependencies, as they exist in the sets of rules for knowledge-based control. The model does not restrict evaluation parallism [sic] in any way, i.e., the same amount of parallelism is exploited as by the (restricted) AND/OR-evaluation models of logic programming. Furthermore, control efficiency is increased by the model's purely data-driven evaluation scheme that saves any distribution of demands-for-evaluation."
Beschreibung:	Teilw. als: Conference proceedings of AI, Simulation and Planning in High Autonomy Systems ; 1996
Beschreibung:	57, 4 S.