Sciweavers

406 search results - page 34 / 82
» Dynamic Logic for Plan Revision in Intelligent Agents
Sort
View
ATAL
2005
Springer
15 years 5 months ago
On the dynamics of delegation, cooperation, and control: a logical account
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
Wiebe van der Hoek, Michael Wooldridge
AAAI
1990
15 years 29 days ago
Logical Task Modelling for Man-Machine Dialogue
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
M. David Sadek
ATAL
2010
Springer
15 years 28 days ago
An integrated possibilistic framework for goal generation in cognitive agents
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
Célia da Costa Pereira, Andrea Tettamanzi
AAAI
1990
15 years 29 days ago
An Approach to Reasoning About Continuous Change for Applications in Planning
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
Thomas Dean, Greg Siegle
AIPS
2009
15 years 28 days ago
Using Distance Estimates in Heuristic Search
This paper explores the use of an oft-ignored information source in heuristic search: a search-distance-to-go estimate. Operators frequently have different costs and cost-to-go is...
Jordan Tyler Thayer, Wheeler Ruml