BazEkon - Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie

BazEkon home page

Meny główne

Autor
Korniak Janusz
Tytuł
Obiektowe mechanizmy wnioskowania w logice
The Object Oriented Reasonning in Logic
Źródło
Zeszyty Naukowe / Wyższa Szkoła Informatyki i Zarządzania, 2000, R. 4, nr 2, s. 21-42, bibliogr. 5 poz.
Słowa kluczowe
Logika, Sztuczna inteligencja, Algorytmy
Logic, Artificial intelligence, Algorithms
Uwagi
summ., strzeszcz.
Abstrakt
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)
Dostępne w
Biblioteka Główna Uniwersytetu Ekonomicznego w Krakowie
Biblioteka Główna Uniwersytetu Ekonomicznego w Katowicach
Biblioteka Główna Uniwersytetu Ekonomicznego w Poznaniu
Cytowane przez
Pokaż
ISSN
1429-5237
Język
pol
Udostępnij na Facebooku Udostępnij na Twitterze Udostępnij na Google+ Udostępnij na Pinterest Udostępnij na LinkedIn Wyślij znajomemu