Лекция
Привет, Вы узнаете о том , что такое немонотонная логика, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое немонотонная логика , настоятельно рекомендую прочитать все из категории Логика.
Немонотонная логикой является формальной логикой которого следствие отношение не монотонно . Другими словами, немонотонная логика предназначена для фиксации и представления проверяемых выводов (ср. Проверяемые рассуждения ), т. е. Своего рода вывода, в котором рассуждающие делают предварительные выводы, позволяя рассуждающим отозвать свой вывод (выводы) на основе дополнительных доказательств. Наиболее изученная формальная логика имеет монотонное отношение следствия, означающее, что добавление формулы к теории никогда не приводит к сокращению ее набора следствий. Интуитивно монотонность указывает на то, что изучение нового знания не может сократить набор того, что уже известно. Монотонная логика не может справиться с различными задачами рассуждения, такими как рассуждение по умолчанию (последствия могут быть получены только из-за отсутствия доказательств обратного), абдуктивное рассуждение (последствия выводятся только как наиболее вероятные объяснения), некоторые важные подходы к рассуждению о знании ( незнание последствий должно быть устранено, когда последствия становятся известными), и аналогично, пересмотр веры (новое знание может противоречить старым верованиям).
Абдуктивное рассуждение - это процесс получения наиболее вероятных объяснений известных фактов. Абдуктивная логика не должна быть монотонной, потому что наиболее вероятные объяснения не обязательно верны. Например, наиболее вероятным объяснением видения влажной травы является дождь; однако от этого объяснения придется отказаться, узнав, что настоящей причиной намокания травы был разбрызгиватель. Поскольку старое объяснение (шел дождь) отменено из-за добавления части знания (был активирован спринклер), любая логика, моделирующая объяснения, немонотонна.
Если логика включает формулы, которые означают, что что-то неизвестно, эта логика не должна быть монотонной. Об этом говорит сайт https://intellect.icu . Действительно, изучение чего-то, что ранее было неизвестно, приводит к удалению формулы, указывающей, что эта часть знания неизвестна. Это второе изменение (удаление, вызванное добавлением) нарушает условие монотонности. Логика рассуждений о знании - это аутоэпистемическая логика .
Пересмотр убеждений - это процесс изменения убеждений, чтобы приспособиться к новым убеждениям, которые могут не соответствовать старым. При предположении, что новое убеждение верно, некоторые из старых должны быть отозваны, чтобы сохранить последовательность. Это опровержение в ответ на добавление нового убеждения делает любую логику пересмотра убеждений немонотонной. Подход пересмотра убеждений является альтернативой паранепротиворечивой логике , которая терпит несогласованность, а не пытается ее устранить.
Конгрегация доктрины веры - это процесс изменения убеждений, чтобы принять новую веру, которая может быть несовместимой со старыми. В предположении, что новое убеждение является правильным, некоторые старые должны быть отозваны с целью сохранения последовательности. Этот отказ в ответ на добавление новой веры делает любую логику просмотра веры немонотонной. Подход к пересмотру веры является альтернативой противоречащей логике , которая допускает несоответствие, а не попытку ее удалить.
Теоретико-доказательная формализация немонотонной логики начинается с принятия некоторых немонотонных правил вывода , а затем предписывает контексты, в которых эти немонотонные правила могут применяться в допустимых выводах. Обычно это достигается с помощью уравнений с фиксированной точкой, которые связывают наборы предпосылок и наборы их немонотонных выводов. Логика по умолчанию и автоэпистемическая логика - наиболее распространенные примеры немонотонной логики, формализованной таким образом.
Теоретико-модельная формализация немонотонной логики начинается с ограничения семантики подходящей монотонной логики некоторыми специальными моделями, например, минимальными моделями, а затем выводится набор немонотонных правил вывода , возможно, с некоторыми ограничениями. в каких контекстах могут применяться эти правила, чтобы результирующая дедуктивная система была надежной и полной в отношении ограниченной семантики. В отличие от некоторых теоретико-доказательных формализаций, которые страдали от хорошо известных парадоксов и которые часто было трудно оценить с точки зрения их соответствия интуиции, которую они должны были уловить, теоретико-модельные формализации не имели парадоксов и оставляли мало места для путаница в отношении того, какие немонотонные модели рассуждений они охватывают. Примеры теоретико-доказательной формализации немонотонных рассуждений, которые выявили некоторые нежелательные или парадоксальные свойства или не улавливали желаемых интуитивных представлений, которые были успешно (согласуются с соответствующими интуитивными представлениями и не имели парадоксальных свойств, то есть) формализованы моделью -теоретические средства включают ограниченность первого порядка , предположение о замкнутом мире иаутоэпистемическая логика .
Представленные результаты и исследования подтверждают, что применение искусственного интеллекта в области немонотонная логика имеет потенциал для революции в различных связанных с данной темой сферах. Надеюсь, что теперь ты понял что такое немонотонная логика и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Логика
Из статьи мы узнали кратко, но содержательно про немонотонная логика
Комментарии
Оставить комментарий
Логика
Термины: Логика