Page Numbers: Yes First Page: 1
Heading:

[IVY]<KRL>document>stray-forum-outline

Background and motivation

Language understanding

knowledge based systems

layers of knowledge <slide>

language-like representation

natural deduction

partial information

History

Cycle of implementation

KRL-0

test programs <slide>

KRL-1

Brian, David, Experts

Technical problems -- lots to chew on

Characteristics of Language

Two viewpoints -- AI threads it way inbetween

as a programming language

as a formal system

logic = systematic and complete but wrong computationally

procedural AI languages = ad hoc

Data structures <slide>

object oriented <slide>

cross between records, smalltalk, etc.

run-time use of class information

hierarchies with slots

multiple hierarchies

description oriented

intensional vs. extensional

partial information

multiple description

perspective vs. anchor vs. entity

relations as well

multiple anchoring

descriptor types

note on syntax <slides>

actual types <slides>

explicit memory locality control

clustering and redundancy

meta-recursive

form (footnotes)

uses <slide>

Processing <slide>

embedded in INTERLISP

multi-processing and agendas

primitives for data manipulation

procedural attachment

general notion of matching

mechanisms <slide>

engine

notion of levels, KRS

use of meta-description for procedure

access compiler

align framework

theory

resource limited

memory access control

procedural paramaterization -- signals

Future directions

engine

process description