Page Numbers: Yes First Page: 1
Heading:
January 29, 1977 11:49 AM [IVY]<KRL>document>glossary
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
KRL-1 GLOSSARY
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
A Glossary of KRL-1 Technical Terms and Phrases
a (an)
access compiler
access limitation
activation
action
active
agenda
Allowing
anchor
associated (with)
attached (to)
Augment
beliefs
binding
boolean
cases
categories
cateloguing
category incompatibility
CategoryAccess
changing descriptions
closure
cluster
cluster reflexives
comparing
concept set
concept system
conceptual entity
context
contingent descriptions
co-reference
CoReferenceAccess
co-reference transitivity
co-reference substitution
co-referent
co-representative
criterial
current description
current world
datum
declarative description
demon
describing
description
description compilation
description space
descriptive
descriptor
differential access
discrimination nets
entity
established
event
event description
event networks
existence
ExistsIn
existential quantifiers
fence
filler pair
filter
finding
flag
focus
footnote
forms
frame implications
from
FullSearch
functional
fundamental--defined in the semantics of level 1. Decisions or oeprations which are called "fundamental" are those made in KRS, rather than in KRL.
further description
further specification
goals
hypotheses
hypothetical co-references
hypothetical mappings
identification
implied
immediate
ImmediateAccess
implications
indexing
indirect
individuals
inference
inference rules
inheritance
initial description
instance
instantiation
interpretation
known match
KRL-1
KRS-1
labelled anchors
levels--a set of four viewpoints from which to view the objects and meanings of KRL/KRS etc
level 0
level 1
level 2
level 3.
link modality
linkage
LISP entities
local reflexives
loosely coupled
mapping
mapping inheritance
Match
match idioms
match tables
matching
meaning
memberOf
metaDescriptions
modality
monotonic
mutual exclusion hierarchies
negative filters
new description
numbers
partial results
pattern
perspective
pointers
pointer co-reference
positive filters
possible match
primary anchor
primary description--the description of an entity which is attached to its primary anchor.
primitive--defined by the KRL-1 language, as opposed to "fundamental" which applies to design choices made in KRS, and to "standard", which applies to mechanisms and choices made by the KRL-1 Interpreter but which are not inherent in the language design per se. For example the descriptor types are primitive.
procedural attachment
process
process description
prototype
quantification
quotation
ReDescribe
reference
referent
referring
reflexive
remote
Remove
representation
resources
resource limitations
result descriptions
scheduler
scheduling
scope
Seek
selectors
self description
self slot
semantics
sequences
SequenceItems
SequenceOf
servants
sets
SetItems
SetOf
shared context
signal path
signal tables
simulation
single word default
slot
slot perspectives
slot specification
specification
specified
standard--applies to design choices which are made by the KRL-1 Interpreter, but which are not inherent to the KRL-1 language ("primitive") or to the underlying semantics ("fundamental")
strings
structures--includes both descriptions and anchors, and refers to the objects of level 2.
symmetric descriptors
system events
template
the
thing--an object, at level 0, which a level 1 entity is meant to represent.
thisElement
traps
triggers
two-and-a-half dimensional syntax
unDescribe
unit
unit perspectives
unit specifications
universal quantifiers
universe
Update
viewpoints
with
which(Is)
worlds
world scope