RUS  ENG
Full version
JOURNALS // Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki // Archive

Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2010 Issue 4, Pages 172–185 (Mi vuu200)

This article is cited 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.

UDC: 533.6.011.3

MSC: 76G25

Received: 15.11.2010



© Steklov Math. Inst. of RAS, 2024