A Semantical Perspective on Verification of Knowledge

N.E.M. Leemans, J. Treur, M. Willems

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

The usual approaches to verification of knowledge in the literature have a rather practical nature, and are sometimes ad hoc and depending on the syntactical structure of a particular knowledge representation language in the definitions of the properties that are tested. In this paper, a more principled investigation provides a well-defined semantical basis, independent of any particular syntactical representation, of the various properties that can be tested, and their logical relationships. Central in this unifying semantical framework is the notion of domain description and the forcing relation that is used as a standard for the inferences. Properties covered include consistency, three variants of soundness, three variants of completeness, empirically foundedness, and well-informedness. © 2002 Elsevier Science B.V. All rights reserved.
Original languageEnglish
Pages (from-to)33-70
JournalData and Knowledge Engineering
Volume40
DOIs
Publication statusPublished - 2002

Bibliographical note

DKE

Fingerprint

Dive into the research topics of 'A Semantical Perspective on Verification of Knowledge'. Together they form a unique fingerprint.

Cite this