Adding knowledge to the action description language A

Authors:
Jorge Lobo;Gisela Mendez;Stuart R. Taylor
Affiliations:
Department of EECS, University of Illinois at Chicago;Departamento de Matemáticas, Universidad Central de Venezuela;Department of EECS, University of Illinois at Chicago
Venue:
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Year:
1997

Citing 1
Cited 12

What is planning in the presence of sensing?

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2

Alternative essences of intelligence

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Some Alternative Formulations of the Event Calculus

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Inferring Implicit State Knowledge and Plans with Sensing Actions

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Knowledge and the action description language 𝒜

Theory and Practice of Logic Programming
Programming Rational Agents in a Modal Action Logic

Annals of Mathematics and Artificial Intelligence
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

Theory and Practice of Logic Programming
Reasoning about actions with sensing under qualitative and probabilistic uncertainty

ACM Transactions on Computational Logic (TOCL)
Conditional planning with external functions

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
The cog project: building a humanoid robot

Computation for metaphors, analogy, and agents
Detecting and repairing anomalous evolutions in noisy environments

Annals of Mathematics and Artificial Intelligence
Personalization for the semantic web

Proceedings of the First international conference on Reasoning Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce Ak an extension of the action description language A (Gelfond & 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. Finally, we present a translation of descriptions in Ak to epistemic logic programs.