- 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
- ISSN
- 1429-5237
- Język
- pol
