Выпуск 4, 2010

Все выпуски

Алгоритм решения полисиллогизмов в ортогональном базисе посредством исчисления конституентных множеств

Сметанин Ю.М.

pdf (378K)

В статье обосновывается необходимость применения альтернативного Аристотелевскому ортогонального базиса силлогистики и выборе в качестве инструмента для решения задач взамен алгебре логики расширенной алгебры множеств. Сформулирован алгоритм построения всех возможных классов интерпретаций решения в терминах множеств конечной меры. Проведены компьютерные эксперименты по решению классических задач Буля, Шредера, Порецкого. При этом получены дополнительные результаты к имеющимся решениям.

Ключевые слова: силлогистика, полисиллогизм, алгебра, множества, ортогональный базис силлогистики, базис Аристотеля

Цитата: Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2010, вып. 4, с. 172-185

DOI: 10.20537/vm100418

Algorithm for solving polisillogizm in the orthogonal basis by calculating the constituent sets

Smetanin Y.M.

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

Citation in English: Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2010, issue 4, pp. 172-185

URL: http://vst.ics.org.ru/journal/article/1722/

Вестник Удмуртского университета. Математика. Механика. Компьютерные науки - 2010 - Выпуск 4

Журнал индексируется в Web of Science (Emerging Sources Citation Index)

Журнал индексируется в

Журнал входит в базы данных zbMATH, MathSciNet

Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science

Журнал входит в систему Российского индекса научного цитирования.

Журнал включен в перечень ВАК.

Электронная версия журнала на Общероссийском математическом портале Math-Net.Ru.

Журнал включен в