Скачать 1.15 Mb.
|
Пример 3. Дано множество формул: ![]() ![]() ![]() Преобразуем ![]() ![]() ![]() (1) ![]() (2) ![]() ![]() (3) ![]() ![]() (4) ![]() (5) ![]() ![]() Используя метод резолюций, получим: (6) ![]() (7) ![]() (8) ![]() (9) □ резольвента (6) и (8). Лекция 7. Правдоподобные рассуждения. Автоматизация индуктивных расуждений. 7.1. Понятие квазиаксиоматической теории. Прежде, чем рассматривать собственно индуктивные рассуждения, охарактеризуем в целом тот класс рассуждений, к которому можно отнести индуктивные рассуждения. Прежде всего, заметим, что хотя индуктивные рассуждения являются правдоподобными, т.е. не являются достоверными, они не должны быть тривиально недостоверными, например, не должны использовать некорректные правила вывода типа А, АВ ВА. Далее, для них характерна контекстная зависимость от условий применения посылок; следующей их характеристикой является неполнота информации, часто приводящая к использованию посылок с неопределенным истинностным значением. Это последнее обстоятельство означает, в частности, многозначность используемой для формализации подобных рассуждений логики. Неполнота информации связана с открытостью предметной области или, как принято иногда говорить, с открытостью мира. Это означает, что в этом случае мы имеем дело с открытостью множества утверждений, представляющих систему знаний о предметной области и используемых в качестве посылок в выводах. Логическим уточнением понятия открытого мира является понятие квазиаксиоматической теории, введенное В.К. Финном [20]. Квазиаксиматическая теория K = <, `, R > , где - некоторое множество аксиом предметной области, не полностью её харатеризующее; `- множество фактов предметной области или гипотез; R –множество правил вывода (как достоверного так и правдоподобного). Пусть Кn– состояние квазиаксиоматической теории, полученное в результате n последовательных применений правил правдоподобного вывода из R, Кn= <n, `n, R > , а К0– начальное состояние ( к которому ещё не применялись правила правдоподобного вывода), тогда пара <, ` > , где ![]() ![]() ![]() Последовательность состояний К0 , К1 ,…, Кn квазиаксиоматической теории К, такая, что К0– начальное состояние, Кn– заключительное состояние, такое, что применение правил правдоподобного вывода к Кn порождает Кn+1, причем Кn+1 = Кn называется р – рассуждением. Применение правил достоверного вывода из R к результатам р - рассуждения называется pr – рассуждением. Вывод называется монотонным, если имеет место: Если Ф выводима из Г, где Г – некоторое множество формул, то Ф выводима из Г и - где - формула. В противном случае, вывод называется немонотонным. Рассмотрим правило индуктивного вывода А(а1), …, А(аn) хА(х), введенное в 2.1.2. Если элементы а1, …,аn не исчерпывают U, то новый индивид аn+1 U может не обладать свойством А и заключение хА (х) оказывается несправедливым. Это означает, что хА (х) не выводится из А(а1), …, А(аn) и В (аn+1) (где В – какое либо свойство аn+1), т.е. индуктивный вывод не является монотонным. 7.2. ДСМ - метод индуктивного вывода. Индуктивные рассуждения или рассуждения на основе индукции оказываются полезными при решении ряда задач, среди которых – обнаружение закономерностей в массивах данных, восстановление вида функции по её примерам, восстановление грамматики неизвестного языка по множеству его текстов и другие. Индуктивные рассуждения можно рассматривать как инструмент для порождения гипотез. При этом порождаемые гипотезы не обязаны быть достоверными и требуют дальнейшего анализа, результатом которого должно явиться их обоснование (либо опровержение). Но это задача других методов, один из которых, рассуждения на основе аргументации, будет рассмотрен в следующем параграфе, а пока займемся изучением индуктивного метода порождения гипотез в том виде, в каком его предложил В.К.Финн [22]. Идея метода восходит к 1900 году. Она была предложена в начале XX века английским логиком и философом Джоном Стюартом Милем. Эта идея такова: пусть задано множество структур типа объект – свойство. Пусть задача состоит в том, что для некоторого нового объекта требуется установить его неизвестное свойство. В основе подхода лежит предположение о том, что за каждое свойство объекта отвечает некоторая его составная часть или фрагмент. Поэтому на первом этапе для заданного свойства выполняется поиск фрагментов объектов, «ответственных» за это свойство. Для этого анализируются структуры объектов и выполняется поиск объектов, имеющих совпадающие свойства и структурное сходство. Полагается, что именно общие фрагменты объектов, обладающих совпадающими свойствами, являются причиной этих свойств. Затем выполняется поиск такого рода фрагментов в новых объектах и если такие фрагменты обнаружены, объектам приписываются свойства, причинами которых являются обнаруженные фрагменты. В простейшем случае полагается, что свойства, за которые ответственны те или иные фрагменты, порождаются только этими фрагментами и никак не зависят от окружения или контекста. Иначе говоря, предполагается, что свойства целого сводятся к сумме свойств его частей Метод, основанный на указанных соображениях, был назван ДСМ - методом. Здесь мы изложим формализацию ДСМ – метода в интерпретации [23]. Опишем вначале кратко его схему. Итак, пусть ![]() ![]() ![]() ![]() ![]() ![]() ![]() Определим далее отображение ![]() Полагаем ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() Таким образом, функция F задана следующей матрицей: ![]() где FijV Эту матрицу можно считать базой экспериментальных фактов. Задача состоит в том, чтобы преобразовать матрицу ![]() ![]() ![]() ![]() Эта задача решается следующим образом: А) вначале следует найти связи фрагментов объектов со свойствами последних. Эти связи будут представлены в матрице ![]() ![]() где Hij V. Б) используем матрицу ![]() ![]() ![]() ![]() ![]() Теперь опишем шаги А и Б более подробно. Для этого введем правила 1-го и 2-го рода. Правила 1-го рода служат для порождения гипотез о причинах свойств объектов. Пусть ![]() ![]() ![]() ![]() ![]() Определение 7.1. Пусть ![]() ![]() ![]() ![]() ![]() Обозначение: ![]() Определение 7.2.. Пусть ![]() ![]() ![]() ![]() ![]() Обозначение: ![]() Определение 7.3. Пусть ![]() ![]() ![]() ![]() ![]() Обозначение: ![]() Определение 7.4. Пусть ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]()
Обозначение: ![]() ![]() ![]() ![]() ![]() Аналогичным образом вводятся определения для ![]() ![]() Определение 7.5. Пусть ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]()
![]() ![]() Обозначение: ![]() ![]() ![]() ![]() ![]() |
![]() | Конспект лекций по дисциплине "Программное обеспечение интеллектуальных систем". Для магистров специальности 5А521902 Целью данного курса является приобретение знаний по разработки и реализации основных элементов систем искусственного интеллекта | ![]() | Лабораторная работа №1 по дисциплине “Системы искусственного интелекта Исчисление предикатов первого порядка является теоретической основной множества формализмов методов искусственного интеллекта. Задачи... |
![]() | «шаг за шагом» создание искусственного интеллекта гашева Светлана Интеллект рассматривают как прикладную область исследований, связанных с имитацией отдельных функций интеллекта человека [6]. Распознавание... | ![]() | Учебно-методический комплекс по дисциплине “основы искусственного интеллекта” ... |
![]() | «Основы искусственного интеллекта» Рабочая учебная программа по дисциплине «Основы искусственного интеллекта» для ооп «050100 Физика и информатика по циклу б в. 13... | ![]() | Рабочая программа дисциплины «Системы искусственного интеллекта» Рабочая программа основана на требованиях Федерального государственного стандарта высшего профессионального образования по направлению... |
![]() | Учебно-методический комплекс по дисциплине “основы искусственного интеллекта” для специальности ... | ![]() | Учебно-методический комплекс по дисциплине “основы искусственного интеллекта” для специальности ... |
![]() | В. К. Финн к структурной когнитологии: феноменология сознания с точки зрения искусственного интеллекта Ки и искусственного интеллекта – полигона экспериментальной проверки научных средств имитации рациональности и продуктивного мышления.... | ![]() | 1. интеллектуальные системы Системы искусственного интеллекта, решающие задачи по обработке знаний и при этом проявляющие черты, сходные с чертами естественного... |