Mechanisms In Implemented KR Systems

R. V. Guha

Several Knowledge Representation systems such as KRL, KIF, and CycL have provided mechanisms similar to contexts. These mechanisms have generally provided the ability to group assertions into clumps and associate different assumptions, vocabularies, etc. with the assertions in them. Over the last few years, developments in the formalization of the notion of contexts have provided us with a mechanism to, at least conceptually, integrate these mechanisms, as In this talk, I will try to trace the development of these seemingly diverse facilities into the unifying theme of contexts.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.