 |
 |
 |
 |
|
 |
 |
61
в) двоечник;
ж) троечник.
г) отличник;
3.5. Законы логического вывода
Умение делать выводы
— основная способность любого интеллекта. Основным признаком
интеллекта являются знания и умения решать определенные задачи. Основой этих интеллектуальных
умений являются законы и принципы логического вывода.
Знание законов логического вывода позволяет выверять правильность рассуждений, доказательств,
а также находить ошибочные утверждения. Незнание или нарушение этих законов и принципов
приводит к логическим ошибкам и принятию неправильных решений.
В качестве иллюстрации рассмотрим базу знаний о семье. Пусть в семье есть дочь Оля, сын Сережа,
мама Надя, папа Коля, бабушка Зина и дедушка Миша:
Соответствующая база данных на языке Пролог:
мама (Зина, Надя);
папа (Миша, Надя);
мама (Надя, Оля);
папа (Коля, Оля);
мама (Надя, Сережа);
папа (Коля, Сережа);
Система Пролог при наличии этих фактов в памяти ЭВМ даст следующие ответы на вопросы о
«папах» и «мамах»: