PL EN


2009 | 48 | 13-30
Article title

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

Authors
Title variants
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.
Year
Issue
48
Pages
13-30
Physical description
Document type
ARTICLE
Contributors
  • Michal Tyburski, Uniwersytet Wroclawski, pl. Uniwersytecki 1, 50-137 Wroclaw, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
10PLAAAA072513
YADDA identifier
bwmeta1.element.414d7465-cf76-3c2d-9d6d-0229df17aca0
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.