FORMALIZATION METHOD OF CAUSAL REASONING IN LOGIC (Formalizacja rozumowania przyczynowo-skutkowego)

• Authors: Tyburski Michal
• Languages of publication: PL

Abstracts

EN

The author discusses Reiter's formalization method of causal reasoning and his partial solution of the frame problem. In paragraph one, simple, causal reasoning scenario is presented. In paragraph two, language of situation calculus is discussed. In paragraph three, both action precondition axioms and the qualification problem for actions are analyzed. In paragraph four, the author introduces effect axioms. In paragraph five, not only frame axioms but the frame problem is presented as well. Next, explanation closure axioms, unique names axioms for actions and a partial solution to the frame problem are given. Paragraph six contains formalization of scenario described at the beginning of the article. Finally, comments about limitations of the presented method are made.

Keywords

EN

CAUSAL REASONING; REITER'S SOLUTION OF FRAME PROBLEM

Discipline

• PHILOSOPHY: PHILOSOPHY

• Publisher: Uniwersytet Warszawski. Wydział Filozofii
• Journal: Edukacja Filozoficzna
• Year: 2009
• Issue: 48
• Pages: 13-30
• Document type: ARTICLE

Contributors

author

Tyburski Michal

• Michal Tyburski, Uniwersytet Wroclawski, pl. Uniwersytecki 1, 50-137 Wroclaw, Poland

Identifiers

CEJSH db identifier

10PLAAAA072513