Разработка декларативных методов представления знаний для моделирования и исследования нормативных текстов

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
1. АНАЛИЗ ДЕКЛАРАТИВНЫХ МЕТОДОВ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ, ИСПОЛЬЗУЕМЫХ ДЛЯ ПРОЕКТИРОВАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ
1.1. Обзор интеллектуальных систем в области права и анализ методов, применяемых для их проектирования
1.2. Анализ возможностей применения теории фреймов для разработки систем искусственного интеллекта.
1.3. Исследование логического подхода к представлению знаний
в интеллектуальных системах.
1.4. Использование деонтической логики для проектирования интеллектуальных систем.
1.5. Выводы
2. РАЗРАЬОТКА И ИССЛЕДОВАНИЕ МЕТОДОВ ОРГАНИЗАЦИИ ЛОГИЧЕСКОГО ВЫВОДА В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ, ИСПОЛЬЗУЮЩИХ ДЕОНТИЧЕСКУЮ ЛОГИКУ.
2.1. Исследование проблемы определения значений истинности деонтических высказываний и логических операций над ними
2.2. Разработка и исследование методов организации логического вывода в деонтической логике
2.3. Разработка метода резолюций для деонтической логики.
2.4. Выводы
з
3. РАЗРАБОТКА ДЕКЛАРАТИВНОГО МЕТОДА ФОРМАЛИЗАЦИИ
ТЕКСТОВ НОРМАТИВНОПРАВОВЫХ ДОКУМЕНТОВ ДЛЯ
ПРОЕКТИРОВАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ.
3.1. Разработка методики извлечения знаний из текстов нормативноправовых документов и формального их представления.
3.2. Логическое моделирование элементарных норм права.
3.3. Разработка методов композиции логических моделей правовых норм, извлеченных из одного или нескольких документов.
3.4. Выводы.
4. ПРАКТИЧЕСКАЯ РЕАЛИЗАЦИЯ ИНТЕЛЛЕКТУАЛЬНОЙ
СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ
4.1. Структура и состав интеллектуальной системы поддержки принятия решений в сфере наследования жилья.
4.2. Построение базы знаний на основе декларативного метода формализации текстов нормативноправовых документов.
4.3. Использование схем нормативных рассуждений для организации логического вывода в базе знаний
4.4. Выводы.
ЗАКЛЮЧЕНИЕ
Список литературы