PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2009 | 48 | 13-30
Tytuł artykułu

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

Autorzy
Warianty tytułu
Języki publikacji
PL
Abstrakty
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.
Rocznik
Numer
48
Strony
13-30
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Michal Tyburski, Uniwersytet Wroclawski, pl. Uniwersytecki 1, 50-137 Wroclaw, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
10PLAAAA072513
Identyfikator YADDA
bwmeta1.element.414d7465-cf76-3c2d-9d6d-0229df17aca0
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.