Категорні моделі і метод поповнення ієрархічних баз знань предметних областей автоматизованих систем
Обґрунтування використання концептів і семантичних відношень, введення сигнатури відношень. Розробка правил поповнення ієрархічних баз знань предметних областей, що забезпечують семантичну коректність створюваної бази знань автоматизованої системи.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 29.09.2014 |
| Размер файла | 123,0 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
На языке теории категорий разработаны элементы теории представления знаний с использованием набора аксиом и следствий, отражающего семантические закономерности сложных иерархически организованных структур систем знаний предметных областей. Разработан категорный метод пополнения иерархических баз знаний предметных областей, который позволяет получать неявно представленную информацию о предметной области. Для этого дано определение базисных морфизмов прикладных моделей концептуализации предметной области и показано, что другие морфизмы прикладных моделей концептуализации предметной области можно установить, когда известны только базисные морфизмы данных моделей; при этом получаем категорию прикладных моделей концептуализации предметной области, которая удовлетворяет разработанной системе аксиом.
Разработаны новые правила пополнения иерархических баз знаний предметных областей, которые предложено использовать в рамках итеративной процедуры создания иерархических баз знаний в диалоге с пользователем с целью обеспечить семантическую корректность создаваемой базы знаний автоматизированной системы. На теоретико-категорном уровне описания структуры иерархической базы знаний применение данных правил означает установление новых базисных морфизмов.
Разработаны инструментальные программные средства представления и обработки знаний сложных предметных областей и проведена их апробация в системе принятия решений “Флексо”. При разработке инструментальных программных средств представления и обработки знаний использовались полученные в диссертационной работе теоретические результаты по моделированию предметных областей на основе знаний, что обусловило следующие их преимущества: повышение эффективности разработки баз знаний в динамических предметных областях, улучшение качества баз знаний за счет учета семантических закономерностей ПрО.
Ключевые слова: иерархическая база знаний, экспертная система принятия решений, онтологическое моделирование, онтология предметной области, модель концептуализации, теория категорий.
ABSTRACT
Neophitna T.M. Сategory models and augmenter method of hierarchical domains' knowledge base of the automatized systems. - Manuscript.
The thesis presented for the candidate degree of technical science on speciality 05.13.06 - automatized control systems and progressive information technologies - Kharkіv National University of Radioelectronics, Kharkіv, 2007.
In the thesis category models and augmenter method of hierarchical knowledge base of domains are developed which are use-oriented while developing universal and specialized knowledge base management systems, expert information processing systems for decision-making that will allow to raise efficiency of development of knowledge bases in dynamic domains, to improve quality of knowledge bases due to the account of semantic domains' regularities.
Scientific results are: mathematical model of the knowledge base of domain of decision-making system; set of axioms and consequences reflecting semantic regularities of hierarchical structures of domains' knowledge systems; augmenter method of hierarchical domains' knowledge base of the automatized systems; set of augmenter rules of hierarchical domains' knowledge bases of the automatized systems.
Keywords: hierarchical knowledge base, expert decision-making system, ontological modelling, domain ontology, conceptual model, theory of categories.
Размещено на Allbest.ru
Подобные документы
Характеристика проблемних моментів автоматизації процесу формування питань у білеті для визначення рівня знань студента. Розробка бази вимог щодо організації перевірки якості знань і програмного забезпечення для організації та управління даними бази.
курсовая работа [2,6 M], добавлен 06.12.2013Поняття експертної системи, приклади сфер її використання. Класифікація та задачі експертних систем. Означення продукційної експертної системи, приклад її дії та опис програми. Побудова бази знань із чіткою логікою, що вирішує завдання класифікації.
лабораторная работа [712,5 K], добавлен 19.03.2011Визначення та класифікація семантичних мереж. Їх трирівнева архітектура. Семантичні мережі у пам’яті людини. Конкретизація, ієрархія й наслідування фреймів. Асиміляція нових знань на основі семантичних мереж. Поповнення первинних описів на основі фреймів.
реферат [57,6 K], добавлен 11.06.2010Класифікація експертних систем. Представлення знань, переваги та слабкі місця. База знань як елемент експертної системи. Сфера застосувань та перспективи розвитку. Створення експертної системи для оцінки ступеня підготовленості студента до іспиту.
курсовая работа [1,4 M], добавлен 04.02.2014Дослідження теоретичних аспектів проектування автоматизованих систем тестування знань. Розробка програми, яка призначена для забезпечення автоматизації процесу формування тестів та всього процесу контролю знань у дистанційній навчальній системі.
дипломная работа [2,1 M], добавлен 26.10.2012Використання комп'ютерних навчальних систем. Розуміння основних принципів об’єктно-орієнтованої ідеології програмування. Закріплення теоретичних знань та практичних навичок програмування мовою С/С++. Створення файлу, поповнення його з клавіатури.
курсовая работа [229,4 K], добавлен 09.09.2015Опис програми "Мала експертна система": класифікація, основні задачі; використання байєсівської системи логічного виведення. Опис програми "Редактор баз знань", її застосування. Створення власної БД з чіткою логікою та двома можливими результатами.
лабораторная работа [491,9 K], добавлен 20.03.2011Теоретичне дослідження особливостей проектування систем дистанційного навчання. Створення програмного забезпечення процедури статистичної обробки результатів тестування знань і оцінки якості тесту. Економічне обґрунтування доцільності розробки програми.
дипломная работа [3,6 M], добавлен 22.10.2012Розробка структури бази даних. ER-моделі предметної області. Проектування нормалізованих відношень. Розробка форм, запитів, звітів бази даних "Автосалон". Тестування роботи бази даних. Демонстрація коректної роботи форми "Додавання даних про покупців".
курсовая работа [4,0 M], добавлен 02.12.2014Аналіз сучасних методів тестування та практичних особливостей проведення тестового контролю. Основи побудови інформаційно-математичної моделі. Алгоритм запису інформації в таблицю бази даних. Характеристика та шляхи розробки інтерфейсу редактора тестів.
курсовая работа [1,7 M], добавлен 08.10.2010
