We use a version of Statecharts to represent multiagent plans and transactions. Although epistemic and deontic logic are abstract and appropriate for specification, we argue that an agent must know that abstract modal properties apply to it and its collaborators. We develop a language that describes Statechart features but also expresses knowledge, common knowledge, and obligations. The hierarchical and concurrent structure of plans and transactions can hereby be exploited by modal logics.
%0 Book Section
%1 esterline_02_using
%A Esterline, Albert
%D 2002
%J Formal Approaches to Agent-Based Systems
%K 2002 agents statecharts _no_doi
%P 146--161
%T Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions
%U http://www.springerlink.com/content/mkdypde9pc18ecmu
%X We use a version of Statecharts to represent multiagent plans and transactions. Although epistemic and deontic logic are abstract and appropriate for specification, we argue that an agent must know that abstract modal properties apply to it and its collaborators. We develop a language that describes Statechart features but also expresses knowledge, common knowledge, and obligations. The hierarchical and concurrent structure of plans and transactions can hereby be exploited by modal logics.
@incollection{esterline_02_using,
abstract = {We use a version of Statecharts to represent multiagent plans and transactions. Although epistemic and deontic logic are abstract and appropriate for specification, we argue that an agent must know that abstract modal properties apply to it and its collaborators. We develop a language that describes Statechart features but also expresses knowledge, common knowledge, and obligations. The hierarchical and concurrent structure of plans and transactions can hereby be exploited by modal logics.},
added-at = {2009-02-11T22:25:27.000+0100},
author = {Esterline, Albert},
biburl = {https://www.bibsonomy.org/bibtex/2ee125833fc07f0c54ffc11830308f323/leonardo},
citeulike-article-id = {2282841},
interhash = {29e2133d921deb8ec526402ae2627f4e},
intrahash = {ee125833fc07f0c54ffc11830308f323},
journal = {Formal Approaches to Agent-Based Systems},
keywords = {2002 agents statecharts _no_doi},
pages = {146--161},
posted-at = {2008-01-24 02:36:28},
priority = {4},
timestamp = {2009-02-11T22:25:27.000+0100},
title = {Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions},
url = {http://www.springerlink.com/content/mkdypde9pc18ecmu},
year = 2002
}