A semantical perspective on verification of knowledge

摘要: The usual approaches to verification of knowledge in the literature have a rather practical nature, and are sometimes ad hoc depending on syntactical structure particular representation language definitions properties that tested. In this paper, more principled investigation provides well-defined semantical basis, independent any representation, various can be tested, their logical relationships. Central unifying framework is notion domain description forcing relation used as standard for inferences. Properties covered include consistency, three variants soundness, completeness, empirically foundedness, well-informedness.