Синтаксическая однозначность при представлении знаний в логике первого порядка

• Автор: Пономарёв, Денис Константинович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2006
• Место защиты: Новосибирск
• Количество страниц: 89 с. : ил.

Содержание
Введение

Глава 1. Пример разработки прикладных логических теории

1.1 Постановка задачи

Предназначение разрлбоашоП еорнн.

Проблема формально о предплв кчшя

1.1 Сгрктра теории

1 5 Об ждение представленной теории.

1.0 Прораччиан реализация.

1.7 Обдор близких рбо

Резуьаи . .
Глава 2. Проблема синтаксической одпозиачности и разложимости
2 1 Непрерывная иыборка информации . .
2 2 Посшновка проб смь раыожичосли . .
2 3 Приводимые теории
2 Разлокнмые теории . . .
2 о Резлыагы . .
Глава 3. Практические вопросы разложимости
3 1 Конечно аксиоматизируемые теории .
3 2 Приведение к иредикдыч.
3 3 Скдемонское обоашение
З 1 Ре и платы . . .
Заключение
Литература


Глава 1. Предназначение разрлбоїаішоП іеорнн. Об< ждение представленной теории. Проіраччиан реализация. Резуїьіаіи . Глава 2. Непрерывная иыборка информации . Посшновка проб ісмьі раыожичосли . Разло/кнмые теории . Рез>лыагы . Глава 3. Конечно аксиоматизируемые теории . Приведение к иредикдыч. З 1 Ре и платы . В настоящее время существуем значительный интерес к моголам и средствам декларативного представления знаний, коюрый. БошаиНе \еЬи |1]-(1] и широко распространенным понягием формальной отполот ни [5)-[7]. Ре пульпи ом йото являє і (*я разработка и применение новых компьютерных языков для формальною представления знаний [. Каждый из новых языков еооівеі(тв}еі некоторому подмножеству лотнки неркою порядка, однако исходя из практики специалисты начали осознавать необходимость использования данной лотнки целиком для работы с теми задачами, которые стали актуальны в последнее время. Среди них можно выделип> поиск в обьемныч слабо структурированных хранилищах информации п интетрацию ісісроіснньїх источников данных. В рамках данных задач декларативные описания применяются как терминолотнческие базы знаний, и которых описаны термины вместе с заданной для них аксиоматической семантикой. Деклараптвные тер-мннолотичеекие базы знаний обычно принято рассматривать с двух точек зрения: как і рафы евя зносін терминов и как наборы дот ических у тверждений При лом широко используемся понятие связи терминов по вхождению в одно (или близкие в определенной метрике) высказывания. Лналошчно лому в задаче инючрашш свиш влияют на 1 очное 1Ь иосцюенною оюбражении меж,! При лом аксиомы, заданные в декларашвном описании. Для решения конкрепюй задачи мо1>г нри. В данной рабою декларашвные описания знаний рассмахривакн-ся как (элементарные) 1 сорим в лошке первого порядка. Естественно, данное рассмлрение не являсюя орипшальиым и оно не може» бып> шковым в принципе, начиная с 1 о времени, как был введен формальный шныра 1 . С Iочки зрения связей юрминов по вхождению для заданной юории можно рассмахривахь различные компоненты свя шости на мно/кестве сшна1урных символов, используемых в записи предтоженип теории. Есюспзенным образом возникал вопрос: являююя ли комионешы связное 1 и одинаковыми для двух лошчески эквивалешных юорий в одной и юй же сшиа1уре? В целом, ответ являемся отрицаюльны. На иракш-ке это означает, что могут сушеавовать два множества предложений, коюрые соматически эквиваленты, но еишакспчески иредемв юны по-разному. Данный вопрос иредсіавдяеі расширенную посіа-новку иробдемы разложимосш, коюрая быда сформулирована в 1)3 юлу в связи с изучением формальных онюлошй (см. Вопрос разложимости нмееі важное значение для формализации знаний, поскольку раздожимосіь означает возможность разбиіь <1>ор-мальное описание инісрссующей нредмеїной обласні на часі и. В частности, может бьнь интересно, существуют ли часі и знания, которые независимы друг оі друїа Эю в юч нос їй сооівеісів)Єг вопросу разложимосш. G. ]. Кроме юю. Таким образом, насюмщая рабоха )С1анавлнвас1 связь меж,1у подходом к рассмо1 рению сишакеичеекой связанноехи хермииов счочки зрения 1рафов и с ючки зрения формул дошки. В результате рабош шпором был сформулирован кршерий разложимое! Ч)рин на неразюжи-мые компоненты с точностью до фо])мул чисюю равенства. Разулыаш. Ю1 тенденции времени в часі и связанных с ними информационных задач. В часпюсш. Не было показано ранее, чю юория в лотке первою порядка оиределиеі комнонешы связное і и сіннаїурьі однозначным образом. Также не была исследована взаимосвязь лих вопросов с современными носыновками задач информационною поиска и 1ІН1ЄІ рации иеючников данных. Подученные резу'лыл і ы имею г ценноеіь лій задач поиска и ише-і ранни данных о использованием декларативных баз знаний. К]юме юю, факіьі. Резульгаїьі работы докладывались в рамках следующих научных всіреч: 1п1огшаик- - немецкой конференции но ииформашке (і Дрезден, Германия), русско-немецком симпозиуме но биошіформаїике в іо. Билефельд, Германия), семинаре СОМО (і. Дармшіаді.