Теоретико-множественные формализмы представления знаний
УДК
004.82 510.23Аннотация
Изучаются свойства формализмов представления знаний, связанные с операциями композиции и отношением вложения знаний. Приведены примеры формализмов с некоммутативной операцией композиции представлений знаний. Определён класс теоретико-множественных формализмов знаний. Доказано, что этот класс является конечно аксиоматизируемым классом. Он включает элементы, которые не являются минимальными в отношении вложения формализмов представления знаний. Рассмотрены аналоги механизмов прямого и обратного вывода для теоретико-множественных формализмов знаний.
Ключевые слова:
формализм представления знаний, сравнение формализмов, теоретико-множественный формализм, прямой выводИнформация о финансировании
Работа выполнена при поддержке РФФИ грант №13-01-96513.
Библиографические ссылки
- Костенко К.И. Вложение формализмов знаний // Материалы XVII международной научной конференции Проблемы теоретической кибернетики, Казань, 16-20 июня 2014. С. 149-152. [Kostenko K.I. Vlozhenie formalizmov znaniy [Investing formalisms Knowledge]. Materialy XVII mezhdunarodnoy nauchnoy konferentsii Problemy teoreticheskoy kibernetiki, Kazan', 16-20 iyunya 2014. [Proceedings of the XVII International Scientific Conference Problems of Theoretical Cybernetics, Kazan, 16-20 June 2014], pp. 149-152. (In Russian)]
- Костенко К.И., Лебедева А.П. Алгебраическая и семантическая структуры иерархических семантических сетей // Экологический вестник научных центров Черноморского экономического сотрудничества. 2014, №4. С. 56-64. [Kostenko K.I., Lebedeva A.P. Algebraicheskaya i semanticheskaya struktury ierarkhicheskikh semanticheskikh setey [Algebraic and semantic structure of the hierarchical semantic networks]. Ekologicheskiy vestnik nauchnykh tsentrov Chernomorskogo ekonomicheskogo sotrudnichestva [Ecological Bulletin of Research Centers of the Black Sea Economic Cooperation], 2014, no. 4, pp. 56-64. (In Russian)]
- Чечкин А.В. Нейрокомпьютерная парадигма информатики // Нейрокомпьютеры: разработки, применение. 2011. №7. С. 3-9. [Chechkin A.V. Neyrokomp'yuternaya paradigma informatiki [Neurocomputing paradigm of computer science]. Neyrokomp'yutery: razrabotki, primenenie [Neurocomputers: development, application], 2011, no. 7, pp. 3-9. (In Russian)]
- Костенко К.И. Вложения формализмов семантических сетей // Экологический вестник научных центров Черноморского экономического сотрудничества. 2013, №2. С. 58-66. [Kostenko K.I. Vlozheniya formalizmov semanticheskikh setey [Attachments formalism semantic networks]. Ekologicheskiy vestnik nauchnykh tsentrov Chernomorskogo ekonomicheskogo sotrudnichestva [Ecological Bulletin of Research Centers of the Black Sea Economic Cooperation], 2013, no. 2, pp. 58-66. (In Russian)]
- Костенко К.И. Классификация операций в пространствах знаний // XII национальная конференция по искусственному интеллекту с международным участием (труды конференции), Тверь 2010, 20-24 сентября. Т. 2. С. 155-163. [Kostenko K.I. Klassifikatsiya operatsiy v prostranstvakh znaniy [Classification of operations in the space of knowledge]. In XII natsional'naya konferentsiya po iskusstvennomu intellektu s mezhdunarodnym uchastiem (trudy konferentsii), Tver' 2010, 20-24 sentyabrya. T. 2 [XII National Conference on Artificial Intelligence with International Participation (conference proceedings), Tver 2010, 20-24 September, vol. 2], pp. 155-163. (In Russian)]
- Jacobs B.E. On database logic // Journal of the Association for Computing Machinery. 1982. Vol. 29. No. 2. P. 310-332.
Скачивания
Загрузки
Даты
Поступила в редакцию
10 июля 2015
Принята к публикации
11 августа 2015
Публикация
30 сентября 2015
Как цитировать
[1]
Костенко, К.И., Теоретико-множественные формализмы представления знаний. Экологический вестник научных центров Черноморского экономического сотрудничества, 2015, № 3, pp. 52–60.
Лицензия
Copyright (c) 2015 Костенко К.И.
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.
