Recursive modal unification for reasoning with knowledge using a graph representation

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

doi:10.1016/0950-7051(88)90004-4

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 publication › Journal article › Academic research › peer-review

5 Citations (Scopus)

Abstract

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 language	English
Pages (from-to)	94-104
Number of pages	11
Journal	Knowledge-Based Systems
Volume	1
Issue number	2
DOIs	https://doi.org/10.1016/0950-7051(88)90004-4
Publication status	Published - 1 Jan 1988
Externally published	Yes

Keywords

conceptual graphs
knowledge representation
modal reasoning
recursive resolution

ASJC Scopus subject areas

Software
Management Information Systems
Information Systems and Management
Artificial Intelligence

More information

10.1016/0950-7051(88)90004-4

Cite this

@article{164fd45c62a941d8981fe00d1e6dc965,

title = "Recursive modal unification for reasoning with knowledge using a graph representation",

abstract = "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.",

keywords = "conceptual graphs, knowledge representation, modal reasoning, recursive resolution",

author = "Chan, {M. C.} and Garner, {B. J.} and Tsui, {Yue Hong Eric}",

year = "1988",

month = jan,

day = "1",

doi = "10.1016/0950-7051(88)90004-4",

language = "English",

volume = "1",

pages = "94--104",

journal = "Knowledge-Based Systems",

issn = "0950-7051",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - Recursive modal unification for reasoning with knowledge using a graph representation

AU - Chan, M. C.

AU - Garner, B. J.

AU - Tsui, Yue Hong Eric

PY - 1988/1/1

Y1 - 1988/1/1

N2 - 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.

AB - 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.

KW - conceptual graphs

KW - knowledge representation

KW - modal reasoning

KW - recursive resolution

UR - http://www.scopus.com/inward/record.url?scp=45549114328&partnerID=8YFLogxK

U2 - 10.1016/0950-7051(88)90004-4

DO - 10.1016/0950-7051(88)90004-4

M3 - Journal article

SN - 0950-7051

VL - 1

SP - 94

EP - 104

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

IS - 2

ER -

Recursive modal unification for reasoning with knowledge using a graph representation

Abstract

Keywords

ASJC Scopus subject areas

More information

Other files and links

Fingerprint

Cite this