Conceptual graphs at work : efficient reasoning and applications

• Main Author: Croitoru, Madalina
• Published: University of Aberdeen 2006
• Subjects: 006.3
• Online Access: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.439993

This thesis describes original research in the field of knowledge representation and reasoning by presenting novel extensions to the Conceptual Graph formalism which increase their reasoning capabilities and conceptual modelling applicability in Artificial Intelligence.  Conceptual Graphs benefit from graph-based reasoning mechanisms, plug-in capabilities over existing data structures and good visualization capabilities.  These advantages have to be adapted for an information era where quick results and representation versatility are essential for successful frameworks.  This thesis will show how to extend Conceptual Graphs as a knowledge representation and reasoning formalism to address these needs.  We claim that this extension has to focus on both semantic and syntactic aspects.  More precisely we improve existing reasoning algorithms and propose Conceptual Graphs extensions that allow for the representation of hierarchical knowledge and concurrent, interrelated events.  Our work is evaluated theoretically.  We highlight new polynomial instances for the NP-complete problem of projection checking (the main reasoning mechanism for Conceptual Graphs).  We demonstrate the soundness and completeness of our proposed extensions.  We show how our extensions can be successfully employed for conceptual modelling.