Putting Context Logic into Practice

Reference: Farquhar, A. & Buvac, S. Putting Context Logic into Practice. Knowledge Systems Laboratory, January, 1997.

Abstract: A growing emphasis on information integration and agent interaction is pushing the boundaries of existing approaches to knowledge representation, which lack the ability to represent explicitly the relationships between different views of the world. In order to address this need, researchers have been developing new logics that explicitly characterize the context in which a statement is true. We show how context logic can be translated into standard first order logic. This enables researchers and practitioners to exploit this new representational technology in their applications by using existing, standard inference tools.

Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]
Send mail to: ksl-info@ksl.stanford.edu to send a message to the maintainer of the KSL Reports.