Recursive modal unification for reasoning with knowledge using a graph representation

M. C. Chan, B. J. Garner, Yue Hong Eric Tsui

Research output: Journal article publicationJournal articleAcademic researchpeer-review

5 Citations (Scopus)


In this paper a modal reasoning mechanism adapted to the formalism of conceptual graphs is reported. The significance of the work lies in (1) unification of epistemological structures represented as nested graphs; (2) recursive nature of algorithm; and (3) full compatibility of the new sub-system with existing tools for knowledge engineering using conceptual graphs. The mechanism for modal reasoning comprises three elements: (a) generation of conceptual graph equivalents of modal literals; (b) unification of the modal literals; and (c) generation of the conceptual graph equivalent of the resolvent literals.
Original languageEnglish
Pages (from-to)94-104
Number of pages11
JournalKnowledge-Based Systems
Issue number2
Publication statusPublished - 1 Jan 1988
Externally publishedYes


  • conceptual graphs
  • knowledge representation
  • modal reasoning
  • recursive resolution

ASJC Scopus subject areas

  • Software
  • Management Information Systems
  • Information Systems and Management
  • Artificial Intelligence


Dive into the research topics of 'Recursive modal unification for reasoning with knowledge using a graph representation'. Together they form a unique fingerprint.

Cite this