- AutorIn
- Conrad Drescher
- Titel
- Action Logic Programs
- Untertitel
- How to Specify Strategic Behavior in Dynamic Domains Using Logical Rules
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-68252
- Datum der Einreichung
- 03.12.2009
- Datum der Verteidigung
- 19.07.2010
- Abstract (EN)
- We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between the specification of the agent’s strategic behavior and the underlying theory about the agent’s actions and their effects. This makes it a generic, declarative agent programming language, which can be combined with an action representation formalism of one’s choice. We present a declarative semantics for agent logic programs along with (two versions of) a sound and complete operational semantics, which combines the standard inference mechanisms for (constraint) logic programs with reasoning about actions.
- Freie Schlagwörter (DE)
- Logik, Wissensrepräsentation, Dynamische Domänen
- Freie Schlagwörter (EN)
- Logic, Knowledge Representation, Dynamic Domains
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 304, ST 140, ST 125
- GutachterIn
- Professor Dr. rer. nat. habil. Michael Thielscher
- Dr. (PhD) Thomas Meyer
- BetreuerIn
- Professor Dr. rer. nat. habil. Michael Thielscher
- Den akademischen Grad verleihende / prüfende Institution
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa-68252
- Veröffentlichungsdatum Qucosa
- 12.05.2011
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis