The PHOS conceptual language for knowledge representation

The role of a Knowledge Representation Language, as Brachman and Levesque described, is to support the explicit encoding of knowledge in a well specified way. Moreover, as they describe, “a representation system must provide access to facts implicit in the knowledge base. In other words, a representation component must perform automatic inferences for its users…”.

[1]  Douglas B. Lenat,et al.  On the thresholds of knowledge , 1987, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

[2]  H. Levesque,et al.  A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS , 1979 .

[3]  Paul R. Cohen,et al.  A declarative representation of control knowledge , 1989, IEEE Trans. Syst. Man Cybern..

[4]  Mark H. Burstein,et al.  The KREME Knowledge Editing Environment , 1987, Int. J. Man Mach. Stud..

[5]  B. Chandrasekaran,et al.  Explaining control strategies in problem solving , 1989, IEEE Expert.

[6]  W.A. Woods,et al.  Important issues in knowledge representation , 1986, Proceedings of the IEEE.

[7]  Gary Berg-Cross,et al.  Acquiring and managing knowledge using a conceptual structures approach: introduction and framework , 1989, IEEE Trans. Syst. Man Cybern..

[8]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[9]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[10]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.