Learn More
This manual is the \living document" of the Interlingua Working Group of the DARPA Knowledge Sharing EEort. As such, it represents work in progress toward a proposal for a standard knowledge interchange format. 1 Abstract: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has(More)
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit ax-iomatizations in limited contexts to be expanded to transcend the(More)
1 The problem All languages have distributional regularities: patterns which restrict what sounds can appear where, including nowhere, as determined by local syntagmatic factors independent of any particular morphemic alternations. Early generative phonology tended to slight the study of distributional relations in favor of morphophonemics, perhaps because(More)
We present a new and more symmetric version of the circumscrip-tion method of nonmonotonic reasoning rst described in (McCarthy 1980) and some applications to formalizing common sense knowledge. The applications in this paper are mostly based on minimizing the abnormality of diierent aspects of various entities. Included are non-monotonic treatments of is-a(More)
1. INTRODUCTION. The action at a distance that is characteristic of consonant harmonies stands as a pivotal problem to be addressed by phonological theory. Consider a familiar example from Chumash. The character of coronal fricatives and affricates in Chumash is determined by the rightmost coronal sibilant (1a). This agreement alters /s/ to [S] when(More)