Искусственный интеллект

При описании аксиом и целей для конкретной среды возникает много вопросов. Приведем некоторые из них. Как определить, что сформулировано достаточно аксиом, относящихся к данной среде, для того, чтобы можно было вывести все интересующие нас цели? Как избежать избыточного числа аксиом? В каком виде аксиомы лучше всего формулировать? 3.2. Переход от естественного языка к языку логики предикатов Переход от высказываний на естественном языке к высказываниям на языке логики предикатов достаточно прост, хотя и требует определенной аккуратности. Рассмотрим пример перевода на язык логики предикатов первого порядка предложений естественного языка. Если мы хотим выразить на естественном языке знания о том, что некоторое существо (объект), которое имеет крылья, является птицей или что существо, которое летает и несет яйца, также является птицей, то мы можем записать это в виде двух следующих предложений русского языка.