Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Logical reasoning with diagrams
Logical reasoning with diagrams
Modal Logics for Conceptual Graphs
ICCS '93 Proceedings on Conceptual Graphs for Knowledge Representation
Existential Graphs and Tense Logic
ICCS '96 Proceedings of the 4th International Conference on Conceptual Structures: Knowledge Representation as Interlingua
C. S. Pierce and the Quest for Gamma Graphs
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Peircean Graphs for the Modal Logic S5
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
| Hi-index | 0.00 |
In this paper, we describe a software system for learning graph-based reasoning. The system is designed for learning Peircean graphs in an interactive fashion that allows each student to proceed in his or her own pace. The student may use the built-in exercise library working from easy exercises towcirds harder ones, or may work at exercises of his or her own choice. The system has been successfully tested by a number of first-year students. Our software system comes in two versions: One for reasoning within prepositional logic and one for reasoning within the modal logic S5.