TY - GEN
T1 - Towards a verification framework for communicating rational agents
AU - Bulling, Nils
AU - Hindriks, Koen V.
PY - 2009/11/2
Y1 - 2009/11/2
N2 - We present an abstract framework for verifying communicative actions for rational agent programming languages. Firstly, a multi-agent verification logic based on the computational semantics is introduced; and subsequently, this multi-agent logic is embedded into a more expressive modal logic over a standard run-based semantics. We formally relate both logics, prove expressivity results, and argue why it is useful to have a (more expressive) standard modal logic and semantics at hand.
AB - We present an abstract framework for verifying communicative actions for rational agent programming languages. Firstly, a multi-agent verification logic based on the computational semantics is introduced; and subsequently, this multi-agent logic is embedded into a more expressive modal logic over a standard run-based semantics. We formally relate both logics, prove expressivity results, and argue why it is useful to have a (more expressive) standard modal logic and semantics at hand.
UR - http://www.scopus.com/inward/record.url?scp=70350378246&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70350378246&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-04143-3_16
DO - 10.1007/978-3-642-04143-3_16
M3 - Conference contribution
AN - SCOPUS:70350378246
SN - 3642041426
SN - 9783642041426
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 177
EP - 182
BT - Multiagent System Technologies - 7th German Conference, MATES 2009, Proceedings
T2 - 7th German Conference on Multiagent System Technologies, MATES 2009
Y2 - 9 September 2009 through 11 September 2009
ER -