Revising event calculus theories to recover from unexpected observations

Recent extensions of the Event Calculus resulted in powerful formalisms, able to reason about a multitude of commonsense phenomena in causal domains, involving epistemic notions, functional fluents and probabilistic aspects, among others. Less attention has been paid to the problem of automatically...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Annals of mathematics and artificial intelligence Ročník 89; číslo 1-2; s. 209 - 236
Hlavní autoři:	Tsampanaki, Nikoleta, Patkos, Theodore, Flouris, Giorgos, Plexousakis, Dimitris
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cham Springer International Publishing 01.02.2021 Springer Springer Nature B.V
Témata:	Algorithms Artificial Intelligence Calculus Complex Systems Computer Science Dialects Epistemology Formalism Knowledge Knowledge bases (artificial intelligence) Logic programming Mathematics Revisions Semantics 03B42 Event calculus 03B70 68T27 Action theories Answer set programming Belief revision
ISSN:	1012-2443, 1573-7470
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!