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

Авторы

  • Костенко К.И. Кубанский государственный университет, Краснодар, Российская Федерация

УДК

004.82 510.23

Аннотация

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

Ключевые слова:

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

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

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

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

Константин Иванович Костенко

канд. физ.-мат. наук, доцент,заведующий кафедрой интеллектуальных информационных систем Кубанского государственного университета

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.

Загрузки

Выпуск

Страницы

52-60

Отправлено

2015-07-10

Опубликовано

2015-09-30

Как цитировать

Костенко К.И. Теоретико-множественные формализмы представления знаний // Экологический вестник научных центров Черноморского экономического сотрудничества. 2015. №3. С. 52-60.