Page Numbers: Yes First Page: 1
Heading:

January 29, 1977 11:37 AM [IVY]<KRL>document>outline-brian

CONTENTS

Summary

Part I --- Introduction

1.Introduction to the Manual

Part II --- A First Pass through the System

2.An Overview of KRL-1

3.The Underlying Semantics

4.The Declarative Forms

5.Introduction to the Interpreter

6.Procedural Attachment

7.Worlds and Belief Systems

Part III --- Further Extensions

8.Collections

9.Abstraction and Inheritance

10.Quantification

11.MetaDescription

12.Worlds and Modelling

13.Interpretive Frameworks

14.Process specification

15.Implications

Part IV --- The Computational Environment

16.The Implementation of the Interpreter

17.The User’s Computational Environment

Appendices

A.Summary of KRL-1 Syntax

B.Summary of KRL-1 Semantics

C.Summary of the KRL-1 Interpreter

D.The Standard Units

Glossary

Index



Part I --- Introduction

1. Introduction to the Manual

A. What the manual is:

Both of the following (this is hard -- do we really think we can do it?):

a coherent presentation of KRL-1

(if dense and therefore non-introductory)

a reference manual

Several passes through the same countryside, more detailed each time.

For example, matching discussed in Chapters 2, 5, and 9

B. Its relationship to other documents

Brian’s thesis

(point out especially that Part III is a concise version -- necessary ground on which to base other discussions, but that the thesis will have a more extended discussion and go into more detail)

KRL-0 Overview

C. A guide to using the manual

What it contains:

an explanation of the parts

Pointers to Appendices, Glossary, Index, etc.

How to use it:

What to read for an introduction

What to read for an explanation of a new area

How to look things up you’ve forgotten

How to look things up you don’t know

How to find out more details about something you already know

Notational styles, etc.

variable definition

technical word definition, etc.

Part II --- A First Pass through the System

2. An Overview of KRL-1

(similar to the KRL-0 paper, except much briefer, no detailed syntax in this section, up to date, etc.)

(there will be a similar (identical?) chapter in Brian’s thesis)

A. Description as a metaphor for representation and reasoning

Knowledge as description

Partial description

Multiple description

Identification

Intensional description

B. The concepts underlying an active description system

Descriptions, entities, and beliefs

Conceptual systems and inference

Description and contextual meaning

C. Active Description Systems

A Description Interpreter

Conceptual meaning rather than structural form

An Interpreter driven by its own description

The basic interpretive functions

Creating

Describing

Finding

Comparing

Scheduling

D. Reasoning in a description system

Reasoning as a process of inference and activation

The interpretive context in reasoning

Search in a loosely coupled monotonic problem space

Modelling in the interpretation process

3. The Underlying Semantics

A. Representation Semantics

Representation as an act of faith

Representation vs. Semantics

The use of language

Description vs. meaning

B. An introduction to KRS-1

The four levels

The relationships between levels

Active description systems and meaning

C. MetaDescription

A Layer of description representing another layer

The meta layers and the semantic levels

The use of metaDescription in KRL-1

D. KRL-1 as a semantically grounded system

Language design on a conceptual base

KRS-1, KRL-1, and the KRL-1 Interpreter

"fundamental" vs. "primitive" vs. "standard"

The "Standard Units"

E. KRL-1 Semantics and the Interpreter

An interpreter driven by its own description

Interpretation by semantic modelling at the meta-level

The use of metaDescriptions in the interpretive process

Communication between declarative structures and the interpretive process (a foreshadowing of contingencies)

4. The Declarative Forms

(syntax stuff should be distributed through here, summarized in an Appendix)

A. Level 3 forms and level 2 structures

Read time and massage time

Two and a half dimensional syntax

B. Units and Slots

C. The types of description

Perspectives

CoReferences

Reflexives

Contingencies

Collections

D. Level 3 abbreviations

Functionals

Further Specification (mostly a forward pointer to chapter 8)

E. MetaDescriptions

The syntax of metadescriptions -- footnotes

The use of metaDescriptions

Contingent meanings

Level 3 translation notes

Procedural attachment (foward references mostly)

5. Introduction to the Interpreter

(stuff from matchspecs on overall stuff)

A. The structure of the interpreter

An interpretive framework based on semantics rather than structure

An interface between declarative representation and procedural specification.

LISP as the underlying procedural language

(including forward references to chapter 12)

B. Data structures in the interpreter

Semantic descriptions at the model level

Functional specification by description

Data types in KRL-1

(cf. note on data types at the end of <bsmith>interpreter.bravo)

Interpreter Records

(mostly forward refernces to chapter 9)

C. The reasoning process

The basic processes revisited

(more stuff from matshspecs -- in more detail)

Category Hierarchies

The five main interpretive functions

(cf. <bsmith>interpreter.bravo)

Creation

Description

Search

Comparison

Scheduling

6. Procedural Attachment

A. Processes and process descriptions

Procedure specification vs. process description

Interpretive functions and processes

B. System events and triggering

Description as a hook onto system events

Metaphors for procedural attachment

servants and demons,

traps and trigger

The Standard KRL-1 Triggers

(cf. <bsmith>systemevents.bravo)

C. Scheduling and Process Agendas

Multi-process agendas

Process Scheduling

Signalling

(cf. Mitch’s units and process stuff)

D. Interfacing with LISP

Interfacing protocols

Variable binding

LISP’S descriptor

trigger arguments

Evaluation

ValueOf functional

Time of Evaluation

7. Worlds and Belief Systems

A. Conceptual background

An introduction to worlds

Motivation

Definition

The use of worlds in modelling

An external situation -- the blocks world

An internal situation -- models of belief

The semantics of worlds

The relationships between different worlds

B. The formal mechanisms

The syntactic forms

Standard units for worlds

World Scope

World defaults in normal descriptions

Worlds and structural access

Syntactic forms for updating worlds

C. The uses of worlds

(largely discussion and forward references to chapter 11)

Temporal structures

Models of Belief

Interpretive Modelling

Part III --- Further Extensions

8. Collections

A. Simple Sets and Sequences

Forms for specifying sets and sequences

Standard Functionals for sets and sequences

Introductory semantics of sets and sequences

B. Collections as general partial orders

General descriptions of collections

Sets and Sequences as special cases

Internal relationships in collections

Set Mappings

ThisElement()

C. Collections and the KRL-1 Interpreter

Simple cases of sets and sequences

9. Abstraction and Inheritance

A. The Inheritance of Simple Descriptions

Mapping context and coreference context

Inheritance and the types of description

CoReference descriptions

Mapping descriptions

Reflexives

"Or" and "Not"

"Using"

Collections

The inheritance of metaDescriptions

The null description

B. Abstraction Hierarchies

The directionality of mapping descriptors

Examples and the use of "e.g."

Category Hierarchies

The use of "Or" and the use of "e.g."

Defaults and the "Perhaps" functional

C. The Inheritance and Use of Names

Further Specification

Clusters

Level 3 communication between processes

D. Viewpoints

Identification of viewpoint

Viewpoints as descriptions of descriptions

Viewpoint filters

10. Quantification

A. Simple Quantification Implicit in KRL-1

The hidden existential quantifier in intensional description

The hidden universal quantifier in mapping implications

B. More Complex Quantification

Quantification as contingent description

Interpretive modelling of quantified description

The dependencies of quantified description

Quantificational scope

The placement of quantifiers

C. Reflexive Relationships in Quantification

Individual dependecies vs. generic dependecies

The use of footnote references

11. MetaDescription

A. The Use of MetaDescription in KRL-1

For level 3 abbreviation declaration

Functional declaration

Further specification hierarchies

For description description

Viewpoint identification

Description context

For communication to the interpreter

Contingent descriptions

Description indexing

Prototype/Instance relationships

B. The Semantics of MetaDescription

Meta anchors and the representation of level 2

C. MetaDescription and Inheritance

"Indirect" descriptions

The inheritance of indirect descriptions

Indirect functional definition

D. MetaDescription and Indexing

Indexing and recognition

Standard indexing protocols

Indexing and Retrieval

12. Worlds and Modelling

A. Worlds and immediate changing descriptions

Change and "the current world"

Updating descriptions

Deleting and forgetting

Current Descriptions

B. The use of worlds to model general temporal structures

Reasoning about time sequences

Procedural frame implications

Ways of representing things which change

Associating frame implications with beliefs

Dynamic worlds, simulation, and current worlds

C. The use of worlds to model belief structures

D. The use of worlds in interpretive modelling

Modelling the interpreter’s modelling the user

Second level model layers

The exploration of hypotheses in the interpreter.

13. Interpretive Frameworks

A. Introduction to the notion of activation

Activation in the semantics

Conditions of activation in the interpretive functions

B. Activation records

Match process records etc.

14. Process specification

A. Resource limitation

B. Inference and access limitations

C. Interpretive specification

Result descriptions

Process descriptions

Partial results

activation record returns

Shared contexts

Comparative matches

Bindings and closures

15. Implications

A. Implications inherent in the declarative forms

Fundamental inference rules

Implications in co-refernce descriptions

The implications of mapping descriptions

B. The semantics of implications

The standard units for beliefs

C. Declarative implications

The syntax of implications

Variable binding and substitution

The "evaluation" of implications

The use of explicit implications in programming

Part IV --- The Computational Environment

16. The Implementation of the Interpreter

A. Implementation Philosophy

semantic based modelling

B. Efficiency and Bottoming Out in the Interpreter

(cf. <bobrow>compaction and compilation documents)

Access compiling

Simple cases

Structural Compaction

Discrimination Nets

Multiple response sets

Caching of active forms

C. Communication in KRL-1

Reading and Translating

Messages and Language

17. The User’s Computational Environment

(in some ways this chapter and the four appendices consistute a manual)

cf. all of David’s stuff

editing, etc.

loading, dumping, etc.

Appendices

A. Summary of KRL-1 Syntax

(basically the syntax document revised)

B. Summary of KRL-1 Semantics

The four levels, with a complete listing of the fundamental objects:

3: the structural and descriptive forms

2: anchors, and descriptions, and the description types

1: entities, beliefs, etc.

0: the things being represented

C. Summary of the KRL-1 Interpreter

Concise review of syntax, meaning (some), etc. of the basic processes in the interpreter

D. The Standard Units

divied up the way Terry started to do

Glossary of KRL-1 terms

Index (note that this is an index to the manual, and is separate from a glossary)