Заключение
Резюмируя все изложенное, можно констатировать, что методология КГ является одним из перспективных средств обеспечения интероперабельности в семантически гетерогенных распределенных информационных системах. Представление знаний при помощи КГ может быть востребовано как в локальных информационных системах, так и в системах, механизмы работы которых тесно связаны с Web-технологиями. На сегодняшний день существуют не только значительное число разнообразных приложений, позволяющих отображать КГ и выполнять над ними простейшие операции, но и системы, использующие КГ в качестве основного средства хранения и представления знаний. Методология КГ в настоящее время широко востребована и продолжает развиваться. Следует ожидать также, что появление официальных стандартов ISO/ IEC на семантику, абстрактный синтаксис и конкретные диалекты описания КГ (в частности, CGIF) инициирует очередной этап интенсивного внедрения аппарата КГ в различные сферы информационных технологий.
Список рекомендуемой литературы
Sowa, John F. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Изд.:Brooks/Cole Publishing Co., Pacific Grove, 2000.
F. van Harmelen, V. Lifschitz, and B. Porter, Handbook of Knowledge Representation, Chapter 5, Conceptual Graphs. Elsevier, Oxford, 2008.
Peirce, Charles Sanders (1909) Manuscript 514, with commentary by J. F. Sowa, http://www.jfsowa.com/peirce/ms514.htm
Hayes, Patrick (2005) “Translating semantic web languages into Common Logic,” http://www.ihmc.us/users/phayes/CL/SW2SCL.html
Hays, David G. (1964) “Dependency theory: a formalism and some observations,” Language 40:4,511-525.
ISO/IEC (2006) Common Logic (CL) — A Framework for a family of Logic-Based Languages, FCD 24707, International Organisation for Standardisation.
Оглавление
Введение 3
1. КОНЦЕПТУАЛЬНЫЕ ГРАФЫ 4
1.2. λ-выражения и типизация концептов и отношений в КГ 12
1.3. Описание референтов 16
1.4. Контексты 19
1.5. Представление баз знаний 22
1.6. Синтаксическая модель CGIF 26
2. Применение аппарата КГ В РАМКАХ МЕТОДОЛОГИИ «ОБЩЕЙ ЛОГИКИ» (common logic) 31
3. ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ПОДДЕРЖКИ АППАРАТА КГ 52
Заключение 66
Список рекомендуемой литературы 66
Власенко Сергей Владимирович, Варчев Денис Александрович
Использование аппарата концептуальных графов в задачах представления и обработки знаний
Учебное пособие
Редактор Э. К. Долгатов
Подписано в печать . Формат 60х84 1/16. Бумага офсетная.
Печать офсетная. Гарнитура «Times». Печ. л. 4,0.
Тираж 125 экз. Заказ
Издательство СПбГЭТУ «ЛЭТИ»
197376, С.-Петербург, ул. Проф. Попова, 5