Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Концептуальный граф (КГ) — это формализм для представления знаний. В первой опубликованной статье о КГ Джон Ф. Соуа использовал их для представления концептуальных схем, применяемых в системах управления базами данных. Первая книга, посвященная КГ, применила их к широкому спектру тем в области искусственного интеллекта, компьютерных наук и когнитивной науки.
A conceptual graph (CG) is a formalism for knowledge representation. In the first published paper on CGs, John F. Sowa used them to represent the conceptual schemas used in database systems. The first book on CGs applied them to a wide range of topics in artificial intelligence, computer science, and cognitive science.
Научно-исследовательские отрасли
С 1984 года модель развивалась по трем основным направлениям: графический интерфейс для логики первого порядка, диаграмматический исчисление логик и модель представления знаний и логического вывода на основе графов.
Since 1984, the model has been developed along three main directions: a graphical interface for first order logic, a diagrammatic calculus of logics, and a graph based knowledge representation and reasoning model.
Графический интерфейс для логики первого порядка
В этом подходе формула в логике первого порядка (исчисление предикатов) представлена помеченным графом. Линейная нотация, называемая форматом обмена концептуальными графами (CGIF), была стандартизирована в стандарте ISO для общей логики. Диаграмма выше является примером формы представления концептуального графа. Каждый прямоугольник называется концептуальным узлом, а каждый овал – узлом отношения. В CGIF этот CG будет представлен следующим образом:
In this approach, a formula in first order logic (predicate calculus) is represented by a labeled graph. A linear notation, called the Conceptual Graph Interchange Format (CGIF), has been standardized in the ISO standard for common logic. The diagram above is an example of the display form for a conceptual graph. Each box is called a concept node, and each oval is called a relation node. In CGIF, this CG would be represented by the following statement:
В CGIF квадратные скобки заключают информацию внутри концептуальных узлов, а круглые скобки – информацию внутри узлов отношений. Буквы x и y, называемые метками кореференции, показывают, как связаны концептуальные и узлы отношений. В CLIF эти буквы соответствуют переменным, как показано в следующем примере:
In CGIF, brackets enclose the information inside the concept nodes, and parentheses enclose the information inside the relation nodes. The letters x and y, which are called coreference labels, show how the concept and relation nodes are connected. In CLIF, those letters are mapped to variables, as in the following statement:
Как показывает этот пример, звездочки на метках кореференции и в CGIF соответствуют экзистенциально квантифицированным переменным в CLIF, а вопросительные знаки на и соответствуют связанным переменным в CLIF. Универсальный квантор, представленный в CGIF, будет представлен в CLIF. Рассуждения могут выполняться путем преобразования графов в логические формулы, а затем применения логического механизма вывода.
As this example shows, the asterisks on the coreference labels and in CGIF map to existentially quantified variables in CLIF, and the question marks on and map to bound variables in CLIF. A universal quantifier, represented in CGIF, would be represented in CLIF. Reasoning can be done by translating graphs into logical formulas, then applying a logical inference engine.
Диаграммный анализ логики
Другая исследовательская ветвь продолжает работу над экзистенциальными графами Чарльза Сандерса Пирса, которые стали одним из источников возникновения концептуальных графов, предложенных Совой. В этом подходе, развитом, в частности, Доу, концептуальные графы представляют собой концептуальные диаграммы, а не графы в понимании теории графов, и операции рассуждения выполняются посредством операций над этими диаграммами.
Another research branch continues the work on existential graphs of Charles Sanders Peirce, which were one of the origins of conceptual graphs as proposed by Sowa. In this approach, developed in particular by Dau , conceptual graphs are conceptual diagrams rather than graphs in the sense of graph theory, and reasoning operations are performed by operations on these diagrams.