Goal driven theorem proving using conceptual graphs and Peirce logic

The thesis describes a rational reconstruction of Sowa's theory of Conceptual Graphs. The reconstruction produces a theory with a firmer logical foundation than was previously the case and which is suitable for computation whilst retaining the expressiveness of the original theory. Also, severa...

Full description

Saved in:
Bibliographic Details
Main Author: John E. Heaton
Format: Default Thesis
Published: 1994
Subjects:
Other information and computing sciences not elsewhere classified
Conceptual graphs
Expert systems
Knowledge processing
Knowledge representation
Peirce logic
Predicate logic
Theorem proving
Information and Computing Sciences not elsewhere classified
Online Access:https://hdl.handle.net/2134/7706
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items