TY - JOUR
T1 - A Semantical Perspective on Verification of Knowledge
AU - Leemans, N.E.M.
AU - Treur, J.
AU - Willems, M.
N1 - DKE
PY - 2002
Y1 - 2002
N2 - 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.
AB - 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.
U2 - 10.1016/S0169-023X(01)00045-3
DO - 10.1016/S0169-023X(01)00045-3
M3 - Article
SN - 0169-023X
VL - 40
SP - 33
EP - 70
JO - Data and Knowledge Engineering
JF - Data and Knowledge Engineering
ER -