Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Conceptual Graphs and First-Order Logic
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Conceptual Graphs and Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Simple Concept Graphs: A Logic Approach
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Conceptual Graphs: Draft Proposed American National Standard
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Negations in Simple Concept Graphs
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
An Embedding of Existential Graphs into Concept Graphs with Negations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Existential Concept Graphs of Power Context Families
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Semiconcept Graphs with Variables
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
From formal concept analysis to contextual logic
Formal Concept Analysis
| Hi-index | 0.00 |
In the ICCS 2000 proceedings we introduced negation to simple concept graphs without generic markers by adding cuts to their definition. The aim of this paper is to extend this approach of cuts to simple concept graphs with generic markers. For these graphs, a set-theoretical semantics is presented. After this a modification of Peirce's beta-calculus is provided, and definitions for mappings Φ and Ψ between concept graps and first order logic are given. If we consider both concept graphs and first order logic formulas, together with their particular derivability relations, as quasiorders, Φ and Ψ are mutually inverse quasiorder isomorphisms between them. The meaning of this fact is elaborated. Finally we provide a result that links the semantics of concept graphs and the semantics of first order logic. This result can be used to show that the calculus for concept graphs is sound and complete.