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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Annals of mathematics and artificial intelligence Jg. 89; H. 1-2; S. 209 - 236
Hauptverfasser:	Tsampanaki, Nikoleta, Patkos, Theodore, Flouris, Giorgos, Plexousakis, Dimitris
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 01.02.2021 Springer Springer Nature B.V
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!