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...

Full description

Saved in:

Bibliographic Details
Published in:	Artificial intelligence Vol. 171; no. 5; pp. 332 - 360
Main Authors:	Denecker, Marc, Ternovska, Eugenia
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 01.04.2007 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!