авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:     | 1 |   ...   | 5 | 6 ||

«4/2012(11) издается с декабря 2010 г. ISBN 978-5-91137-222-4 Кольского научного центра РАН Главный редактор – академик ...»

-- [ Страница 7 ] --

Проверить правильность логического вывода для следующего рассуждения: «Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не встречал Смита этой ночью, и убийство имело место после полуночи. Если убийство имело место после полуночи, то либо Смит был убийцей, либо Джонс лжет.

Следовательно, Смит был убийцей».

Выразим данное рассуждение на языке исчисления высказываний [1].

Введем обозначения:

A – Джонс встречал этой ночью Смита;

B – Смит был убийцей;

C – Джонс лжет;

D – Убийство имело место после полуночи.

Тогда заданное рассуждение можно сформулировать так:

первое предложение: A (B C);

второе предложение: B ( A D);

третье предложение: D (B C);

следствие: B.

Преобразуем первые три предложения для того, чтобы избавиться от импликации и строгой дизъюнкции. Получаем:

1) A (B C) = A (B C) (B C);

2) B ( A D) = В ( A D);

3) D (B C) = D (B C) ( B C).

Для представления этих формул АК-объектами используем универсум X1X2X3X4 = {0,1}4, где A = B = C = D = 1 и A = B = C = D = 0. Тогда посылки, которые являются ДНФ, выражаются C-системами:

{1} * * * * * * {0} * {1} * *, P * {1} {0} * ;

P2 ;

P3 * {1} {0} * {0} * * {1} * {0} {1} * * {0} {1} * а следствие – C-кортежем S[X2] = [{1}]. Введем АК-объекты P1, P2, P3 и S в программу:

Рис. 7. Окно программы с введенными АК-объектами Для решения задачи определим пустоту АК-объекта P1 S.

P2 P Введем в программу соответствующее выражение:

Рис. 8. Ввод выражения Здесь символ «*» используется для обозначения операции пересечения, «!» - дополнения, «~» - преобразования в альтернативный класс. Программа разбирает выражение, строит дерево операций и вычисляет результат. После сокращения получаем:

Рис. 9. Результат Как видим, получилась система [{0}{0}{1}{1}], т.е. вывод неверный.

Заключение Разработан ряд классов, отражающих сущности АК. Библиотека реализует не только операции, необходимые для решения задачи выполнимости КНФ, но и другие базовые операции над АК-объектами, имеет большой потенциал для расширения и может служить основой для продолжения работ в заданном направлении. Был применен один из методов ускорения вычислительных процедур, а именно ортогонализация.

Созданный в рамках данной работы программный интерфейс может использоваться при решении пользовательских задач, возникающих в области логико-семантического анализа информации, задач логико-вероятностного анализа структурно-сложных систем, задач планирования, задач моделирования динамических систем и т.п. [6, 7].

ЛИТЕРАТУРА 1. Кулик, Б.А., Зуенко, А.А., Фридман, А.Я. Алгебраический подход к интел лектуальной обработке данных и знаний / Б.А. Кулик, А.А. Зуенко, А.Я.

Фридман. – СПб.: Изд-во Политехн. ун-та, 2010. – 235 с.

2. Kulik, B., Fridman, A., Zuenko, A. Logical Analysis of Intelligence Systems by Algebraic Method / B. Kulik, A. Fridman, A. Zuenko // Cybernetics and Systems 2010: Proceedings of Twentieth European Meeting on Cybernetics and Systems Research (EMCSR 2010) Vienna, Austria, 2010. – pp.198-203.

3. Зуенко, А.А. Реализация комбинированных методов логико-семантического анализа с использованием алгебры кортежей / А.А. Зуенко, Б.А. Кулик, А.Я.

Фридман // Тринадцатая национальная конференция по искусственному интеллекту с международным участием, 16-20 октября 2012г., г. Белгород:

труды конференции. - Белгород: Изд-во БГТУ, 2012. -Т.2. - С.67-75.

4. Кулик, Б.А. Математическое отношение как основная структура логики / Б.А. Кулик // Труды междунар. научной школы «Моделирование и анализ безопасности и риска в сложных системах – 2008» СПб., ГУАП, 2008.

– С.190-192.

5. Зуенко, А.А. Унификация обработки данных и знаний на основе общей теории многоместных отношений / А.А. Зуенко, Б.А. Кулик, А.Я. Фридман // Искусственный интеллект и принятие решений, 2010. – Вып. 3. – С.52-62.

6. Kulik, B. Logical Analysis of Intelligence Systems by Algebraic Method /B. Kulik, A. Fridman, A. Zuenko // Cybernetics and Systems 2010: Proceedings of Twentieth European Meeting on Cybernetics and Systems Research (EMCSR 2010) Vienna, Austria, 2010. – pp.198-203.

7. Зуенко, А.А. Булевы алгебры как средство интеллектуального анализа систем рассуждений / А.А. Зуенко, А.Я. Фридман, Б.А. Кулик // XII Международная научная конф. имени Т.А. Таран «Интеллектуальный анализ информации ИАИ-2012», г. Киев, 16-18 мая 2012 г.: сб. тр. / гл. ред. С.В. Сирота. – К.:

Просвiта, 2012. – C.70-78.

Сведения об авторах Зуенко Александр Анатольевич - к.т.н, научный сотрудник, е-mail: zuenko@iimm.kolasc.net.ru Alexander A. Zouenko - Ph.D. (Tech. Sci.), researcher Баженов Сергей Владиславович – студент, e-mail: bazhenov@arcticsu.ru Sergey V. Bazhenov – student Научное издание ТРУДЫ ИНФОРМАЦИОННЫЕ Кольского научного центра РАН ТЕХНОЛОГИИ ВЫПУСК 4/2012(11) Технический редактор Мигулян С.И.

Редактор Малыгина С.Н.

Лицензия ПД № 00801 от 6 октября 2000 г.

Подписано к печати 20.12.2012 г.

Формат бумаги 60х84 1/ Бумага офсетная. Печать офсетная. Гарнитура Times/Cirillic Усл. печ. л. 25.2. Заказ № 25. Тираж 100 экз.

Федеральное государственное бюджетное учреждение науки Кольский научный центр центра Российской академии наук 184209, г. Апатиты Мурманская область, ул. Ферсмана, д. Отпечатано подразделением оперативной полиграфии Кольского филиала Петр ГУ.

184209, г. Апатиты, Мурманская область, Космонавтов,

Pages:     | 1 |   ...   | 5 | 6 ||
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.