Nonmonotonic Commitment Machines

ecommerce;protocols;agents;commitments;logic

Chopra, Amit Khushwant ; Dr Munindar P. Singh, Committee Chair,Dr. Rada Chirkova, Committee Member,Dr. R. Michael Young, Committee Member,Chopra, Amit Khushwant ; Dr Munindar P. Singh ; Committee Chair ; Dr. Rada Chirkova ; Committee Member ; Dr. R. Michael Young ; Committee Member

University:North Carolina State University

关键词: ecommerce;    protocols;    agents;    commitments;    logic;   

Others  :  https://repository.lib.ncsu.edu/bitstream/handle/1840.16/1050/etd.pdf?sequence=1&isAllowed=y

美国|英语

来源: null

【 摘 要 】

Protocols in open and dynamic multiagent systems cannot be modeled via formalisms such as finite state machines (FSMs). FSMs though formal, lack content, that is, a protocol-level semantics, which leads to rigidity in protocols. We propose formalism called Nonmonotonic Commitment Machines (NCMs) for representing protocols. An NCM gives a commitment-based semantics to actions and states in a protocol. Protocols represented as NCMs afford the agent flexibility in interactions with other agents. In particular, situations in protocols when nonmonotonic reasoning is required can be efficiently represented in NCMs. For applications that need efficient execution, we show how to compile an NCM into an FSM and prove the compilation to be sound and complete.