XML Schema Language Specifications for Conditional Knowledge

摘要

The Knowledge Representation and Reasoning (KR&R) is based on the idea that propositional content can be rigorously represented in formal languages, such that the resulted representations can be productively reasoned over by humans and machines ([1]). Conditional Knowledge Representation and Reasoning represents a new brand of KR&R, for which several formalisms have been developed. In this paper we define XML Language Specifications for such knowledge in order to develop a standardized XML-based formalism for Expert Systems.