A Dynamic Preference Logic for reasoning about Agent Programming

Marlo Souza; Alvaro Moreira; R. Vieira; J.J.C. Meyer

doi:10.1109/BRACIS.2017.43

A Dynamic Preference Logic for reasoning about Agent Programming

Marlo Souza, Alvaro Moreira, R. Vieira, J.J.C. Meyer

Sub Intelligent Systems

Universidade Federal do Rio Grande do Sul

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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	2017 Brazilian Conference on Intelligent Systems (BRACIS)
Publisher	IEEE
Pages	1-6
Number of pages	6
ISBN (Print)	978-1-5386-2407-4
DOIs	https://doi.org/10.1109/BRACIS.2017.43
Publication status	Published - 2017

Access to Document

10.1109/BRACIS.2017.43

A_Dynamic_Preference_Logic_for_Reasoning_about_Agent_ProgrammingFinal published version, 170 KBLicence: Taverne

Cite this

@inproceedings{f334b7be5ed64208a0cbe007e38136e6,

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

author = "Marlo Souza and Alvaro Moreira and R. Vieira and J.J.C. Meyer",

year = "2017",

doi = "10.1109/BRACIS.2017.43",

language = "English",

isbn = "978-1-5386-2407-4",

pages = "1--6",

booktitle = "2017 Brazilian Conference on Intelligent Systems (BRACIS)",

publisher = "IEEE",

address = "United States",

}

TY - GEN

T1 - A Dynamic Preference Logic for reasoning about Agent Programming

AU - Souza, Marlo

AU - Moreira, Alvaro

AU - Vieira, R.

AU - Meyer, J.J.C.

PY - 2017

Y1 - 2017

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

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

U2 - 10.1109/BRACIS.2017.43

DO - 10.1109/BRACIS.2017.43

M3 - Conference contribution

SN - 978-1-5386-2407-4

SP - 1

EP - 6

BT - 2017 Brazilian Conference on Intelligent Systems (BRACIS)

PB - IEEE

ER -

A Dynamic Preference Logic for reasoning about Agent Programming

Abstract

Access to Document

Fingerprint

Cite this