Nonmonotonic Commitment Machines
| dc.contributor.advisor | Dr Munindar P. Singh, Committee Chair | en_US |
| dc.contributor.advisor | Dr. Rada Chirkova, Committee Member | en_US |
| dc.contributor.advisor | Dr. R. Michael Young, Committee Member | en_US |
| dc.contributor.author | Chopra, Amit Khushwant | en_US |
| dc.date.accessioned | 2010-04-02T18:00:20Z | |
| dc.date.available | 2010-04-02T18:00:20Z | |
| dc.date.issued | 2003-11-07 | en_US |
| dc.degree.discipline | Computer Science | en_US |
| dc.degree.level | thesis | en_US |
| dc.degree.name | MS | en_US |
| dc.description.abstract | 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. | en_US |
| dc.identifier.other | etd-11032003-140115 | en_US |
| dc.identifier.uri | http://www.lib.ncsu.edu/resolver/1840.16/1050 | |
| dc.rights | I hereby certify that, if appropriate, I have obtained and attached hereto a written permission statement from the owner(s) of each third party copyrighted matter to be included in my thesis, dissertation, or project report, allowing distribution as specified below. I certify that the version I submitted is the same as that approved by my advisory committee. I hereby grant to NC State University or its agents the non-exclusive license to archive and make accessible, under the conditions specified below, my thesis, dissertation, or project report in whole or in part in all forms of media, now or hereafter known. I retain all other ownership rights to the copyright of the thesis, dissertation or project report. I also retain the right to use in future works (such as articles or books) all or part of this thesis, dissertation, or project report. | en_US |
| dc.subject | ecommerce | en_US |
| dc.subject | protocols | en_US |
| dc.subject | agents | en_US |
| dc.subject | commitments | en_US |
| dc.subject | logic | en_US |
| dc.title | Nonmonotonic Commitment Machines | en_US |
Files
Original bundle
1 - 1 of 1
