Sciweavers

80 search results - page 6 / 16
» Specifying and reasoning about uncertain agents
Sort
View
ATAL
2007
Springer
14 years 1 months ago
A grounded specification language for agent programs
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...
KI
2001
Springer
14 years 2 months ago
Belief Update in the pGOLOG Framework
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
Henrik Grosskreutz, Gerhard Lakemeyer
ATAL
2005
Springer
14 years 3 months ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...
ATAL
2008
Springer
13 years 11 months ago
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms
Agents in an organization need to coordinate their actions in order to reach the organizational goals. Organizational models specify the desired behaviour in terms of roles, relati...
Bob van der Vecht, Frank Dignum, John-Jules Ch. Me...
IJAR
2008
118views more  IJAR 2008»
13 years 9 months ago
Dynamic multiagent probabilistic inference
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
Xiangdong An, Yang Xiang, Nick Cercone