A language for default reasoning about actions

DOI10.1007/978-3-642-30743-0_36MaRDI QIDQ2900546zbMATH OpenOpenAlexFDO

Authors Hannes Strass, Michael Thielscher

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_36

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Formalization of reasoning about default action (preliminary report)
• Representing action: indeterminacy and ramifications
• Specifying causality in action theories: A default logic approach
• scientific article; zbMATH DE number 1929151
• Representing actions in logic programs and default theories a situation calculus approach

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• A Semantical Account of Progression in the Presence of Defaults
• A logic for default reasoning
• A logic programming approach to knowledge-state planning, semantics and complexity
• A simple declarative language for describing narratives with actions
• Nonmonotonic causal theories
• Preferential reasoning for modal logics
• Representing action and change by logic programs
• Representing the language of the causal calculator in answer set programming

Cited in

(5)

• Handling defeasibilities in action domains
• A general theory of action languages
• A commonsense language for reasoning about causation and rational action
• scientific article; zbMATH DE number 1931674 (Why is no real title available?)
• Advances in Artificial Intelligence

Describes a project that uses

Uses Software

• CCalc

This page was built for publication: A language for default reasoning about actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900546)