Sciweavers

251 search results - page 44 / 51
» Diagnosis of Plan Execution and the Executing Agent
Sort
View
AAAI
1997
15 years 7 months ago
Detecting and Reacting to Unplanned-for World States
The degree to which a planner succeeds and meets response deadlines depends on the correctness and completenessof its modelswhichdescribe events and actions that change the world ...
Ella M. Atkins, Edmund H. Durfee, Kang G. Shin
ECAI
2004
Springer
15 years 11 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
AAAI
2008
15 years 8 months ago
Achieving Far Transfer in an Integrated Cognitive Architecture
Transfer is the ability to employ knowledge acquired in one task to improve performance in another. We study transfer in the context of the ICARUS cognitive architecture, which su...
Dan Shapiro, Tolga Könik, Paul O'Rorke
AAAI
2007
15 years 8 months ago
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
AAAI
1990
15 years 7 months ago
Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction
This paper presents a projection algorithm for incremental control rule synthesis. The algorithm synthesizes an initial set of goal-achieving control rules using a combination of ...
Mark Drummond, John L. Bresina