Теоретико-множественные формализмы представления знаний

  • Костенко К.И. Кубанский государственный университет, Краснодар, Россия
УДК: 004.82 510.23

Аннотация

Изучаются свойства формализмов представления знаний, связанные с операциями композиции и отношением вложения знаний. Приведены примеры формализмов с некоммутативной операцией композиции представлений знаний. Определён класс теоретико-множественных формализмов знаний. Доказано, что этот класс является конечно аксиоматизируемым классом. Он включает элементы, которые не являются минимальными в отношении вложения формализмов представления знаний. Рассмотрены аналоги механизмов прямого и обратного вывода для теоретико-множественных формализмов знаний.

Ключевые слова: формализм представления знаний, сравнение формализмов, теоретико-множественный формализм, прямой вывод

Информация об авторе

Константин Иванович Костенко
канд. физ.-мат. наук, доцент,заведующий кафедрой интеллектуальных информационных систем Кубанского государственного университета
e-mail: kostenko@kubsu.ru

Литература

  1. Костенко К.И. Вложение формализмов знаний // Материалы XVII международной научной конференции Проблемы теоретической кибернетики, Казань, 16-20 июня 2014. С. 149-152.
  2. Костенко К.И., Лебедева А.П. Алгебраическая и семантическая структуры иерархических семантических сетей // Экологический вестник научных центров Черноморского экономического сотрудничества. 2014, №4. С. 56-64.
  3. Чечкин А.В. Нейрокомпьютерная парадигма информатики // Нейрокомпьютеры: разработки, применение. 2011. №7. С. 3-9.
  4. Костенко К.И. Вложения формализмов семантических сетей // Экологический вестник научных центров Черноморского экономического сотрудничества. 2013, №2. С. 58-66.
  5. Костенко К.И. Классификация операций в пространствах знаний // XII национальная конференция по искусственному интеллекту с международным участием (труды конференции), Тверь 2010, 20-24 сентября. Т. 2. С. 155-163.
  6. Jacobs B.E. On database logic // Journal of the Association for Computing Machinery. 1982. Vol. 29. No. 2. P. 310-332.

Финансирование

Работа выполнена при поддержке РФФИ грант №13-01-96513.

Выпуск
Страницы
52-60
Прислано
2015-07-10
Опубликовано
2015-09-30

Наиболее читаемые статьи этого автора (авторов)