Towards a general theory of action and time
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Journal of Logic Programming
Intention is choice with commitment
Artificial Intelligence
A new deductive approach to planning
New Generation Computing
Artificial intelligence and mathematical theory of computation
Deliberation scheduling for problem solving in time-constrained environments
Artificial Intelligence
HTN planning: complexity and expressivity
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Provably correct theories of action
Journal of the ACM (JACM)
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
A circumscriptive calculus of events
Artificial Intelligence
Incremental abstraction planning for limited-time situations
New directions in AI planning
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An axiomatic basis for computer programming
Communications of the ACM
Principles and Elements of Thought Construction, Artificial Intelligence and Cognitive Robotics
Principles and Elements of Thought Construction, Artificial Intelligence and Cognitive Robotics
Logic for Problem Solving
Representing Concurrent Actions and Solving Conflicts
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
An Abstract Machine for Reasoning about Situations, Actions, and Causality
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Event Calculus Planning Revisited
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
The Right Agent (Architecture) to do the Right Thing
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Intelligence Without Reason
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Noise and the common sense informatic situation for a mobile robot
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
Hybrid agents integrate different styles of reactive, deliberative, and cooperative problem solving in a modular fashion. They are the prime device of (Distributed) Artificial Intelligence and Cognitive Science for realising a broad spectrum of simultaneous functionalities in application domains such as Artificial Life, (Tele-) Robotics, Flexible Manufacturing, and Automated Transportation. This article presents a design methodology for hybrid agents which combines complementary approaches of Software Engineering and declarative Cognitive Robotics at five interconnected specification stages: Architecture, Computational Model, Theory, Inference, and Implementation. Although we give an introduction to the complete methodology of agent design in the first section, we concentrated on presenting a logic-based approach to describe deliberative processes within a hybrid agent architecture in the rest of the article. The interested reader can find the details of the overall framework as well as the proofs of the theorems in [JF01].