Use this URL to cite or link to this record in EThOS:
Title: Conceptual graphs at work : efficient reasoning and applications
Author: Croitoru, Madalina
ISNI:       0000 0001 3397 0941
Awarding Body: University of Aberdeen
Current Institution: University of Aberdeen
Date of Award: 2006
Availability of Full Text:
Access from EThOS:
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.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available