Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Edukacja Filozoficzna

Years help

  1. 1 2009

Authors help

  1. 1 Tyburski M.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  REITER'S SOLUTION OF FRAME PROBLEM
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

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

100%
Tyburski M.
Edukacja Filozoficzna
|
2009
|
issue 48
13-30
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.