Practical reasoning about knowledge states for open world planning with sensing
From MaRDI portal
Publication:3647290
DOI10.3166/JANCL.19.7-41zbMath1183.68566MaRDI QIDQ3647290
Tamara Babaian, James G. Schmolze
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
68T27: Logic in artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Cites Work
- Unnamed Item
- Knowledge, action, and the frame problem
- Sound and efficient closed-world reasoning for planning
- Computational complexity of planning and approximate planning in the presence of incompleteness
- GOLOG: A logic programming language for dynamic domains
- A logic programming approach to knowledge-state planning
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
- Efficient Open World Reasoning for Planning
- FLUX: A logic programming method for reasoning agents
- Formalizing sensing actions -- a transition function based approach