Проблема квалификации - Qualification problem

В философия и AI (особенно, системы, основанные на знаниях ), проблема квалификации обеспокоен невозможностью листинга все то предварительные условия требуется для реального действия, чтобы иметь предполагаемый эффект[1][2]. Это можно было бы представить как как бороться с вещами, которые мешают мне достичь желаемого результата. Он сильно связан с и напротив сторона разветвления из проблема с рамой[1]. Джон Маккарти приводит следующий вдохновляющий пример.[3] , при котором невозможно перечислить все обстоятельства, которые могут помешать гребной лодке выполнять свою обычную функцию:

«[Для] успешного использования лодки для перехода через реку требуется, если лодка является гребной, чтобы весла и уключины были в наличии и не были сломаны и чтобы они соответствовали друг другу. Можно добавить много других квалификаций, создав правила для использования гребной лодки практически невозможно применить, и тем не менее, любой сможет придумать дополнительные требования, которые еще не указаны ».

Рекомендации

  1. ^ а б Райтер, Раймонд (2001). Знания в действии: логические основы спецификации и реализации динамических систем. Кембридж, Массачусетс: MIT Press. С. 20–22. ISBN  9780262527002.
  2. ^ Тильшер, Майкл (сентябрь 2001 г.). «Квалификационная проблема: решение проблемы аномальных моделей». Искусственный интеллект. 131 (1–2): 1–37. Дои:10.1016 / S0004-3702 (01) 00131-X.
  3. ^ Маккарти, Джон (апрель 1980 г.). «Обход: форма немонотонных рассуждений» (PDF). Искусственный интеллект. 13 (1–2): 27–39. Дои:10.1016/0004-3702(80)90011-9.

Смотрите также

внешняя ссылка