Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments

DMCA

Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments (2002)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Pinar Yolum , Munindar R Singh

Citations:

143 - 20 self

BibTeX

@INPROCEEDINGS{Yolum02flexibleprotocol,
    author = {Pinar Yolum and Munindar R Singh},
    title = {Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments},
    booktitle = {},
    year = {2002},
    pages = {527--534},
    publisher = {ACM Press}
}

OpenURL

Abstract

Protocols represent the allowed interactions among communicating agents. Protocols are essential in applications such as electronic commerce where it is necessary to constrain the behaviors of autonomous agents. Traditional approaches, which model protocols in terms of action sequences, limit the flexibility of the agents in executing the protocols. By contrast, we develop an approach for specifying protocols in which we capture the content of the actions through agents' commitments to one another. We forrealize commitments in a variant of the event calculus. We provide operations and reasoning rules to capture the evolution of commitments through the agents' actions. Using these rules in addition to the basic event calculus axioms enables agents to reason about their actions explicitly to flexibly accommodate the exceptions and opportunities that arise at run time. This reasoning is implemented using an event calculus planner that helps us determine flexible execution paths that respect the protocol specifications.

Keyphrases

flexible protocol specification applying event calculus planning event calculus planner electronic commerce action sequence allowed interaction basic event calculus axiom model protocol run time autonomous agent flexible execution path traditional approach protocol specification event calculus

DMCA