Sciweavers

297 search results - page 23 / 60
» Planning Partially for Situated Agents
Sort
View
AAAI
2010
13 years 10 months ago
Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners
Plan recognition is the problem of inferring the goals and plans of an agent after observing its behavior. Recently, it has been shown that this problem can be solved efficiently,...
Miquel Ramírez, Hector Geffner
ATAL
2006
Springer
13 years 11 months ago
Logics of propositional control
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
Jelle Gerbrandy
STAIRS
2008
113views Education» more  STAIRS 2008»
13 years 10 months ago
Integrating individual and social intelligence into module-based agents without central coordinator
Robots are complex entities that can be modeled as multi-agent systems. The multi-agent paradigm provides an integrated intelligence framework such as a path planning agent that us...
Bianca Innocenti, Beatriz López, Joaquim Sa...
KR
1998
Springer
14 years 1 months ago
On Measuring Plan Quality (A Preliminary Report)
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...
Fangzhen Lin
ATAL
2006
Springer
14 years 27 days ago
Hierarchical planning in BDI agent programming languages: a formal approach
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
Sebastian Sardiña, Lavindra de Silva, Lin P...