Sciweavers

ICCS
2005
Springer

Variables in Concept Graphs

13 years 10 months ago
Variables in Concept Graphs
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose. In contrast to that, in conceptual graphs, a single syntactical item, the generic marker ‘∗’ is used. Nonetheless, sometimes conceptual graphs with variables have to be considered. If the generic marker is replaced by variables, it has to be investigated how this syntactical difference is reflected by the semantics and transformation rules for conceptual graphs. In this paper, this task is carried out for the system of concept graph with cuts (CGwCs). Two different classes of CGwCs with variables is introduced, and for both, a semantics and an adequate calculus for CGwCs is provided.
Frithjof Dau
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ICCS
Authors Frithjof Dau
Comments (0)