 |
 |
 |
 |
|
 |
 |
64
— закон достаточных оснований, указанный Лейбницем, создателем одного из самых первых
механических компьютеров и основателем исчисления предикатов.
Закон достаточных оснований:
Всякое утверждение должно предполагать существование
аргументов и фактов, достаточных для его обоснования.
Иными словами, любое утверждение должно предполагать наличие набора фактов и правил, из
которых должно вытекать утверждаемое. Нарушениями это закона являются рассуждения,
опирающиеся на недостоверные факты или положения, истинность которых не проверяется, а
принимается на веру.
Пример рассуждений, не имеющих достаточных оснований:
1. «Если дорогу перебежала черная кошка, то быть неприятностям».
2. «Это верно», потому что «это — справедливо».
Экспертные системы на ЭВМ с этой точки зрения должны создаваться на основе достоверных
данных и общих правил вывода, проверенных практикой. Включение недостоверных данных или
неподтвержденных обобщений и правил может привести к появлению ошибок и получению
неправильных выводов.
Причина такой работы экспертных систем состоит в том, что компьютеры могут делать выводы и
умозаключения только исходя из тех фактов и правил, которые введены и хранятся в ЭВМ, и только из
этих данных — и ничего другого.
Интеллектуальная мощь экспертных систем на ЭВМ, также как интеллектуальный потенциал людей,
связаны с возможностями накопления не только новых конретных фактических сведений, новых
обобщенных сведений и знаний.
В базах знаний, экспертных системах и других системах искусственного интеллекта такие знания
выражаются в форме новых понятий, записываемых в форме новых правил логического вывода.
В качестве иллюстрации дополним рассмотренную базу знаний о семье набором правил на языке
Пролог, выражающих понятие «родитель»:
родитель(х,у) <- мама(х,у);
—
Мама — родитель.
родитель(х,у) <- папа(х,у);
—
Папа — родитель.
После ввода этих правил в ЭВМ система Пролог на вопросы о родителях выдаст такие ответы при
указанной выше базе данных: