Метод резолюции

Резолюция - это один из приемов доказательства теорем в области исчисления высказываний или предикатов, относящийся к сфере искусственного интеллекта.

Резолюция - это правило вывода, используемое для построения опровержений (refutation) Резолюция - это согласованное правило вывода

Метод записи ответов очень прост. Берется исходное подлежащее доказательству заключение и к нему добавляется каждая подстановка унификации, сделанная в процессе резолюции. Таким образом, исходное заключение становится "учетчиком" всех сделанных в процессе резолюции подстановок унификации. При компьютерной реализации это может потребовать увеличения числа указателей, если при поиске опровержения существует несколько вариантов выбора. Для получения альтернативного пути решения понадобится механизм управления, например возврата. Однако при аккуратной реализации эту дополнительную информацию можно сохранить.

___________________________________________________________________________

2. В чем заключается понимание естественного языка: а) человеком б) компьютерной программой?

В 1984 году Сёрль формулирует свою идею более формализованно. Он рассматривает следующие предпосылки:

Предпосылка 1: Мозг порождает разум.

Предпосылка 2: Синтаксиса недостаточно для существования семантики.

Предпосылка 3: Компьютерная программа полностью определяется своей синтаксической структурой.

Предпосылка 4: Человеческий разум оперирует смысловым содержанием (семантикой).

И делает заключения:

Заключение 1: Программы не являются сущностью разума и их наличия недостаточно для наличия разума.

Заключение 2: Тот способ, посредством которого человеческий мозг на самом деле порождает ментальные явления, не может сводиться лишь к выполнению компьютерной программы.

Заключение 3: То, что порождает разум, должно обладать по крайней мере причинно-следственными свойствами, эквивалентными соответствующим свойствам мозга.

А) человек - оперирует семантикой - смысловым содержанием, ведет диалог с другим человеком, понимает его намерения

б) машина ведет диалог задавая вопросы и получая на них ответы. Понимание естественного языка включает куда больше, чем разбор предложений на индивидуальные части речи и поиск значений слов в словаре. Оно базируется на обширном фоновом знании о предмете беседы и идиомах, используемых в этой области, так же, как и на способности применять общее контекстуальное знание для понимания недомолвок и неясностей, присущих естественной человеческой речи.

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

Люди общаются друг с другом на естественных языках, например на английском, немецком и т. п. Вычислительные же машины общаются с людьми в так называемом интерактивном режиме с помощью специальных языков диалога, подчи­ненных строгим семантическим и синтаксическим ограничениям. Поэтому при общении с ЭВМ в интерактивном режиме многие пользователи испытывают затруднения.

____________________________________________________________________________