Meta Agent Programs
| dc.contributor.author | Dix, Juergen | en_US |
| dc.contributor.author | Subrahmanian, V.S. | en_US |
| dc.contributor.author | Pick, George | en_US |
| dc.date.accessioned | 2004-05-31T22:59:00Z | |
| dc.date.available | 2004-05-31T22:59:00Z | |
| dc.date.created | 1999-09 | en_US |
| dc.date.issued | 1999-09-11 | en_US |
| dc.description.abstract | There are numerous applications where an agent \aga needs to reason about the beliefs of another agent, as well as about the actions that other agents may take. In Eiter/Subrahmanian/Pick the concept of an agent program is introduced, and a language within which the operating principles of an agent can be declaratively encoded on top of imperative data structures is defined. In this paper we first introduce certain belief data structures that an agent needs to maintain. Then we introduce the concept of a \emph{Meta Agent Program} (\map), that extends the framework of Eiter/Subrahmanian/Pick, so as to allow agents to perform metareasoning. We build a formal semantics for \map{s}, and show how this semantics supports not just beliefs agent a may have about agent b's state, but also beliefs about agents b's beliefs about agent c's actions, beliefs about b's beliefs about agent c's state, and so on. Finally, we provide a translation that takes any \map as input and converts it into an agent program such that there is a one-one correspondence between the semantics of the \map and the semantics of the resulting agent program. This correspondence allows an implementation of \map{s} to be built on top of an implementation of agent programs. Also cross-referenced as UMIACS-TR-99-49 | en_US |
| dc.format.extent | 554218 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/1903/1025 | |
| dc.language.iso | en_US | |
| dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
| dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
| dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
| dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |
| dc.relation.ispartofseries | UM Computer Science Department; CS-TR-4053 | en_US |
| dc.relation.ispartofseries | UMIACS; UMIACS-TR-99-49 | en_US |
| dc.title | Meta Agent Programs | en_US |
| dc.type | Technical Report | en_US |
Files
Original bundle
1 - 1 of 1