Красилов Корпорация "Галактика"
Скачать 334.95 Kb.
|
sumК (j, 0, К - 1, sumК (fij * d(next (x1), next (x2)))); Указанные функции выражаются через «стандартные» логические операции (для значений К): К = 3: d(x1, x2) = min(next x1, next x2, next next x1, next next x2); К = 4: d(x1, x2) = min(next x1, next x2, next next x1, next next x2, next next next x1, next next next x2); К = 3: 2.d(x1, x2) = next max(x1, x2, next x1, next x2); К = 4: 3.d(x1, x2) = next max(x1, x2, next x1, next x2, next next x1, next next x2); К = 3: d(x1, x2) = next x1 * next x2 * next next x1 * next next x2; К = 3: x1 + x2 = max(min(2 * d(x1, x1), x2), min(2 * d(next next x1, next next x1), next x2), min(2 * d(next x1, next x1), next next x2)); К = 4: x1 + x2 = max(min(3 * d4(x1, x1), x2), min(3 * d4(next next next x1, next next next x1),next x2), min(3 * d4(next next x1, next next x1),next next x2), min(3 * d4(next x1, next x1),next next next x2)); ??? К = 3: max(x1, x2) = next min(next min(next x1, next x2), next next min(next min(next next x1, next next x2), min(next x1, next x2))); min(x1, x2) = next next max(next next max(max(next x1, next x2), max(next next x1, next next x2), next max(max(next next x1, next next x2), next next max(next x1, next x2)))); К = 3 или 4: u(x1, x2) = next min(x1, x2); К = 3 или 4: next x = u(x, x); К = 3: min(x1, x2) = next next u(x1, x2); К = 4: min(x1, x2) = next next next u(x1, x2); К = 3: v(x1, x2) = next max(x1, x2); К = 3: next x = v(x, x); К = 3: max(x1, x2) = next next v(x1, x2); К = 3: u2(x1, x2) = next next min(x1, x2); К = 3: next next x = u2(x, x); К = 3: u(x1, x2) = next next u2(x1, x2); К = 3: v2(x1, x2) = next next max(x1, x2); К = 3: next next x = v2(x, x); К = 3: v(x1, x2) = next next v2(x1, x2); Полными системами логических функций являются, например, следующие варианты для К = 3: 1 вариант: d, next, +; 2 вариант: next, min, +; 3 вариант: next, *, +; 4 вариант: next, min; 5 вариант: next, max; 6 вариант: next, min, max; 7 вариант: u; 8 вариант: v; 9 вариант: u2; 10 вариант: v2. Приведенные результаты исследований студента могут принести пользу в практических работах и стать стимулом применения Интеллсист для продолжения подобных исследований. ^ Как было сказано ИЛ строится на основе аксиом, определяющих константу, величину или операцию. Для К-значной логики известны аксиомы, например, так, как они заданы выше (таблично). Для 3-значной логики построим систему правил логического вывода по приведенным таблицам. Правила направлены на вывод фактов, которые будем представлять в виде некоторой модальности и переменной вместо равенства переменной и некоторой модальности. Иллюстрация правил рассмотрена для 4-значной логики с модальностями (нет, возможно, вероятно, да). Задача ставится так: дано логическое уравнение (А = значение модальности) или (значение модальности А), требуется указать правила его решения. Из приведенных выше таблиц "истинности" выбираем все правила с требуемым значением модальности. Для одноместных функций с максимально приближенной истинностью получаем: А1. not А |- нет А А2. next А |- вероятно А А3. pred А |- нет А А4. А и В |- да А, да В А5. А или В |- да А, да В; нет А, да В; возможно А, да В; вероятно А, да В; да А, нет В; да А, возможно В; да А, вероятно В. А6. А следует В |- да А, да В; нет А, да В; возможно А, да В; вероятно А, да В; нет А, вероятно В; нет А, возможно В; нет А, нет В. Таковы примеры правил логического вывода решений логического уравнения в 4-значной логике, они работают как бы в интеллектуальной сомневающейся системе. Подробная информация содержится в [12, том 5]. Выше представлена техническая сложность системы правил для многозначных логик. Система выводит наилучшее приближение к пользовательской истине, она отвечает на все вопросы, рассмотренные в п.1. Примеры таблиц операций из [2] выступают как пользовательские, поскольку они отличаются от представлений классических операций п.6. Для одноместных операций ◊р возможность р, □р необходимость р и двуместная операция «и» определяются в таблицах [2]:
Эти операции не похожи на классические, поэтому они именуются пользовательскими. Литература ^ - М., ВИНИТИ,2005,с.11-23 2. Р. Фейс, Модальная логика, «Наука», - М., 1974, 520 с. 3. Красилов А.А., ИНФОРМАТИКА, Тома 1-7. www.intellsyst.ru/publications/ 1997 – 2003. 2000 с. ^ - М., Наука. Ч.1. Теория моделей. 1982, - 392 с. Ч.2. Теория множеств. 1982, - 376 с. Ч.3. Теория рекурсий. 1982,- 360 с. Ч.4. Теория доказательств и конструктивная математика. 1983, - 392 с. 5. Красилов А.А., Язык и знание. Семантическая грамматика русского языка. //Научно-техническая информация, серия 2, № 10, ВИНИТИ, 2000, с 21-33. 6. Зиновьев А.А. Комплексная логика. - М., Наука, 1970, 204 с. 7. Красилов А.А., Информатическая логика, решение логических уравнений и интеллектуальные системы в САПР. Информатика. //В сб: Автоматизация проектирования, вып.2-3, ВНИИМИ, - М., 1994, с.14-26 8. Krasilov Albert, Informatical Logic, Logical Equation Decision and Intellectual (Nonproduction) Systems in CAD. EAST-WEST International Conference "Information Technology In Design", Part 1, Moscow, Russia, 5-9 Sept. 1994, pp.196-198 9. Логический подход к искусственному интеллекту. От модальной логики к логике баз данных. Перевод с франц., - М., Мир, 1998, 496 с. 10. Гетманова А.Д. Логика. Для педагогических учебных заведений. - М., Новая школа, 1995, - 416 с. 11. Яблонский С.В. Введение в дискретную математику. - М., Наука, 1979, -384 с. 12. www.intellsyst.ru. Интеллектуальные системы общего назначения. 2004 |
Похожие:
 | Проводится сравнительный анализ понятий. Рассматриваются цели, задачи, законы и возможности информатики в соответствии с новым определением... | | Сравнительный анализ рассуждений человека и модели позволил построить интерпретацию понятий интеллектуальности, дуализма, триады,... |
 | | Работ разрешаю: ответственный за безопасное производство работ кранами (фамилия, и., о., подпись) | |
| Поручаем от нашего имени и за наш счет заключить сделку на продажу средств в иностранной валюте на следующих условиях | | Неавторизованное копирование или распространение этого программного обеспечения влечет за собой судебное преследование в гражданском... |
| Представительство ОАО «Корпорация «Иркут» в г. Таганроге, в дальнейшем тексте "Представительство", создано на основании решения Совета... | | Галактика. В декабре 2006 года музей школы участвовал в городском смотре-конкурсе школьных музейных экспозиций, посвященном 65-ой... |
 | Поскольку корпорация Майкрософт должна реагировать на меняющиеся условия рынка, эта информация не может считаться обязательством... | | «Научно-производственная корпорация «Иркут» (далее Положение) разработано в соответствии с действующим законодательством рф, Уставом... |