论文信息 - Description types in the XPRT-system - 字舞流文

Description types in the XPRT-system

The XPRT-system has been designed as a basis for implementing knowledge-based expert systems. This paper introduces the description types that are currently available for communicating with this system.

[1] Marvin Minsky,et al. A framework for representing knowledge , 1974 .

[2] William A. Martin. Roles, Co-Descriptors, and the Formal Representation of Quantified English Expressions , 1981, Am. J. Comput. Linguistics.

[3] Ole-Johan Dahl,et al. SIMULA 67 common base language, (Norwegian Computing Center. Publication) , 1968 .

[4] Max J. Cresswell,et al. Logics and languages , 1973 .

[5] Richard Montague,et al. The Proper Treatment of Quantification in Ordinary English , 1973 .

[6] Henry Lieberman,et al. Specifying and Proving Properties of Guardians for Distributed Systems , 1979, Semantics of Concurrent Computation.

[7] Luc Steels,et al. Reasoning Modeled As A Society Of Communicating Experts , 1979 .

[8] Randall Davis,et al. Interactive Transfer of Expertise: Acquisition of New Inference Rules , 1993, IJCAI.