Cтраница 1
Немонотонное рассуждение оказывается важным и в задачах конструирования и планирования. Пространство возможных решений в этих задачах часто оказывается очень большим, и обычно невозможно предвидеть последствия выбора некоторого предварительного варианта схемы. Обычно конструктор знает, что он хочет, но не знает, как этого достичь. При конструировании предположение, как правило, принимает форму временного решения. [1]
Такой тип немонотонных рассуждений был реализован в логике умолчаний и будет рассмотрен наряду с другими типами немонотонных логик позднее. Отметим только, что проблема немонотонности тесно связана с проблемами неполноты и противоречивости знаний. [2]
Рассмотрим пример для немонотонных рассуждений. Нам требуется обнаружить некое утверждение р, которое непосредственно не выводимо. [3]
Даже после возникновения формализованных немонотонных рассуждений задача создания универсальной базы данных здравого смысла не поддается решению. Проблема заключается в том, чтобы написать аксиомы, которые удовлетворяли бы нашим замечаниям об объединении универсальных фактов о каком-либо явлении. Как только мы приняли предварительное решение о некоторых аксиомах, у нас уже есть средства, чтобы учесть ситуации, в которых они неприменимы, и сделать необходимые обобщения. Более того, предполагаемые трудности часто оказываются похожими на те, которые относились к птицам с замурованными в бетоне ногами. [4]
В книге [8.18] представлены логические основы немонотонных рассуждений и описаны как основные немонотонные логики, так и немонотонные формальные системы. [5]
Логика умолчаний Рейтера является одной из версий немонотонных рассуждений. В ней немонотонность обусловлена необщезначимостью правил вывода, присущих той или иной прикладной области. [6]
Этот сценарий иллюстрирует несколько моментов, связанных с немонотонным рассуждением. Прежде всего, имеется множество вещей, которые Роби мог бы подвергнуть проверке. [7]
Он характеризуется комбинацией четырех парадигм ИИ логического программирования, основанных на правилах немонотонного рассуждения и дедуктивного поиска. DUCK достигает немонотонного рассуждения, используя направляемый зависимостями возврат, который в свою очередь использует систему поддержания значений истинности данных. DUCK поддерживает схемы управления с помощью прямой и обратной цепочек рассуждений. [8]
Возможное решение проблемы состоит в формализации понятия контекста и в комбинировании его с методом ограничений ( circumscription) в немонотонных рассуждениях. Добавим в функции и предикаты в наших аксиомах еще один параметр контекста. Каждая аксиома содержит утверждение о некотором контексте, в котором она справедлива. Следующие аксиомы говорят о том, что факты наследуются и в более ограниченном контексте, если не утверждаются исключения. Применимость каждого утверждения немонотонным образом распространяется на определенные более общие контексты, но здесь опять есть исключения. В более общем контексте это может и не предполагаться. Остается определить, чем наследование при переходе к более общему контексту отличается от наследования при переходе к частному кон тексту. [9]
ЭС первого поколения дедуктивного вывода средств для реализации индуктивного ( от частного к общему) и абдуктивного ( от частного к частному) выводов, а также проведения немонотонных рассуждений, в процессе которых поступившие факты иногда изменяют истинность выведенных ранее заключений. Кроме того, системы второго поколения могут обрабатывать в процессе вывода временные и пространственные закономерности. [10]
Он характеризуется комбинацией четырех парадигм ИИ логического программирования, основанных на правилах немонотонного рассуждения и дедуктивного поиска. DUCK достигает немонотонного рассуждения, используя направляемый зависимостями возврат, который в свою очередь использует систему поддержания значений истинности данных. DUCK поддерживает схемы управления с помощью прямой и обратной цепочек рассуждений. [11]
Идея применения аппарата модальных логик в задачах представления знаний для интеллектуальных систем различного назначения начинает завоевывать все более прочные позиции наряду с такими общепризнанными моделями, как семантические сети и их разновидности - фреймы. Для лучшего понимания немонотонных рассуждений сначала изложим основные понятия классических модальных логик, которые положены в основу построения логик немонотонного типа. [12]
Результат этой теоремы, доказанной Конолиге, удивителен. Эквивалентность этих логик предполагает, что формы немонотонных рассуждений хотя и различны, но как автоэпистемические рассуждения, так и рассуждения по умолчанию не обязательно требуют различных формализации. [13]
В свете современных воззрений дедукция, абдукция и обобщение взаимосвязаны, дополняют друг друга и присутствуют в той или иной степени в интеллектуальных системах. В связи с большими объемами перерабатываемых данных и знаний, высокими требованиями к точности и времени обработки, необходимостью работы с неполной, противоречивой и неопределенной информацией проблема автоматизации процессов дедукции, абдукции и обобщения становится одной из наиболее важных проблем при создании интеллектуальных систем различного назначения. Так, в частности, при разработке динамических экспертных систем, характеризующихся неполной, противоречивой и меняющейся во времени информацией, большое значение приобретают исследования по немонотонным рассуждениям. В таких рассуждениях при получении дополнительной информации может потребоваться пересмотр ( ревизия) некоторых ранее сделанных заключений, которые окажутся несовместимыми с новой информацией. Правила немонотонного вывода относятся к правдоподобным выводам. [14]
Положенный в основу таких систем метод поддержки истинности реализован в рамках автономной системы ( как это сделали Доил и ДеКлир), которая работает совместно с решателем проблем и поддерживает вывод в единственном активном пространстве. Принцип функционирования системы состоит в следующем. С каждым выведенным заключением связывается некоторая качественная характеристика, представляющая собой список обоснований этого заключения. Каждое обоснование является списком тех заключений, исходя из наличия и / или отсутствия которых в соответствии с некоторым правилом было непосредственно выведено данное заключение. Возможность учета в правилах и обоснованиях отсутствия заключений позволяет осуществить построение немонотонных рассуждений. Все заключения, выведенные решателем, либо принадлежат активному пространству ( миру), либо находятся вне его. [15]