Выдержка из книги
Братко И.N.
Программирование на языке пролог для искусственного интеллекта
Наша оболочка экспертной системы, описанная в предыдущем разделе, может работать только с такими вопросами ( утверждениями), которые либо истинны, либо ложны. Предметные области, в которых на любой вопрос можно ответить правда или ложь, называются категорическими. Наши правила базы знания ( также, как и данные) были категорическими, это были категорические импликации. Однако многие области экспертных знаний не являются категорическими. Как правило, в заключениях эксперта много догадок ( впрочем, высказанных с большой уверенностью), которые обычно верны, но могут быть и исключения. Как данные, относящиеся к конкретной задаче, так и импликации, содержащиеся в правилах, могут быть не вполне определенными.
