Представление и обработка знаний с точки зрения математического моделирования. Проблемы и решенияКНИГИ » НАУКА И УЧЕБА
Название: Представление и обработка знаний с точки зрения математического моделирования. Проблемы и решения Автор: Яловец А.Л. Издательство: Киев: Наукова думка Год: 2011 Формат: pdf Страниц: 360 Для сайта:Mirknig.su Размер: 13 mb Язык: русский
Монография посвящена исследованию проблемы представления и обработки знаний в интеллектуальных системах. На основании всестороннего анализа известных моделей представления знаний и методов обработки знаний показано, что решение исследуемой проблемы должно основываться на применении методологии математического моделирования. Исходя из этого, выполнен анализ естественных свойств декларативных и процедурных знаний, на основании которого обоснованы свойства новой модели представления знаний – логико-вычислительной семантической сети (ЛВС-сети). Формально исследованы свойства ЛВС-сети, и показано, что по своим функциональным возможностям ЛВС-сеть превосходит ряд других известных сетевых моделей представления знаний. Для ЛВС-сети предложена совокупность методов обработки знаний, в том числе: метод прямого вывода, метод построения начального состояния процесса прямого вывода, методы статической верификации и метод генерации множества тестовых случаев. На основе полученных теоретических результатов разработана программно-инструментальная среда представления и обработки знаний (СЛМ-технология), представляющая собой, с одной стороны, инструментальное средство построения систем, основанных на знаниях, с другой стороны, интегрированную среду моделирования. Приведены содержательные примеры применения СЛМ-технологии для представления и обработки знаний о различных предметных областях. Для научных работников и специалистов, занимающихся исследованиями и разработками как в области интеллектуальных систем, так и математического моделирования, а также аспирантов и студентов соответствующих специальностей.
Предисловие Аналитический обзор проблемы представления и обработки знаний. Постановка задач исследований Общая характеристика основных направлений исследований проблемы представления и обработки знаний Определение исследуемого класса задач Краткий обзор моделей представления знаний. Формирование требований к разрабатываемой модели представления знаний Формирование требований к разрабатываемым методам обработки знаний Некоторые предварительные выводы Формирование требований к разрабатываемой моделирующей программно-инструментальной среде представления и обработки знаний Задачи исследований Обоснование свойств логико-вычислительной семантической сети как модели представления знаний Постановка задачи обоснования свойств разрабатываемой модели представления знаний Выявление требуемых свойств модели представления знаний с точки зрения логико-семантического подхода Выявление требуемых свойств модели представления знаний с точки зрения декомпозиционного подхода Исследование проблемы выявления синонимичных, неточных, многозначных и пустых имен в структуре представляемых знаний Обобщение выявленных свойств модели представления знаний Определение логико-вычислительной семантической сети. Формализация свойств вершин логико-вычислительной семантической сети Определение логико-вычислительной семантической сети Формализация свойств вершин логико-вычислительной семантической сети Примеры представления знаний в логико-вычислительной семантической сети Сравнение функциональных возможностей логико-вычислительной семантической сети и некоторых других разновидностей семантических сетей Формализация структуры логико-вычислительной семантической сети. Метод прямого вывода на логико-вычислительной семантической сети Построение C-исчисления. Формализация структуры логико-вычислительной семантической сети Формализация понятия логического вывода Метод и алгоритм прямого вывода на ЛВС-сети Минимальная позитивная модель как начальное состояние процесса прямого вывода на логико-вычислительной семантической сети. Метод построения минимальной позитивной модели Сущность минимальной позитивной модели Условия существования минимальных позитивных моделей Метод построения минимальной позитивной модели Методы выполнения статической верификации логико-вычислительной семантической сети Постановка задачи выполнения статической верификации ЛВС-сети Методы проверки правильности построения ЛВС-сети Методы выявления и устранения логических противоречий в ЛВС-сети, вызванных неполнотой либо избыточностью представленных знаний Метод генерации множества тестовых случаев для логико-вычислительной семантической сети Общий анализ проблемы генерации множества тестовых случаев Метод выявления избыточной связности в ЛВС-сети Метод подсчета количества тестовых случаев в ЛВС-сети Метод генерации множества тестовых случаев для ЛВС-сети Разработка инструментального средства представления и обработки знаний (СЛМ-технологии) Общая характеристика СЛМ-технологии Функциональные возможности и архитектура СЛМ-технологии Описание программных систем, входящих в состав СЛМ-технологии Применение СЛМ-технологии для решения прикладных задач Общие положения Представление и обработка знаний, содержащихся в нормативных документах налогового законодательства Представление и обработка знаний, содержащихся в нормативных документах, регламентирующих процессы принятия решений по противодействию чрезвычайным ситуациям Представление и обработка знаний, содержащихся в нормативных документах, регламентирующих процессы диспетчерского управления объектами электроэнергетики Заключение Приложения Список литературы
Основы искусственного интеллекта Название: Основы искусственного интеллекта Автор: Боровская Е.В., Давыдова Н.А. Издательство: М.: Лаборатория знаний Год: 2016 Страниц: 128 ISBN:...
Фреймы для представления знаний Название: Фреймы для представления знаний Автор: Марвин Минский Издательство: Энергия Год: 1979 Формат: fb2, mobi, epub Страниц: 171 Размер: 10,8 Mb...
Базы знаний интеллектуальных систем Название: Базы знаний интеллектуальных систем Автор: Гаврилова Т.А., Хорошевский В.Ф Издательство: Питер ISBN: 5-94723-449-1 Год: 2001 Формат:...
Инженерия знаний. Модели и методы Название: Инженерия знаний. Модели и методы Автор: Гаврилова Татьяна, Кудрявцев Дмитрий Издательство: Лань Год: 2016 Формат: pdf ISBN:...
Навигация
Вход на сайт
Реклама
Представление и обработка знаний с точки зрения математического моделирования. Проблемы и решения 
