Formalizing sensing actions -- a transition function based approach

DOI10.1016/S0004-3702(00)00080-1zbMath0969.68152MaRDI QIDQ5940779

Tran Cao Son, Chitta R. Baral

Publication date: 20 August 2001

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

approximate reasoningincomplete informationaction description languagesconditional plansregression of knowledge formulassensing actions

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

Considerations on Belief Revision in an Action Theory, Applications of Action Languages in Cognitive Robotics, Hybrid conditional planning using answer set programming, Approximate postdictive reasoning with answer set programming, A history based approximate epistemic action theory for efficient postdictive reasoning, Proof systems for planning under 0-approximation semantics, Epistemic planning: perspectives on the special issue, A generic approach to planning in the presence of incomplete information: theory and implementation, Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results, Reasoning about actions with loops via Hoare logic, Knowledge updates: Semantics and complexity issues, A lightweight epistemic logic and its application to planning, Undoing the effects of action sequences, Approximation of action theories and its application to conformant planning, Formalizing sensing actions -- a transition function based approach, Revising event calculus theories to recover from unexpected observations, Database semantics for natural language, Knowledge-based programs as succinct policies for partially observable domains, Probabilistic Reasoning by SAT Solvers, An action language for multi-agent domains, Practical reasoning about knowledge states for open world planning with sensing, Reactive Policies with Planning for Action Languages, Common-sense reasoning as proto-scientific agent activity, Computational complexity of planning and approximate planning in the presence of incompleteness, Representation and reasoning about evolutions of the world in the context of reasoning about actions, Reasoning about sensing actions in domains with multi-valued fluents, Knowledge, action, and the frame problem

Uses Software

• Walksat
• Smodels
• UCPOP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A syntactic theory of belief and action
• Formalizing narratives using nested circumscription
• Two components of an action language
• Representing action: indeterminacy and ramifications
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Nested abnormality theories
• Representing action and change by logic programs
• ADL and the State-Transition Model of Action
• Narratives in the Situation Calculus
• State Constraints Revisited
• Reasoning about effects of concurrent actions
• Representing actions: Laws, observations and hypotheses
• Representing actions in logic programs and default theories a situation calculus approach
• Formalizing sensing actions -- a transition function based approach