Формирование рассуждений с использованием информации, |
В предыдущем разделе был приведен простой пример утверждения с заданной по умолчанию информацией о состоянии: люди имеют две ноги. Это заданное по умолчанию значение можно переопределить с помощью более конкретной информации, например, такой, что Длинный Джон Сильвер имеет одну ногу. Кроме того, было показано, что механизм наследования в семантических сетях предоставляет простой и естественный способ переопределения значений, заданных по умолчанию. В этом разделе проводится более общее исследование заданной по умолчанию информации, с тем чтобы можно было понять семантику умолчаний, а не просто создать какой-то процедурный механизм.
|