Abductive logic programming agents with destructive databases

In this paper we present an agent language that combines agent functionality with a state transition theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive updat...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Annals of mathematics and artificial intelligence 2011-06, Vol.62 (1-2), p.129-158
Hauptverfasser:	Kowalski, Robert, Sadri, Fariba
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial Intelligence Complex Systems Computer Science Integrity Logic programming Logic programs Mathematics Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!