|
Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2010, Issue 4, Pages 172–185
(Mi vuu200)
|
|
|
|
This article is cited in 5 scientific papers (total in 5 papers)
COMPUTER SCIENCE
Algorithm for solving polisillogizm in the orthogonal basis by calculating the constituent sets
Y. M. Smetanin Institute of Economics and Management, Udmurt State University, Izhevsk, Russia
Abstract:
The article explains the need for orthogonal basis of syllogistics as an alternative to the basis of Aristotle and the need for the choice of extended algebra of sets as a tool for solving problems instead of logic algebra. An algorithm for constructing all possible classes of interpretations of solutions in terms of sets of finite measure has been formulated. Computer simulations to solve the classic tasks of Buhl, Schroeder, Poretsky have been conducted. At the same time additional results to existing solutions have been received.
Keywords:
syllogistics, polisillogizm, algebra, sets, orthogonal basis of syllogistics, basis of Aristotle.
Received: 15.11.2010
Citation:
Y. M. Smetanin, “Algorithm for solving polisillogizm in the orthogonal basis by calculating the constituent sets”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2010, no. 4, 172–185
Linking options:
https://www.mathnet.ru/eng/vuu200 https://www.mathnet.ru/eng/vuu/y2010/i4/p172
|
Statistics & downloads: |
Abstract page: | 259 | Full-text PDF : | 189 | References: | 30 | First page: | 1 |
|