Building Large Knowledge-based Systems: Representation and Inference in the Cyc ProjectChapter one presents the Cyc "philosophy" or paradigm. Chapter 2 presents a global overview of Cyc, including its representation language, the ontology f its knowledge base, and teh environment which it functions. Chapter 3 goes into much more detail on the representation language, including the structure and function of Cyc's metalevel agenda mechanism. Chapter 4 presents heuristics for ontological engineering, the pricnples upon whcihc Cyc's ontology is based. Chapter 5 the provides a glimpse into the global ontology of knowledge. Chapter 6 explains how we "solve" (i.e., adequately handle) the various tough representation thorns (substances, time, space, structures, composite mental/physical objects, beliefs, uncertainty, etc. ). Chapter 7 surveys the mistakes that new knowledge tnereres most often commit. Chapter 8, the concluding chapter, includes a brief status report on the project, and a statement of goals and a timetable for the coming five years. |
Contents
The Cyc Philosophy | 1 |
Overview of Cyc | 28 |
The Cycl Representation Language | 45 |
Copyright | |
9 other sections not shown
Common terms and phrases
abstraction actors agenda agent allInstanceOf allInstances analogy argument arity assert attributes basic believe binary called collection computing consensus reality consider constraint language create Cyc KB Cyc's CycL default define entity entry entryIsA event EventType example exist expert system fact ForAll frame language Fred's function genls Get6 Guha heuristics Horn clause IndividualObject inference inference procedure inheritance instance instanceof intangible InternalMachineThing inverse kind of slot knowledge Lenat Lisp makesSenseFor means mechanism metalevel namely natural language understanding notion object ontology PaloAlto Person piece predicate problem Process ProcessType properties proposition reason relations representation RepresentedThing rule scheme script SeeUnits semantics Skolem Function slot value slotValueSubsumes SomethingExisting spatial specify specs structure Stuff subevents subset SubstanceType subtasks syntax TangibleObject task temporal subabstraction things tion toCompute Toyota Truck true truth maintenance system unit representing variables various