Warianty tytułu
The Object Oriented Reasonning in Logic
Języki publikacji
Abstrakty
Celem artykułu jest próba zastąpienia wnioskowania przy użyciu metody dowodzenia twierdzeń w logice wiary mechanizmem obiektowym. Metoda obiektowa bazuje na zapisie wiedzy przy użyciu ram Minsky'ego, a wnioskowaniem przebiega wg strategii operacji na sortowaniu topologicznym. Artykuł poparty jest przykładem problem trzech mędrców oraz jego implementacją w języku Smalltalk.
The objective of this paper is attempting to replace concluding with a method of proving the statements in the logic of belief by the object mechanism. The object method is based on recording the knowledge using Minsky's scheme and the concluding proceeds due to the strategy linked on topologic classification. The new mechanism features also with: a smaller computational complexity (comparing to the traditional method) as well as the ease of implementation. Researches on the new method concern its correctness and completeness. The paper is supported by the example of the three wise men's problem and its implementation in Smalltalk language. (original abstract)
Słowa kluczowe
Rocznik
Numer
Strony
21--42
Opis fizyczny
Twórcy
autor
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000000011367
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ć.