Page Numbers: Yes  First Page: 1
Heading:z18697x3e12qjk72(635)
June 16, 1977  12:12 PM										  [IVY]<KRL>document>stray-june77z18697y774x3e12qjk72
Status: Up to date as of the time in the headingx3e12\bi7B41b
Listing of the current specification documents for KRL-1x3e12c\b56B
This is a list of the documents I have been preparing for the implementation.  Sooner or later all this will be merged with the previous set of .doc files (those whose first names are numbers corresponding to chapters in the KRL-1 document).z18697d3528x3e12jk40

Files as of June 16:(0,65535)(1,7968)\b
   Name: 	Written	Pages:
-------- 	------------ 	------e12(1,8058)(2,11840)\9t2 1t0 7t3 1t0 16t2 1t0 13t3 1t0
 accesscompile.doc	14-jun-77 11:28	2
 attachment.doc	14-jun-77 12:03	4
 categories.doc	14-jun-77 11:39	8
 collections.doc	16-jun-77 11:20	109
 commands.doc	14-jun-77 11:42	6
 compaction.doc	16-jun-77 10:36	33
 compiling.doc	16-jun-77 10:41	37
 datatypes.doc	16-jun-77 10:45	21
 describe.doc	16-jun-77 11:09	3
 implementation.doc	14-jun-77 12:16	68
 index.doc	14-jun-77 11:51	14
 inference.doc	16-jun-77 10:48	2
 interface.doc	2-jun-77 23:05	43
 interpreter.doc	16-jun-77 10:53	7
 logic.doc	16-jun-77 11:38	3
 process.doc	16-jun-77 10:56	2
 productions.doc	16-jun-77 11:01	40
 seekmatch.doc	16-jun-77 11:05	82
 specifications.doc	16-jun-77 11:58	22
 strategies.doc	16-jun-77 11:33	2
 syntax.doc	16-jun-77 11:25	77
 unit.doc	16-jun-77 11:28	3
 worlds.doc	16-jun-77 11:57	117e12\358t2 1t0 130t2 1t0 232t2 1t0
Note: These dates and times are the write times for my Alto disk.  Therefore they do not correspond exactly either to the time written in the file (which precedes them by some small amount) or the write time on MAXC2 (which follows them by some amount).e18(1,7968)(2,65535)\b5B248b
Summary of the filese12ck108\b
accessCompile.doce12jk108\b17B
Contents: This will describe the functioning of the access compiler, and give an up-to-date version of the things it recognizes l4057d3528e6j\i9t2I1t0 117t2 1b
Status: unwritten and subject to discussions with Richl4057d3528j\i7t2I47b
attachment.doce12jk108\b14B
Contents: Describes how the notions of procedural attachment are represented in KRL-1, and gives the set of descriptors currently recognized l4057d3528e6j\i9t2I1t0 130t2 1b
Status: to be writtenl4057d3528j\i7t2I14b
categories.doce12jk108\b14t2
Contents: Description of the general hierarchy mechanism and its application to category hirerarchies.  This hierarchy mechanism is also used in other parts of the system, such as the production mechanism and the worlds mechanism. l4057d3528e6j\i9t2I222b
Status: very rough outline plus fragments of old stuff (not consistent!)l4057d3528j\i7t2I1t0 64t2b
collections.doce12jk108\b15t2
Contents: The mechanisms for sets and sequences, along with a full specification of the units and functionals recognized by the syteml4057d3528e6j\i9t2I124b
Status: Currently in the form designed for the ultimate KRL-1 document.  It therefore is a mixture of philosophy, specification, etc.  The specifications are wrong in one important way -- their treatment of quoted forms is out of line with our current notions, which emphasize protyotypes instead.  I will get in and fix this up, but in the meantime, the general outline stands, and the detailed functional and unit names are more or less right.  All of the lambda stuff will also go away, through the use of unit constructors (see <KRL>unit.doc)l4057d3528j\i7t2I1t0 538t2b
commands.doce12jk108(635)\b
Contents: Description and summary of the KRL-1 commands and the command interpreterl4057d3528e6j(0,65535)\i9t2I74b
Status: Fragments only l4057d3528j\i7t2I1t0 14t2 1b
compaction.doce12jk108(635)\b
Contents: Details of the compaction declarations and the form of compacted structuresl4057d3528e6j(0,65535)\i9t2I76b
Status: More or less done -- needs updating to include memory-sequence stuff, and is therefore not yet consistent. Also needs something on what is in the catalogue, and detail on how records are actually accessed in memory (i.e. Henry's access functions)l4057d3528j\i7t2I1t0 246t2b
compiling.doce12jk108(635)\b
Contents: This is a general document describing the notions of compaction and access compiling, and the way they fit into the sytem as a whole.l4057d3528e6j(0,65535)\i9t2I134b
Status: This is the old version, and has not been updated to reflect the current implementation. It probably needs substantial modification, but the basic ideas are still the samel4057d3528j\i7t2I1t0 171t2b
datatypes.doce12jk108(635)\b
Contents: Description of the actual data types manipulated by the system and the commands and functions for using theml4057d3528e6j(0,65535)\i9t2I109b
Status: Needs revising to handle memory-sequences and units (meta-units?) for things like pattern units.  Also needs details of functions for accessing and manipulating data types.l4057d3528j\i7t2I1t0 172t2b
describe.doce12jk108(635)\b
Contents: This covers a family of functions exemplified by Describe, including specialized ones for modifying existing collection descriptions, and dealing with changing values and simple uses of worlds.  It includes the consistency checking process, and the triggering of demons at various levels.l4057d3528e6j(0,65535)\i9t2I1t0 288t2b
Status: Not written.l4057d3528j\i7t2I13b
implementation.doce12jk108(635)\b
Contents: The listing of tasks for the entire project (the PERT chart)l4057d3528e6j(0,65535)\i9t2I61b
Status: Up to date, but continually changingl4057d3528j\i7t2I37b
index.doce24jk108\b9t2
Contents: Description of the indexing mechanism and the standard things indexed by the systeml4057d3528e6j\i9t2I84b
Status: unfinished draftl4057d3528j\i7t2I17b
inference.doce12jk108(635)\b
Contents: A description of the incorporation and inference rules used in working with belief structures.  This is the "strategy-free" part of the reasoner.l4057d3528e6j(0,65535)\i9t2I146b
Status: Martin is working on a draftl4057d3528j\i7t2I29b
interface.doce12jk108(635)\b
Contents: Description of the interface between LISP programs and variables and KRL-1 structures and commands.l4057d3528e6j(0,65535)\i9t2I100b
Status: Draft -- more or less done but subject to review and revisionl4057d3528j\i7t2I1t0 61t2b
interpreter.doce12jk108(635)\b
Contents: A tutorial introduction and explanationl4057d3528e6j(0,65535)\i9t2I40b
Status: lots of stray pieces but not put together -- this will probably not get written for a while.l4057d3528j\i7t2I93b
logic.doce12jk108(635)\b
Contents: There is a whole class of descriptors which are really instructions to the reasoner.  These include some special forms (such as "using"), but mostly are represented as standard functionals and/or footnotes recognized by the sytem.  These include the Booleans (And, Or, Not, Implies), contingencies, default, and quantifiers.  They also include a class of footnotes which indicate things such as which slots are necessarily filled in an instance of a unit, and which descriptors must be satisfied in order to establish that an entity is an instance (Criterial).  This document gives a semantic basis for them, and the detailed specification of the units and functionals recognized by the system.l4057d3528e6j(0,65535)\i9t2I1t0 694t2b
Status: to be written.l4057d3528j\i7t2I15b
process.doce12jk108(635)\b
Contents: A description of the process creation and scheduling mechanisms for the goal-driven part of programming (i.e. not the event-driven stuff).l4057d3528e6j(0,65535)\i9t2I139b
Status: Draft being worked on by Mitchl4057d3528j\i7t2I31b
productions.doce12jk108(635)\b
Contents: A description of the production mechanism for event-driven programmingl4057d3528e6j(0,65535)\i9t2I71b
Status: unfinished draft.  Needs detailed specification of the form for productions and production sets.l4057d3528j\i7t2I17t0 80t2b
seekmatch.doce12jk108(635)\b
Contents: Description of the seek and match processes -- the syntax for using them, not the theoretical description of what they dol4057d3528e6j(0,65535)\i9t2I122b
Status: rough draft -- not to be trusted.  In particular, the process description stuff is missing, the method of specifying grounding will be slightly different, and the "pattern units" will become part of a more general notion of "unit constructors".l4057d3528j\i7t2I1t0 244t2b
specifications.doce12jk108(635)\b
Contents: This documentl4057d3528e6j(0,65535)\i9t2I14b
Status: Up to date, but continually changingl4057d3528j\i7t2I37b
strategies.doce12jk108(635)\b
Contents: This is a description of the actual operation of the reasoner, including its use of agendas and goal networks, and the means of specifying heuristics for guiding its searchl4057d3528e6j(0,65535)\i9t2I1t0 172t2b
Status: To be written with Davidl4057d3528e6j\i7t2I1t0
syntax.doce12jk108(635)\b
Contents: The complete syntax specificationl4057d3528e6j(0,65535)\i9t2I34b
Status: This is the old version and needs to be updated to handle: the meta-unit notions; unit constructors; the new notions of quotation; constructors and surrogates; possibly other things I can't rememberl4057d3528j\i7t2I1t0 198t2b
system.doce12jk108(635)\b
Contents: This document provides an overview of the documentation, debugging, and file manipulation packages available to the implementers of KRL-1.l4057d3528e6j(0,65535)\i9t2I1t0 132f1 5f0 1t2b
Status: The version as of February.  I'm sure it needs a lot of updatingl4057d3528j\i7t2I1t0 64t2b
unit.doce12jk108(635)\b
Contents: Description of the semantics of units, meta-units, and unit constructors.  It will include the notions of further specification and clustersl4057d3528e6j(0,65535)\i9t2I141b
Status: Not yet writtenl4057d3528j\i7t2I16b
worlds.doce12jk108(635)\b
Contents: Description of the concepts and mechanisms for dealing with worlds and multiple knowledge bases.l4057d3528e6j(0,65535)\i9t2I97b
Status: This is a version as of February.  It needs all sorts of modifications to fit in with our current scheme of things.  However, it does provide a kind of top-down overview of the concepts.  Don't trust anything in detaill4057d3528j\i7t2I1t0 218t2b