Page Numbers: Yes First Page: 1
Heading:

June 6, 1979 3:23 PM[IVY]<krl>document>outline

Outline for The KRL-1 Document

Outline This document

matchspecs version

brian’s version

Intro-duction

Purpose of document

Form of document

General picture of the development

move towards explicitiness

move towards language uniformity with multiple implementation

tradeoff triangle

use fix-float analogy

Compacting and compiling

Bootstrapping ideas

Str-uctures

Lev-els

Message level -- files, fonts, etc.

Inter-mediate level -- syntax, macros, etc.

Mem-ory level -- memory structures

Unit, Anchor, descriptor, etc.

Data Comp-action

brian’s version

change of declarations in mid-stream

decl-arations

old version from Brian’s writeup

Implementation of extend-ed memory space

Belief level -- propositional and computational equivalence

Detail-ed specification of the LISP stuff

Summary of conv-ersions among levels (contains stuff which should be moved)

Basic-

multiple description

inherit-ance hierarchies -- further specification

viewpoints and clusters

procedural attach-ment - triggers and traps

old trigger and trap definitions

ext-ensions for relating values and actions (e.g. Lisp-value)

stan-dard triggers for basic activities of describing and seeking

see ex-crypt-*

primary anchors

mutual exclusion hierarchies

see examples>accounting

classification of unit types, etc.

individual/ PAR, etc.

find model orthogonal perspectives paper

see examples>hendrix

syntax details of the syntax

standard func-tionals

lisp interface (has piece which needs updataing according to section below) (move to basic?)

nexus details

old-examples

Spec-ial structures

coll-ections - sets and sequences

logic-al

implications

using and relation to pattern-driven stuff

Layers -- uniform use of meta-description

Concepts.draw

Formal definition in units of structures (to be incorporated into sections?)

terry’s version

rec-ord declarations in current LISP implementation

old version from Brian

Proc-essing

Processes and agenda scheduling

see examples-crypt-*

Signal

formal-ization in declarative terms, and bootstrapping

the use of process descriptions to run processes

pat-tern driven, etc.

event descriptions

Match-er

Seek/Describe/OverWrite/Match

brian’s version

old fancy version designed by Terry never implemented

ground-ing of descriptions

formal specification in units

new version by Richard

see examples>accounting

see examples-crypt-*

Pattern meta-descriptions
Procedural attach-ment

Access Compiler

Full-Align

spec-ification of records and top-level functions

imp-lementation

util-ities

nondet-erminism

loop-ing structure on goals

sig-nals

The Eng-ine

old version

traces for sam and crypt examples

imp-lementation

units.draw

Rep-resentation

Worlds

domain versus knowledge worlds

the during functional as implemented?

see ex-hendrix

see ex-mccarthy

Depend-ency

Quant-ification and collections

old version

see ex-hendrix

see ex-mccarthy

Index-ing and association

Primitives (get stuff from Yorick-wendy)

Sys-tem Integration

Original imp-lementation plans

As of yet unincorporated details

Files

Edit-or -- the browser

Future system plans

Glossary = [IVY]<KRL>oldkrl1>doc>glossary.bravo!1

Ex-amples

hendrix = [MAXC2]<KRL>HENDRIX.KRL1

accounting = [IVY]<Winograd>krl1>accounting.krl1!1
borning = [MAXC2]<KRL>BORNING.KRL1

flow
sam

odyssey??

mccarthy

version2 = [MAXC2]<KRL>MCCARTHY.KRL1

version1 = Mccarthy.krl1 from [IVY]<winograd>krl1>exampleset.krl1

crypt-arithmetic

units

old version

mid-dle version

new version

Stray things of historical interest only which I didn’t want to throw out.

Notes from Henry while he was away

List of documentation files as of June77

List of documentation files as of Jan77

Terry’s work history on the matcher

Things todo at one point

Messages concerning various things (should be checked in detail)
Forum-slides

Forum-outline
odyssey Richard’s slides from talks

notes to myself

Doc-ument preparation

editlog

file-manipulation

shuffle commands for getting stuff around

list of old files and where they went



Files as of April 28, 1979 3:13 PM

Outline

outline
outline-brian
outline-matchspecs
Introduction

intro
Structures

str
str-brian
str-Levels

str-lev
str-lev-conv
str-lev-Message

str-lev-message
str-lev-Memory

str-lev-mem
str-lev-mem-comp
str-lev-mem-comp-brian
str-lev-mem-comp-change
str-lev-mem-comp-decl
str-lev-mem-comp-decl-old
str-lev-mem-extend
str-lev-mem-unit
str-lev-Intermediate

str-lev-inter
str-lev-Belief

str-lev-belief
str-Basic

str-basic-attach
str-basic-attach-ext
str-basic-attach-old
str-basic-attach-stan
str-basic-exclusion
str-basic-inherit
str-basic-primary
str-basic-unit
str-Syntax

str-syntax
str-syntax-func
str-syntax-lisp
str-syntax-old
str-Special

str-spec-logic

str-Layers (no files yet)

str-Formal

str-formal
str-formal-rec-old
str-formal-terry
Process

proc-agenda
proc-signal
proc-pat
proc-pat-event
proc-formal
proc-formal-run
Matcher

match
match-Seek

match-seek
match-seek-brian
match-seek-formal
match-seek-new
match-seek-old
match-seek-old-ground
match-Pattern

match-pattern
match-Attach

match-attach
match-Access

match-access
match-Full

match-full-spec
match-full-signals
match-full-imp-loop
match-full-imp-nondet
match-full-imp-util
match-Engine

match-eng-old
match-eng-old-imp
match-eng-old-traces
Representation

rep-index
rep-quant
rep-quant-old
rep-worlds
rep-worlds-domain
rep-worlds-during
System

sys
sys-details
sys-imp
Examples

ex-accounting
ex-borning
ex-crypt-mid
ex-crypt-new
ex-crypt-old
ex-crypt-units
ex-flow
ex-hendrix
ex-mccarthy-version1
ex-mccarthy-version2
ex-sam
Glossary

glossary
Stray

stray-forum-outline
stray-forum-slides
stray-henry
stray-jan77
stray-june77
stray-messages
stray-notes
stray-odyssey
stray-todo
stray-work
Document

doc-editlog
doc-file-list
doc-file-shuffle