Page Numbers: Yes First Page: 1
Heading:

June 14, 1977 11:38 AM [IVY]<KRL>document>str-basic-exclusion

Status: very rough outline plus fragments of old stuff (not consistent!)

Specification of the category hierarchy mechanism in KRL-1

First paragraph.

second:

Syntax for specifying category membership

Use of categories by the general reasoner

Use of categories in the standard access-compiled cases

Formal description of category hierarchies

General Hierarchy mechanism

NOTE: Need to incorporate the stuff from the Hendrix examples and include general discussion of how they are used.

Units having to do with categorization

# CategoryDimension↑1
1: Comment ("A category dimension is associated with an entire hierarchy. It
operates somwhat like a viewpoint in selecting out relevant
categories to check for conflicts. Two categories along different
dimensions are incommensurable. Hierarchies can branch off into
dimensions at any level (e.g. there can be a single hierarchy of
things down to Person, including PhysObj, etc. then multiple
categories below Person. The intention is that although the
semantics as defined here are sufficent for doing category
reasoning, there would be special triggers associated with these
units, which led the information to be included redundantly in a
much more computationaly efficient form, to be used by the
matcher in quick checks to see if a match can be rejected on the
basis of category incompatibility")
root: A Category with dimension = My self
leaves: SetOf (\A Category with dimension = My self)

# Category↑11:HasFunctional (self, Categorized, dimension, children)
HasFunctional (self, SubCategory, dimension, parent)
HasFunctional (self, CategoryFor, instances)
dimension: A CategoryDimension; Basic↑22: A Default
parent: A Category with dimension = My dimension
siblings: The rangeSet from a SetSelector with
base = The children from a Category thatIs My parent
selector = \Not(My Element)
children: SetOf(\A Category with dimension = My dimension)
instances:
SetOfAll(\WhichIs DescribedBy
A Mapping with template = My self)
SetOf(\Not(WhichIs DescribedBy
A Mapping with template = MemberOf(My siblings))
UsingMy self
Not(The root from a CategoryDimension thatIs My dimension)
~ SetOf(\WhichIs DescribedBy
A Mapping with template = My parent)
UsingMy self
Not(MemberOf (The leaves from a CategoryDimension
thatIs My dimension))
~ SetOf(\WhichIs DescribedBy
A Mapping with template = MemberOf(My children))

# Basic
self/Instance: A CategoryDimension
1: Comment ("This is a used for a default division of the entire world.")

# # # # # # # # # # # # # # #

# # # # # # # # # # # # # # #

Exclusion Hierarchies