Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
From Actors to Processes: The Representation of Dynamic Knowledge Using Conceptual Graphs
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
A Pure Graph-Based Solution to the SCG-1 Initiative
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Interpretation of Automata in Temporal Concept Analysis
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
A mapping from conceptual graphs to formal concept analysis
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
| Hi-index | 0.00 |
Conceptual Graphs (CG), originally developed for static data representation have been extended to cope with dynamical aspects. This paper adresses two questions connected with the topic: How can implicational knowledge about a system's states and behaviour be derived from a dynamic CG description and how can the CG specification process be supported by automatic or semiautomatic algorithms? Based on Formal Concept Analysis (FCA) we propose methods for both problems. Guided by an example we introduce two kinds of formal contexts containig the dynamic system's information: state contexts and action contexts. From these the complete implicational knowledge can be derived. Combining the techniques of attribute exploration and determination of a formal context's concepts, we demonstrate a procedure which interactively asks for the validity of implications and from this information designs a dynamic CG system with the desired properties.