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ženo v:

Podrobná bibliografie
Vydáno v:	Artificial intelligence Ročník 171; číslo 5; s. 332 - 360
Hlavní autoři:	Denecker, Marc, Ternovska, Eugenia
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 01.04.2007 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!