Knowledge and the action description language 𝒜

Authors:
Jorge Lobo;Gisela Mendez;Stuart R. Taylor
Affiliations:
Network Computing Research Department, Bell Laboratories, Murray Hill, NJ 07974, USA/ e-mail: jlobo@research.bell-labs.com;Departamento de Matemá/ticas, Universidad Central de Venezuela, Caracas, Venezuela/ e-mail: gmendez@ciens.ucv.ve;Raytheon Systems Company, Expeditionary Warfare & Industrial Automotive, 13532 N. Central Exp., MS 37, Dallas, TX, 75243, USA/ e-mail: s-taylor5@ti.com
Venue:
Theory and Practice of Logic Programming
Year:
2001

Citing 13
Cited 11

Semantical considerations on nonmonotonic logic

Artificial Intelligence
How to clear a block: A theory of plans

Journal of Automated Reasoning
Foundations of computer science

Foundations of computer science
Methods and logics for proving programs

Handbook of theoretical computer science (vol. B)
Autoepistemic logic

Journal of the ACM (JACM)
Foundations of disjunctive logic programming

Foundations of disjunctive logic programming
Splitting a logic program

Proceedings of the eleventh international conference on Logic programming
Representing actions in equational logic programming

Proceedings of the eleventh international conference on Logic programming
Representing action: indeterminacy and ramifications

Artificial Intelligence
Approximate reasoning about actions in presence of sensing and incomplete information

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
What is planning in the presence of sensing?

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Adding knowledge to the action description language A

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Causal theories of action and change

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Knowledge, action, and the frame problem

Artificial Intelligence
Knowledge updates: semantics and complexity issues

Artificial Intelligence
A Theory of Action, Knowledge and Time in the Event Calculus

SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
An action description language for iterated belief change

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Minimal change and maximal coherence for epistemic logic program updates

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Knowledge updates: Semantics and complexity issues

Artificial Intelligence
Reasoning with knowledge, action and time in dynamic and uncertain domains

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Iterated belief change due to actions and observations

Journal of Artificial Intelligence Research
Considerations on belief revision in an action theory

Correct Reasoning
A production rule-based framework for causal and epistemic reasoning

RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce 𝒜k, an extension of the action description language 𝒜 (Gelfond and Lifschitz, 1993) to handle actions which affect knowledge. We use sensing actions to increase an agent's knowledge of the world and non-deterministic actions to remove knowledge. We include complex plans involving conditionals and loops in our query language for hypothetical reasoning. We also present a translation of 𝒜k domain descriptions into epistemic logic programs.