Sciweavers

857 search results - page 52 / 172
» A Logic of Emotions for Intelligent Agents
Sort
View
AI
2005
Springer
15 years 1 months ago
On the logic of cooperation and propositional control
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Wiebe van der Hoek, Michael Wooldridge
AAAI
2008
15 years 4 months ago
An Extended Interpreted System Model for Epistemic Logics
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
Kaile Su, Abdul Sattar
AAAI
2000
15 years 3 months ago
Maintainability: A Weaker Stabilizability Like Notion for High Level Control
The goal of most agents is not just to reach a goal state, but rather also (or alternatively) to put restrictions on its trajectory, in terms of states it must avoid and goals tha...
Mutsumi Nakamura, Chitta Baral, Marcus Bjärel...
ATAL
2003
Springer
15 years 7 months ago
Engineering commitment-based multiagent systems: a temporal logic approach
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
Jie Xing, Munindar P. Singh
ATAL
2008
Springer
15 years 3 months ago
Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
Benoit Gaudou, Dominique Longin, Emiliano Lorini, ...