Красилов Корпорация "Галактика"




Скачать 334.95 Kb.
НазваниеКрасилов Корпорация "Галактика"
страница5/5
Дата публикации02.06.2013
Размер334.95 Kb.
ТипРешение
vbibl.ru > Математика > Решение
1   2   3   4   5

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.

Приведенные результаты исследований студента могут принести пользу в практических работах и стать стимулом применения Интеллсист для продолжения подобных исследований.
^ 9. Правила вывода решений.

Как было сказано ИЛ строится на основе аксиом, определяющих константу, величину или операцию. Для К-значной логики известны аксиомы, например, так, как они заданы выше (таблично). Для 3-значной логики построим систему правил логического вывода по приведенным таблицам. Правила направлены на вывод фактов, которые будем представлять в виде некоторой модальности и переменной вместо равенства переменной и некоторой модальности. Иллюстрация правил рассмотрена для 4-значной логики с модальностями (нет, возможно, вероятно, да).

Задача ставится так: дано логическое уравнение (А = значение модальности) или (значение модальности А), требуется указать правила его решения. Из приведенных выше таблиц "истинности" выбираем все правила с требуемым значением модальности. Для одноместных функций с максимально приближенной истинностью получаем:

А1. not А |- нет А

А2. next А |- вероятно А

А3. pred А |- нет А

А4. А и В |- да А, да В

А5. А или В |- да А, да В; нет А, да В; возможно А, да В;

вероятно А, да В; да А, нет В; да А, возможно В; да А, вероятно В.

А6. А следует В |- да А, да В; нет А, да В; возможно А, да В;

вероятно А, да В; нет А, вероятно В; нет А, возможно В;

нет А, нет В.

Таковы примеры правил логического вывода решений логического уравнения в 4-значной логике, они работают как бы в интеллектуальной сомневающейся системе. Подробная информация содержится в [12, том 5].

Выше представлена техническая сложность системы правил для многозначных логик. Система выводит наилучшее приближение к пользовательской истине, она отвечает на все вопросы, рассмотренные в п.1.

Примеры таблиц операций из [2] выступают как пользовательские, поскольку они отличаются от представлений классических операций п.6. Для одноместных операций ◊р возможность р, □р необходимость р и двуместная операция «и» определяются в таблицах [2]:

р

◊р

□р




/\

0

1

2

3

0

1

0




0

0

0

0

0

1

1

2




1

0

1

0

1

2

1

2




2

0

0

2

2

3

3

2




3

0

1

2

3

Эти операции не похожи на классические, поэтому они именуются пользовательскими.
Литература

^ 1. Экология информации и знаний. Научно-техническая информация, серия 1, Организация и методика информационной работы. № 2.- М., ВИНИТИ,2005,с.11-23

2. Р. Фейс, Модальная логика, «Наука», - М., 1974, 520 с.

3. Красилов А.А., ИНФОРМАТИКА, Тома 1-7. www.intellsyst.ru/publications/ 1997 – 2003. 2000 с.

^ 4. Справочная книга по математической логике. - М., Наука. Ч.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
1   2   3   4   5

Похожие:

Красилов Корпорация \"Галактика\" iconКрасилов Корпорация "Галактика"
Проводится сравнительный анализ понятий. Рассматриваются цели, задачи, законы и возможности информатики в соответствии с новым определением...

Красилов Корпорация \"Галактика\" iconА. А. Красилов Корпорация "Галактика"
Сравнительный анализ рассуждений человека и модели позволил построить интерпретацию понятий интеллектуальности, дуализма, триады,...

Красилов Корпорация \"Галактика\" iconC 1994,97 корпорация галактика

Красилов Корпорация \"Галактика\" iconC 1994,00 корпорация галактика
Работ разрешаю: ответственный за безопасное производство работ кранами (фамилия, и., о., подпись)

Красилов Корпорация \"Галактика\" iconПроект Галактика (с) 1995,2005 Галактика
Поручаем от нашего имени и за наш счет заключить сделку на продажу средств в иностранной валюте на следующих условиях

Красилов Корпорация \"Галактика\" icon© 2000 2009 зао корпорация Галактика. Все права защищены
Неавторизованное копирование или распространение этого программного обеспечения влечет за собой судебное преследование в гражданском...

Красилов Корпорация \"Галактика\" iconСтатья Общие положения. Представительство ОАО «Корпорация «Иркут»
Представительство ОАО «Корпорация «Иркут» в г. Таганроге, в дальнейшем тексте "Представительство", создано на основании решения Совета...

Красилов Корпорация \"Галактика\" iconСтановлению демократизации в школе №68 способствует деятельность...
Галактика. В декабре 2006 года музей школы участвовал в городском смотре-конкурсе школьных музейных экспозиций, посвященном 65-ой...

Красилов Корпорация \"Галактика\" iconРуководство по развертыванию Operations Manager 2007 Корпорация Майкрософт
Поскольку корпорация Майкрософт должна реагировать на меняющиеся условия рынка, эта информация не может считаться обязательством...

Красилов Корпорация \"Галактика\" iconОао «Корпорация Иркут» Протокол №22 от 29 июня 2005 г. Положение
«Научно-производственная корпорация «Иркут» (далее Положение) разработано в соответствии с действующим законодательством рф, Уставом...

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
vbibl.ru
Главная страница