Теоретико-множественные формализмы представления знаний
УДК
004.82 510.23Аннотация
Изучаются свойства формализмов представления знаний, связанные с операциями композиции и отношением вложения знаний. Приведены примеры формализмов с некоммутативной операцией композиции представлений знаний. Определён класс теоретико-множественных формализмов знаний. Доказано, что этот класс является конечно аксиоматизируемым классом. Он включает элементы, которые не являются минимальными в отношении вложения формализмов представления знаний. Рассмотрены аналоги механизмов прямого и обратного вывода для теоретико-множественных формализмов знаний.
Ключевые слова:
формализм представления знаний, сравнение формализмов, теоретико-множественный формализм, прямой выводФинансирование
Библиографические ссылки
- Костенко К.И. Вложение формализмов знаний // Материалы XVII международной научной конференции Проблемы теоретической кибернетики, Казань, 16-20 июня 2014. С. 149-152.
- Костенко К.И., Лебедева А.П. Алгебраическая и семантическая структуры иерархических семантических сетей // Экологический вестник научных центров Черноморского экономического сотрудничества. 2014, №4. С. 56-64.
- Чечкин А.В. Нейрокомпьютерная парадигма информатики // Нейрокомпьютеры: разработки, применение. 2011. №7. С. 3-9.
- Костенко К.И. Вложения формализмов семантических сетей // Экологический вестник научных центров Черноморского экономического сотрудничества. 2013, №2. С. 58-66.
- Костенко К.И. Классификация операций в пространствах знаний // XII национальная конференция по искусственному интеллекту с международным участием (труды конференции), Тверь 2010, 20-24 сентября. Т. 2. С. 155-163.
- Jacobs B.E. On database logic // Journal of the Association for Computing Machinery. 1982. Vol. 29. No. 2. P. 310-332.
Загрузки
Выпуск
Страницы
Отправлено
Опубликовано
Как цитировать
Copyright (c) 2015 Костенко К.И.
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.