Объектно-ориентированный подход в логических моделях, монография, Ульянов В.С., 2014

Объектно-ориентированный подход в логических моделях, Монография, Ульянов В.С., 2014.

   Монография посвящена проблеме моделирования объектных структур данных в рамках дескриптивной логик. В работе исследуется построение информационных систем, ориентированных на создание баз данных и знаний, в которых эффективная обработка структур данных на уровне объектной модели сочетается с интеллектуальной обработкой знаний на логическом уровне. Исследуется попытка интеграции математической логики и объектно-ориентированного программирования. Одно из основных приложений данного подхода – использование для разработки распределенных систем знаний в глобальной информационной среде, а также метаописания информационных ресурсов, разработки интеллекуализированных образовательных систем и систем поддержки научных исследований.
Монография предназначена для специалистов и исследователей в области построения систем на основе распределенных баз знаний. Работа также будет интересна для исследователей в области математической логики, а также для исследований фундаментальных принципов объектно-ориентированного программирования.




Основные понятия дескриптивных логик.
Дескриптивными логиками [33] принято называть класс формализмов, предназначенных для представления и обработки знаний (KR-формализмов). В рамках дескриптивных логик знания о предметной области (о мире) представляются через выстраивание отношений между понятиями предметной области. На основе этих понятий, которые еще называют терминологией, определяются свойства объектов в домене. Данную совокупность знаний называют описанием предметной области.

Дескриптивные логики являются распространенным инструментом, на котором базируются системы описаний знаний. Доказательством этому служит то, что дескриптивные логики занимают ключевую позицию как система формализации знаний в концепции Интернета нового поколения семантическом вебе (Semantic Web [83]).

Дескриптивные логики являются подклассом широкого класса логик первого порядка. Данные логики характеризуются особым балансом между между выразительностью и алгоритмической эффективностью.

Словарь дескриптивных логик состоит из концептов (понятий) и ролей (отношений). Понятия обозначают множества объектов («индивидуалов»), а роли представляют бинарные отношения между объектами предметной области.

Оглавление
Введение
1. Дескриптивные логики и семантический веб
1.1. Логические методы и информационные пространства
1.2. Основные понятия дескриптивных логик
1.3. Блок терминологии (Т-бокс)
1.4. Блок утверждений (А-бокс)
2. Логические архитектуры и объектно-ориентированное программирование
2.1. Логические архитектуры
2.2. Объектно-ориентированные проекции
2.3. Абстрактный объектно-ориентированный язык
2.4. Отображение
2.5. Мультиметоды
3. Построение интерфейсов для онтологий на базе оо-проекций
3.1. Общая концепция интерфейсов для онтологий
3.2. Представление семантических сетей в виде деревьев
3.3. Ленивые бесконечные деревья
3.4. Правила построения дерева
3.5. μ-изоморфизм деревьев
3.5.1. Примеры правил
3.5.2. Логический подход
3.5.3. Функциональный подход
3.6. Обзор системы Meta2
3.6.1. Архитектура клиентской части системы Meta2
3.6.2. Механизм построения деревьев
3.6.3. Формы для работы с объектами
3.6.4. Модульность и система проектов
3.6.5. Приложения системы Meta2
Заключение  
Приложение.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Объектно-ориентированный подход в логических моделях, монография, Ульянов В.С., 2014 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Хештеги: #учебник по математике :: #математика :: #Ульянов