Towards a general theory of action and time
Artificial Intelligence
Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
The computer modelling of mathematical reasoning
The computer modelling of mathematical reasoning
A syntactic theory of belief and action
Artificial Intelligence
Intention is choice with commitment
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
Deliberation and its role in the formation of intentions
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
An overview of incentive contracting
Artificial Intelligence
Collaborative plans for complex group action
Artificial Intelligence
Advanced database systems
Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
Syntactical treatments of propositional attitudes
Artificial Intelligence
Strategic negotiation in multiagent environments
Strategic negotiation in multiagent environments
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Fundamenta Informaticae
A Logic of Relative Desire (Preliminary Report)
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
Semantics of Agent Communication Languages for Group Interaction
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Foundations of a logic of knowledge, action, and communication
Foundations of a logic of knowledge, action, and communication
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A representationalist theory of intention
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The semantics of intention maintenance for rational agents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Models of plans to support communication: an initial report
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Reasoning about Groups: A Cognitive Model for the Social Behavior Spectrum
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
The adversarial activity model for bounded rational agents
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
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.