Представление и обработка знаний

26 2. Всякий автомобиль не есть трамвай ( S – класс автомоби- лей, Р – класс трамваев). 3. Некоторые люди могут прыгнуть в высоту на два метр ( S – класс людей, Р – класс живых существ, которые способны прыг- нуть в высоту на два метра и более). 4. Некоторые деревья сбрасывают на зиму свою листву ( S – класс деревьев, Р – класс всех вечнозеленых растений, включаю- щий в себя и те деревья, которые остаются зимой зелеными). 5. Отец и мать есть родители ( S – класс, состоящий из двух элементов «отец» и «мать», Р – класс с именем родителей, в выска- зывании содержится утверждение о совпадении по объему этих двух классов). 6. Приматы не есть все обезьяны ( S – класс приматов, Р – класс всех обезьян, среди которых и все приматы). Другой пример этого же типа: люди высокого роста не только те, чей рост выше двух метров ( S – класс высоких людей, Р – класс тех существ, чей рост выше двух метров). 7. Иванов – сотрудник нашей лаборатории ( а – единичный объект Иванов, Р – списочный состав нашей лаборатории, т.е. той конкретной лаборатории, о которой говорится в данном высказы- вании). 8. Петров – не член клуба филателистов Москвы ( а – еди- ничный объект, Р – список членов клуба филателистов Москвы). 1.3. Умозаключение Умозаключение – это абстрактная форма мышления, процесс получения знания, т.е. новых суждений, из одного, двух или более суждений. Причем эти суждения могут быть правдоподобными, истинными и ложными. Абстрактность этой формы мышления указывает на то, что в процессе умозаключения не задействованы органы чувств, т.е. весь