THE STRUCTURE AND VERIFICATION OF PLAN-BASED JOINT INTENTIONS

Authors
BALZER W TUOMELA R
Citation
W. Balzer et R. Tuomela, THE STRUCTURE AND VERIFICATION OF PLAN-BASED JOINT INTENTIONS, International journal of intelligent and cooperative information systems, 6(1), 1997, pp. 3-26
Citations number
26
Categorie Soggetti
System Science","Computer Science Information Systems
Journal title
International journal of intelligent and cooperative information systems → ACNP
ISSN journal
02182157
Volume
6
Issue
1
Year of publication
1997
Pages
3 - 26
Database
ISI
SICI code
0218-2157(1997)6:1<3:TSAVOP>2.0.ZU;2-M
Abstract
Tuomela's philosophical account of joint intentions is formalized in a special setting in which fully specified plans are available for the execution of the intended joint action. Using additional modal logical assumptions the definition is simplified and used to investigate how the presence of a joint intention can be efficiently checked.