Name
Abstract | ||
|---|---|---|
We present a formalism for representing the formation of intentions by agents engaged in cooperative activity. We use a syntactic approach presenting a formal logical calculus that can be regarded as a meta-logic that describes the reasoning and activities of the agents. Our central focus is on the evolving intentions of agents over time, and the conditions under which an agent can adopt and maintain an intention. In particular, the reasoning time and the time taken to subcontract are modeled explicitly in the logic. We axiomatize the concept of agent interactions in the meta-language, show that the meta-theory is consistent and describe the unique intended model of the meta-theory. In this context we deal both with subcontracting between agents and the presence of multiple recipes, that is, multiple ways of accomplishing tasks. We show that under various initial conditions and known facts about agent beliefs and abilities, the meta-theory representation yields good results. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1016/j.artint.2004.11.003 | Artif. Intell. |
Keywords | Field | DocType |
central focus,accomplishing task,multiple way,intention formation,multiple recipe,multi-agent subcontract,meta-theory representation yield,logic-based model,cooperative activity,reasoning time,agent interaction,agent belief,formal logical calculus,formal logic | Logic model,Symbolic computation,Metalanguage,Artificial intelligence,Formalism (philosophy),Formal methods,Syntax,Metamodeling,Mathematics | Journal |
Volume | Issue | ISSN |
163 | 2 | 0004-3702 |
Citations | PageRank | References |
9 | 0.68 | 30 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| John Grant | 1 | 246 | 35.43 |
| Sarit Kraus | 2 | 6810 | 768.04 |
| Donald Perlis | 3 | 306 | 54.22 |