Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 10 стр.

2. РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ НА ОСНОВЕ СИЛЛОГИСТИКИ
АРИСТОТЕЛЯ
      Рассмотрим основные понятия и положения теории силлогистических выводов
Аристотеля. Сущностью называется все то, о чем можно нечто утверждать. Сущности могут
образовывать классы, представляющие собой совокупности, объединенные с помощью общего
имени. Для обозначения классов сущностей будем использовать больше буквы латинского
алфавита, а для обозначения конкретных сущностей - малые буквы, квантор "Всякий",
поставленный рядом с именем класса, показывает, что в высказывании будет утверждаться то, что
одновременно истинно для всех сущностей, входящих в этот класс. Квантор "некоторый",
поставленный рядом с именем класса сущностей, показывает, что в высказывании будет
утверждаться нечто относительно какого-либо подкласса сущностей, входящих в данный класс. С
помощью кванторов строятся схемы базовых высказываний, используемые в силлогистике, а
именно:
      1. Всякий S есть Р                 5. S есть Р
      2. Всякий S не есть Р       6. S не есть Р
      3. Некоторый S есть Р              7. a есть Р
      4. Некоторый S не есть Р           8. a не есть Р
где S - субъект высказывания, Р - предикат высказывания.
      При этом S определяет сущности, о которых что-то утверждается в высказывании, в то
время как Р определяет, что именно говорится. Связки "есть", "не есть" для высказываний 1...6 бу-
дем интерпретировать как отношения включения (не включения) множеств сущностей, а для
высказываний 7 в 8 - как отношения принадлежности элемента множеству.
      Графическая интерпретация схем базовых высказываний выполняется с использованием
жергоновских отношений (рис.2.1). В приведенной ниже таблице установлено соответствие
между схемами базовых высказываний и жергоновскими отношениями.




                                               10