Paper Info
Title
Reasoning About The Beliefs Of Agents In Multi-Agent Domains In The Presence Of State Constraints: The Action Language Mal
Abstract
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, mAL, 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.
Year
DOI
Venue
2013
10.1007/978-3-642-40624-9_18
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV
Field
DocType
Volume
Kripke structure,Accessibility relation,Cognitive science,Action language,State constraint,Dynamic epistemic logic,Artificial intelligence,Mathematics,Ontic
Conference
8143
ISSN
Citations 
PageRank 
0302-9743
1
0.38
References 
Authors
9
4
Name
Order
Citations
PageRank
Chitta Baral12353269.58
Gregory Gelfond2243.97
Enrico Pontelli31901181.26
Tran Cao Son41795169.42