Sciweavers

11 search results - page 1 / 3
» Abductive Completion of Plan Sketches
Sort
View
AAAI
1997
13 years 6 months ago
Abductive Completion of Plan Sketches
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...
Karen L. Myers
AIPS
2003
13 years 6 months ago
A Mixed-initiative Framework for Robust Plan Sketching
Sketching provides a natural and compact means for a user to outline a plan for a high-level objective. Previous work on plan sketching required that sketches be valid, meaning th...
Karen L. Myers, Peter Jarvis, Mabry Tyson, Michael...
FLAIRS
2001
13 years 6 months ago
Probabilistic Plan Recognition for Hostile Agents
This paper presents a probabilistic and abductive theory of plan recognition that handles agents that are actively hostile to the inference of their plans. This focus violates a p...
Christopher W. Geib, Robert P. Goldman
JLP
2000
140views more  JLP 2000»
13 years 5 months ago
An abductive event calculus planner
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
Murray Shanahan
AAMAS
2008
Springer
13 years 5 months ago
DARE: a system for distributed abductive reasoning
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
Jiefei Ma, Alessandra Russo, Krysia Broda, Keith C...