Abstract
In this work, we investigate the use of Dynamic Preference Logic to encode BDI mental attitudes. Further, exploring this codification and the representation of preferences over possible worlds by preferences over propositional formulas, here called priority graphs, we comment on how to interpret BDI agent programs in this logic. Also, using the connection between dynamic operations defined over preference models and their encoding as transformations on priority graphs, we show how our logic can be used not only to reason about agent programs, but as a tool to specify reasoning mechanisms to guarantee certain properties in the theory of rationality for the programming language.
| Original language | English |
|---|---|
| Title of host publication | BRACIS 2017 |
| Subtitle of host publication | 2017 Brazilian conference on intelligent systems : proceedings : Uberlândia, MG, Brazil from October 2 to 5, 2017 |
| Editors | G.M. Barbosa de Oliveira, G.E.A.P.A. Batista, R. Tinos |
| Pages | 133-138 |
| Number of pages | 6 |
| Publication status | Published - 2017 |
| Event | 2017 Brazilian Conference on Intelligent Systems - Uberlândia Duration: 2 Oct 2017 → 5 Oct 2017 |
Conference
| Conference | 2017 Brazilian Conference on Intelligent Systems |
|---|---|
| Period | 2/10/17 → 5/10/17 |
Keywords
- Computer languages
- Encoding
- Semantics
- Dynamic programming
- Cognition
- Programming
- Electronic mail