Inductive situation calculus

Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus in ID-logic, classical logic extended with inductive definitions. This logic has been proposed recently and is an extension of classi...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Artificial intelligence Jg. 171; H. 5; S. 332 - 360
Hauptverfasser:	Denecker, Marc, Ternovska, Eugenia
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 01.04.2007 Elsevier
Schlagworte:	Applied sciences Artificial intelligence Computer science; control theory; systems Exact sciences and technology Inductive definitions Knowledge representation Situation calculus Inductive definitions Situation calculus Knowledge representation Induction Partial ordering Case based reasoning Predicate calculus Inductive learning Modularity Temporal logic Circumscription Temporal reasoning Discrete time Causality Inductive logic programming Artificial intelligence
ISSN:	0004-3702, 1872-7921
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!