TY - JOUR
T1 - Toward a formalism for conversation protocols using joint intention theory
AU - Kumar, Sanjeev
AU - Huber, Marcus J.
AU - Cohen, Philip R.
AU - McGee, David R.
PY - 2002/1/1
Y1 - 2002/1/1
N2 - Conversation protocols are used to achieve certain goals or to bring about certain states in the world. Therefore, one may identify the landmarks or the states that must be brought about during the goal-directed execution of a protocol. Accordingly, the landmarks, characterized by propositions that are true in the state represented by that landmark, are the most important aspect of a protocol. Families of conversation protocols can be expressed formally as partially ordered landmarks after the landmarks necessary to achieve a goal have been identified. Concrete protocols represented as joint action expressions can, then, be derived from the partially ordered landmarks and executed directly by joint intention interpreters. This approach of applying Joint Intention theory to protocols also supports flexibility in the actions used to get to landmarks, shortcutting protocol execution, automatic exception handling, and correctness criterion for protocols and protocol compositions.
AB - Conversation protocols are used to achieve certain goals or to bring about certain states in the world. Therefore, one may identify the landmarks or the states that must be brought about during the goal-directed execution of a protocol. Accordingly, the landmarks, characterized by propositions that are true in the state represented by that landmark, are the most important aspect of a protocol. Families of conversation protocols can be expressed formally as partially ordered landmarks after the landmarks necessary to achieve a goal have been identified. Concrete protocols represented as joint action expressions can, then, be derived from the partially ordered landmarks and executed directly by joint intention interpreters. This approach of applying Joint Intention theory to protocols also supports flexibility in the actions used to get to landmarks, shortcutting protocol execution, automatic exception handling, and correctness criterion for protocols and protocol compositions.
UR - http://www.scopus.com/inward/record.url?scp=0036578591&partnerID=8YFLogxK
U2 - 10.1111/1467-8640.00187
DO - 10.1111/1467-8640.00187
M3 - Article
AN - SCOPUS:0036578591
SN - 0824-7935
VL - 18
SP - 174
EP - 228
JO - Computational Intelligence
JF - Computational Intelligence
IS - 2
ER -