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

27 процесс умозаключения проходит на уровне мышления и незави- сим от получаемой в данный момент извне информации. Умозаключение имеет определенную структуру, в которой присутствуют исходные суждения – посылки, получаемое суждение – заключение и правила умозаключения: 1) исходное знание, выражающееся в посылках; 2) вывод, знание, выражающееся в заключении или выводе; 3) обосновывающее знание, выражающееся в правилах умо- заключения. При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг над другом. Заключение записывают под горизонтальной чертой, отделяющей его от посы- лок и обозначающей логическое следование. Умозаключение с посылками: р 1 , р 2 , …, р n и заключением Р будем записывать в виде: 1 2 , ,..., n p p p P или ( р 1 , р 2 , …, р n )  Р. Рассмотрим следующий пример умозаключения: 1. Все млекопитающие – животные – посылка. 2. Все кошки – млекопитающие – посылка. 3. Все кошки – животные – заключение. или (1. «Все млекопитающие – животные», 2. «Все кошки – млекопитающие»)  3. «Все кошки – животные». Первое и второе суждения – посылки; третье суждение – за- ключение. Все суждения этого умозаключения – истинные сужде- ния. При наличии содержательной связи между посылками можно получить в процессе рассуждения новое истинное знание при со- блюдении двух условий.