Putting Context Logic into Practice

Citation: Adam Farquhar and Sasa Buvac. (1997) Putting Context Logic into Practice. In KSL-97-01, January,1997.

Publication techreport ( Edit )
type	Technical Report
bibtype	techreport
Bibtex basics
author	Adam Farquhar and Sasa Buvac
title	Putting Context Logic into Practice
number	KSL-97-01
institution	Knowledge Systems, AI Laboratory
address	Stanford, CA, USA
year	1997
month	January
Bibtex more
Access Paper
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.

KSL Technical Report ID: KSL-97-01

Abstract	A growing emphasis on information integrat … 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. using existing, standard inference tools.
Address	Stanford, CA, USA +
Author	Adam Farquhar and Sasa Buvac +
Bibtype	techreport +
Has author	Adam Farquhar and Sasa Buvac +
Has identifier	KSL-97-01 +
Has publishing details	January,1997 +
Has title	Putting Context Logic into Practice +
Has where published	KSL-97-01 +
Has year	1997 +
Institution	Knowledge Systems, AI Laboratory +
Ksl tr id	KSL-97-01 +
Month	January +
Number	KSL-97-01 +
Process note	NO +
Title	Putting Context Logic into Practice +
Year	1997 +