РОЛЬ ЛОГИКИ В ПРЕДСТАВЛЕНИИ И ИСПОЛЬЗОВАНИИ ЗНАНИЙ. БАЗА ФАКТОВ

Принятые соглашения о типах знаний позволяют перейти к созданию таких систем, которые могут использовать массивы знаний, передаваемых экспертами, для решения поставленных задач. Их использование дает возможность вести диалог пользователя с интеллектуальной системой и, в частности, получать от нее объяснение использованной процедуры получения решения.

Для классического подхода к информатике и программированию такого рода взгляды — обычное следствие веры в обязательность однозначности и строгости проведения рассуждений или получения доказательств и выводов. В нашем изложении они могут быть в определенном смысле противопоставлены менее формализованным эвристическим методам. Убеждение в правильности рассуждения в формальной логике, на котором строится изучение последовательности умозаключений, связано с выделением в обычных рассуждениях одних элементов, которые могут замещаться другими; правда, это убеждение не связано со смыслом рассуждения, а только с его формой. Например, в рассуждении

Ценная бумага удостоверяет имущественные права, акция — ценная бумага, следовательно, акция удостоверяет имущественные права

выражения «ценная бумага», «акция», «удостоверяет имущественные права» могут быть заменены другими. Для нового состава слов рассуждение формально останется допустимым. Поэтому есте

ственно перейти от слов к символьным обозначениям и рассмотреть общую модель рассуждения в виде

Если все р есть q и если г есть р, то г есть q.

Одни стороны таких замен в любом естественном языке наиболее близки введению переменных, аналогичных использованным выше p_f q_y г, другие — требуют вспомогательных слов вида «если, тогда, или, следовательно» и подобных им слов-связок, называемых операторами. Эффективная формализация (а эффективность подтверждается исключением неоднозначности и неясности на каждом шаге рассуждения) позволяет в таком случае изучать правильность рассуждений и получаемых их применением выводов.

В качестве примера можно рассмотреть формальную систему, которую называют исчислением высказываний, или пропозициональной логикой. Ее определение может быть сформулировано следующим образом:

от систем обработки данных, основанных на числовом представлении информации.

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