We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.MA

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Multiagent Systems

Title: A Dynamic Preference Logic for reasoning about Agent Programming

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.
Comments: piblished on BRACIS 2017
Subjects: Multiagent Systems (cs.MA); Logic in Computer Science (cs.LO)
DOI: 10.1109/BRACIS.2017.43
Cite as: arXiv:1911.05907 [cs.MA]
  (or arXiv:1911.05907v1 [cs.MA] for this version)

Submission history

From: Marlo Souza [view email]
[v1] Thu, 14 Nov 2019 02:45:50 GMT (124kb)

Link back to: arXiv, form interface, contact.