MULTILEVEL CONTEXT REPRESENTATION USING SEMANTIC METANETWORK

In this paper, a multilevel semantic network is proposed to be used to represent knowledge within several levels of contexts. The zero level of representation is semantic network that includes knowledge about basic domain objects and their relations. The first level of presentation uses semantic network to represent contexts and their relationships. The second level presents relationships of metacontexts, and next level describes metametacontext and so on at the higher levels. The top level includes knowledge which is considered to be “truth” in all the contexts. Thus semantic metanetwork is the set of semantic networks above each other so that relations of each previous level are nodes of the next level. The goals of deriving such representation are: to derive knowledge interpreted using all known levels of its context; to derive unknown knowledge when interpretation of it in some context and the context itself are known; to derive unknown knowledge about a context when it is known how the knowledge is interpreted in this context. Possible transformations with contexts are described using special algebra. Equations of the algebra are discussed and used to reason with this multilevel context structure.

[1]  Lokendra Shastri,et al.  Default Reasoning in Semantic Networks: A Formalization of Recognition and Inheritance , 1989, Artificial Intelligence.

[2]  Stuart C. Shapiro,et al.  Cables, Paths, and "Subconscious" Reasoning in Propositional Semantic Networks , 1991, Principles of Semantic Networks.

[3]  Wanda Pratt,et al.  Integrating Information Sources Using Context Logic , 1995 .

[4]  Peter Martin,et al.  Knowledge acquisition and synthesis in a multiple source multiple domain process context , 1995 .

[5]  Patrick Brézillon,et al.  Cooperating for assisting intelligently operators , 1995 .

[6]  Stuart J. Russell,et al.  Principles of Metareasoning , 1989, Artif. Intell..

[7]  William A. Woods,et al.  Understanding Subsumption and Taxonomy: A Framework for Progress , 1991, Principles of Semantic Networks.

[8]  Ian A. Mason,et al.  The Semantics of Propositional Contexts , 1994, ISMIS.

[9]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[10]  Patrick Brézillon,et al.  Using Knowledge in Its Context: Report on the IJCAI-93 Workshop , 1995, AI Mag..

[11]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[12]  Seppo Puuronen,et al.  Modeling Consensus Knowledge from Multiple Sources Based on Semantics of Concepts , 1996, ER Workshop Challenges of Application and Challenges of Design.

[13]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[14]  Ian A. Mason,et al.  Metamathematics of Contexts , 1995, Fundam. Informaticae.