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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Artificial intelligence Ročník 171; číslo 5; s. 332 - 360
Hlavní autori:	Denecker, Marc, Ternovska, Eugenia
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier B.V 01.04.2007 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!