TY - GEN
T1 - Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints
T2 - 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013
AU - Baral, Chitta
AU - Gelfond, Gregory
AU - Pontelli, Enrico
AU - Son, Tran Cao
PY - 2013
Y1 - 2013
N2 - Reasoning about actions forms the basis of many tasks such as prediction, planning, and diagnosis in a dynamic domain. Within the reasoning about actions community, a broad class of languages called action languages has been developed together with a methodology for their use in representing dynamic domains. With a few notable exceptions, the focus of these efforts has largely centered around single-agent systems. Agents rarely operate in a vacuum however, and almost in parallel, substantial work has been done within the dynamic epistemic logic community towards understanding how the actions of an agent may affect the knowledge and/or beliefs of his fellows. What is less understood by both communities is how to represent and reason about both the direct and indirect effects of both ontic and epistemic actions within a multi-agent setting. This paper presents a new action language, m , which brings together techniques developed in both communities for reasoning about dynamic multi-agent domains involving both ontic and epistemic actions, as well as the indirect effects that such actions may have on the domain.
AB - Reasoning about actions forms the basis of many tasks such as prediction, planning, and diagnosis in a dynamic domain. Within the reasoning about actions community, a broad class of languages called action languages has been developed together with a methodology for their use in representing dynamic domains. With a few notable exceptions, the focus of these efforts has largely centered around single-agent systems. Agents rarely operate in a vacuum however, and almost in parallel, substantial work has been done within the dynamic epistemic logic community towards understanding how the actions of an agent may affect the knowledge and/or beliefs of his fellows. What is less understood by both communities is how to represent and reason about both the direct and indirect effects of both ontic and epistemic actions within a multi-agent setting. This paper presents a new action language, m , which brings together techniques developed in both communities for reasoning about dynamic multi-agent domains involving both ontic and epistemic actions, as well as the indirect effects that such actions may have on the domain.
UR - http://www.scopus.com/inward/record.url?scp=84886395127&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84886395127&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40624-9_18
DO - 10.1007/978-3-642-40624-9_18
M3 - Conference contribution
AN - SCOPUS:84886395127
SN - 9783642406232
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 290
EP - 306
BT - Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings
Y2 - 16 September 2013 through 18 September 2013
ER -