Of* 2>?lH>l,+>l AewM-y Vie V U- - Stackssk473gg2599/sk473... · 2015-10-24 · tty SPtttU...

Preview:

Citation preview

tty

SPtttU

Of* 2>?lH>l,+>l A"ewM-y Vie VU-

November 21, 1978

Handbook Status

Progress: I have now recieved first drafts of Applications andRepresentaion, and a second draft of Speech! Here is what everybody isworking on:

Jim Bennett

completed first draft of Applications chapter overviewworking on final draft of Applications chapter

$YT<-

#"*£**" ft**l*-^Steves Tappel & Westfold

completed first drafts of historical overview and LISPworking on second drafts and comparitive overviewpossible work on PLANNER/CONNI VER

Jim Davidson

working on first draft of procedural repsworking on second draft of production systemssecond drafts of Logic and Analogic Reps, articlesgeneral work on Representation Chapterhelp with AI Langs Chapter

Bob Elschlager - AP W * &** "**■ *~Completed first drafts of 2 of 5 "in house" articlesContributions from 5 or 6 "guest authors" promised

Paul Cohen - IPP

completed first draft of chapter overviewcompleted first drafts of

GPS, Guillian,

LNRcontribution from Anderson pending

Anne Gardner

second draft of semantic primitives articlesmall fixes to Searchfinal pass through NL

Avron

working on 2nd drafts of Rep overviewsgeneral work on fixing up rep chapterwork on drafts of App l icat ionsi Speech Chaptersfinal pass through NLIntroduction to the Handbookwork on drafts of AI Langs, AP Chapters

)

*ty

Nov 21 1978

App l icat ions

name status ht 'd final

XI A/OVERVIEWX IB 1 /CHEMISTRY-OVERVIEWXIB2/ANALYSIS/OVEVIEWXIB3A/DENDRALXIB3B/CHEMISTRY-MISCXIB3C/META-DENDRALXIB4/CRYSALISXIBS/SYNTHESISXICI /MEDICAL-OVERVIEWXIC2/MYCINXIC3/CASNETXIC4/INTERNISTXICS/PIPXIC6/DIGITALISXIC7/IRISXIDi/MACSYMAXID2/AMXIEIA/EDUCATION-HISTORYXIEI B /EDUCATION-ISSUESXIE2/SCHOLARXIE3/SOPHIEXIE4/WESTXIES/WUMPUSXIE6/BUGGYXIE7/EXCHECKX IFI /SR I-CONSULTANTXIF2/PROSPECTORXIF3/RITAX IF4/ INFORMATI ON-RETR I EVAL

first draft complete - Jim B.done donedone donedone donedone donedone donedone donedone donedone donedone donedone donedone donedone donedone donedone done

waiting for second draft - Geneserethawaiting Lenat - eliminate?

done donedone donedone donedone donedone donedone donedone done

second draft - font stuff and htdone donedone donedone donedone done

Outstanding issues:

Acknowledgements within articles (e.g., PROSPECTOR)about grants and people.

Figures from copyrighted sources (e.g., CRYSALIS edm>

Bibliography: needs page numbers etc. for some references and minorEd iting h. t.

Usual PUB stuff needs doing — figures, stoptext's, etc.

i*LCir£CKx^vr^py^ - "P^iJ $tircn, nutting /btp^z~fa(112 1/H. - /v./9-^i /HindS,fb^y - Sdio iA-^piS^.0 C Ml*> S

1

<PCQHEN>IPPPROGRESS. i 3 Tue 21-Nov-78 11:21AMR

Progress on IPP

1. Introduction. Short article which we may not include giving thebasics of production systems and semantic nets. NOT WRITTEN.

2. Overview. Five short discussions serving to delimit the domain ofIPP. An "issues" article. FIRST DRAFT.

3. Guillian article. Needs discussion of

Smith,

et al, and Collins &Quillian reaction time experiments, otherwise: FIRST DRAFT.

4. GPS article. FIRST DRAFT.

5. LNR article. FIRST DRAFT (by Thanksgiving)

6. HAM-ACT. Promised by Anderson.

7. EPAM article. FIRST DRAFT from Jim Bennett.

8. Belief-systems article. FIRST DRAFT from Jim Bennett.

9. Story-grammar articlecorrespondent.

An "optional" from a southern

>

P£QDursi- - 2>tt. */

Tentative Outline

VII. Automatic Programming

A Overview. This article will explain the basic ideaof AP, i.e. the goals, problems, trends, and issues,by covering the historical develpment of the field.A "glossary" of terms with technical meanings willbe incorporated.

Elsch lager

Techiques for program specification. A 5-page overview iscovering the main ideas and pointing to the principalexample systems using the various specification methods: 4^Formal I/O predicates, examples, traces, natural language, i^,J>interactive dialogue.

Ist draft" B.

* C. "Approaches" to AP. Featuring theorem proving, problemsolving, deduction, knowledge engineering, and inductionapproaches. This article will give brief descriptions ofthese approaches, with pointers to other articles (below)

and to the literature.

Ist draft

D. Systems

\l. Examples - Hardy,

Shaw,

or Summers

Ip.. Traces - Biermann

Elsch lager

Elsch lager

3. Manna & Waldinger - DEDALUS Wald inger

4. Barstow - PECOS Barstow

5. Rich & Shrobe - Programmer's Apprentice, j D oj&n»j Rich

6. PSI - Green. Should there be separate article's onthe subsystems by Kant (program optimi zaton > ,McCune (program model building), etc.?

Elschalger

Bal zer7. SAFE - Balzer

8. Protosystem-1 - Ruth. Ruth

$fciD»^<\. lh>La~J

"i■J

Progress

November 21, 1978

Representation

Artic le Author Status Work in

Intro Avron 2nd draft

2nd draft

Ist draft

2nd draft

Ist draft

DONE

Survey Avron Avron

Jim D

Avron

Jim D

Jim D

Anne

Logic Bob F.

Sem. Nets Doug A.

Prod. Systems Jim D.

Procedural Jim D.Jim D.

Sem. Prim. Anne Ist draft

Ist draft

Ist draft

Frames Jim B. Avron

Jim DAnalogical Jim D.

Tw4itAip4' [

Recommended