Subject: From: AIList Moderator Kenneth Laws <AIList-REQUEST%sri-ai.arpa@CSNET-RELAY>

From: [email-masked]
Date: Fri, 20 Dec 85 02:05:30 est

Received: from sri-ai.arpa by CSNET-RELAY.ARPA id a018049; 18 Nov 85 3:42 EST
Date: Sun 17 Nov 1985 23:50-PST
Reply-to: AIList%sri-ai.arpa@CSNET-RELAY
US-Mail: SRI Int., 333 Ravenswood Ave., Menlo Park, CA  94025
Phone: (415) 859-6467
Subject: AIList Digest   V3 #171
To: AIList%sri-ai.arpa@CSNET-RELAY
Received: from rand-relay by vpi; Mon, 18 Nov 85 21:58 EST

AIList Digest            Monday, 18 Nov 1985      Volume 3 : Issue 171

Today's Topics:
  Report - Limits of Correctness in Computers (CSLI),
  Awards - 1984 Information Awards of NSF,
  Review - Summary of Spang Robinson Report,
  Reports - ICOT Tech Reports

----------------------------------------------------------------------

Date: Wed 13 Nov 85 17:05:26-PST
From: Emma Pease <[email-masked]>
Subject: Report - Limits of Correctness in Computers (CSLI)

      Report No. CSLI-85-36, ``Limits of Correctness in Computers'' by
   Brian Cantwell Smith, has just been published.  This report may be
   obtained by writing to David Brown, CSLI, Ventura Hall, Stanford, CA
   94305 or Brown@SU-CSLI.

------------------------------

Date: Sun, 10 Nov 85 18:00:11 est
From: Ed Fox <[email-masked]>
Subject: SIGIR Forum Fall 85 - List of 1984 Information Awards of NSF

          [Excerpted from the IRList digest by Laws@SRI-AI.]

                I. INFORMATION SCIENCE PROGRAM
Bolt Beranek & Newman
 User Goals as a Basis for an Intelligent System's Ability to Understand  Ill-
Formed Input--Weischedel, Ralph

Brandeis Univ.
 Information Structure of a Natural Language Lexicon--Jackendoff, Ray

Brown Univ.
 Cognitive Applications of Matrix Memory Models--Anderson, James A.

...

                            II. INFORMATION TECHNOLOGY

                          III. INFORMATION IMPACT PROGRAM

  [For the full 13K text of this IRList Digest, FTP file <AILIST>NSFIS.TXT
  from SRI-AI, or send a request to [email-masked].  -- KIL]

------------------------------

Date: 9 Nov 1985 12:23-CST
From: [email-masked]
Subject: Summary of Spang Robinson Report

FOCUS on MICRO Expert System tool kit

Estimated 1985 market at 7 million with 11,000 tool kits.
Sales figures:
  Human Edge Software's Expert Ease 1800 copies  (Jan - May)
  Expert Edge 426 copies (Jan - October)
  Expertintelligence 3000 copies
  Level Five Research Insight 1 and 2 1300 copies

Review of Symantec's Q&A and Paradoxes by ANSI, two AI products for
industry.

Reviews of the following Expert System tools including a nice
comparative table with prices, machines available on, units sold
and revenues from expert systems.

First Class: limited to 256 examples and 32 factors per
  knowledge base but knowledge bases can be chained.
Expert Ease: same limitations as firstclass
Wisdom PX: quantitative analysis
Wizdom XS: problem diagnostic
KDS: can handle 4000 rules and has dialog oriented user interface
TIMM: will infer an answer when the case does not exactly fit any of the
  examples entered.  Will report when case is not close enough to
  any example.  Will generate confidence factor.  Also will allow
  different experts to be integrated into the same expert system
RuleMaster: will allow user to create rule system with induction and
  then edit with a rule editor.

Rule Based Systems

PPE public domain system available for $20.00
MicroExpert for $49.95 (originally published in Byte but updated
  significantly)  $95.00
Insight1 from Level 5 Research
Insight2 from Level5 for $495.00.  Includes cyclical control and
  interfaces to Turbo Pascal and dBase II and dbaseIII, supports
  math and confidence systems
Exsys: suports math and confidence factors
Expert Edge: imports files, object hierarchy

High End Products
Personal Consultant from TI
M1 from Tecknowledge
KES: supports frames, production rules, Bayes Theorems and is written in C
Aion: checks for detached and redundant rules, has a Think Tank-like
  front end.

Neuron Expert: Runs on on Macintosh, allows user to print network giving
  relationship of all rules
Expertteach, includes Prolog 86, UO-Lisp and forward and backward
  inferencing engines in prolog, lisp, pascal and DBASE-II

VENTURE CAPITAL

interviews with Sprout Group and Mayfield Fund

NEWS section

Applied Expert Systems agreed to buy 1000 Xerox 1186 AI workstations;
  Applied Expert System markets PlanPower a personal financial planning
  system.  It will be distributing this system through Travelers
  Insurance system to independent financial planners
MAD Intelligent systems agreed to supply compatible workstations to
  the Philips group of companies, expected value: 15 million
Software A&E's KES now runs on the Tektronix 4404.
Migent Software has released ENRICH, The MEtods Expert, $595 on the IBM PC

Carnegie Group has delivered "Dispatcher" to Digital Equipment,
which dispatches order and controls material handling/conveyer for a
printed wire board assembly plant.

Discussion of Ford deal with Inference Corporation:

LIST of recent events and changes of bindings.

Review of Donald A. Waterman's "Guide to Expert Systems",
  "Market for Expert Systems

bibliography of recent articles on AI and the PC.

------------------------------

Date: Fri, 8 Nov 85 10:31:04 cst
From: Xu Yan ren <[email-masked]>
Subject: ICOT Tech Reports

.TS
box;
cb s s s s
c|c|c|c
n|ltw(1i)|ltw(3i)|ltw(1.5).
ICOT TECHNICAL REPORT
_
NO.     Author  Topic   Comment
_
002     S. Kunifuji et. T{
PROLOG and Relational Data Bases for Fifth Generation Computer system
T}
_
003     E.Y. Shapiro    T{
A Subset Concurrent PROLOG and Its Interpreter
T}
_
006     A. Takeuchi et. T{
Interprocess Communication in Concurrent PROLOG
T}
_
008     H. Hirakawa     T{
Chart Parsing in Concurrent PROLOG
T}
_
013     H. Nishikawa et.        T{
The Personal Sequential Inference Machine(PSI): Its Design Philosophy
and machine architecture
T}
_
016     M. Sato et.     T{
Qute: A PROLOG/LISP Type Language for Logic Programming
T}
_
017     T. Hikita       T{
Average Size of Turner's Translation to Combinator Programs
T}
_
018     H. Tamaki et.   T{
A Transformation System for Logic Programs which Preserves Equivalence
T}
_
019     H. Yasukawa     T{
LFG in PROLOG --Toward a formal system for representing grammatical relations--
T}
_
020     H. Hirakawa et. T{
Implementing an OR-Parallel Optimizing PROLOG system (POPS) in
Concurrent PROLOG
T}
_
024     K. Sugiyama et. T{
A Knowledge Representation System in PROLOG
T}
_
026     H. Yokota et.   T{
An Enhanced Inference mechanism for Generating Relational Algebra Queries
T}
_
027     H. Yasuura      T{
On the parallel complexity of Unification
T}
_
028     K. Sakai et.    T{
Incorporating Naive Negation into PROLOG
T}
_
029     K. Furukawa et. T{
Mandala: A Concurrent PROLOG Based Knowledge Programming Language/System
T}
_
030     H. Enomoto et.  T{
Paradigms of Knowledge Based Software System and Its Service Image
T}
_
033     N. Ito et.      T{
Parallel Inference Machine Based on the Data Flow Model
T}
_
034     E. Shapiro      T{
Systems programming in Concurrent PROLOG
T}
_
035     N. Ito et.      T{
Parallel PROLOG Machine Based on the Data Flow Model
T}
_
041     M. Aso  T{
Simulator of XP'S
T}
_
042     R. Onai et.     T{
An Approach to a Parallel Inference Machine Based on Control-Driven
and Data-Driven Mechanisms
T}
_
044     T. Chikayama et.        T{
ESP Reference Manual
T}
_
046     J. Tsuji et.    T{
Dialogue Management in the Personal Sequential Inference Machine (PSI)
T}
_
.TE
.TS
box;
cb s s s s
c|c|c|c
n|ltw(1i)|ltw(3i)|ltw(1.5).
ICOT TECHNICAL REPORT
_
NO.     Author  Topic   Comment
_
053     S. Shibayama et.        T{
A Relational Database Machine with Large Semiconducter Disk and Hardware
Relational Algebra Processor
T}
_
055     T. Hattori et.  T{
SIMPOS: An Operating System for a Personal PROLOG Machine PSI
T}
_
056     T. Hattori et.  T{
The Concept and Facilities of SIMPOS Supervisor
T}
_
057     S.Takagi et.    T{
Overall Design of SIMPOS (Sequential Inference Machine Programming and
Operating System)
T}
_
058     F. Maruykama et.        T{
PROLOG-Based Expert System for Logic Design
T}
_
059     T. Hattori et.  T{
The Concept and Facilities of SIMPOS File System
T}
_
060     T. Yokomori     T{
A Note on the Set Abstration in Logic Programming Language
T}
_
061     T. Kurokawa et. T{
Coordinator -- the Kernel of the Programming System for the Personal
Sequential Inference Machine (PSI)
T}
_
062     K. Sakai        T{
An Ordering for Term Rewriting Systems
T}
_
063     H. Sakai et.    T{
Design and Implementation of the Relational Database Engine
T}
_
064     S. Shibayama et.        T{
Query Processing Flow on RDBM Delta's Functionally-Distributed Architecture
T}
_
065     K. Ueda et.     T{
Efficient Stream/Array Processing in Logic Programming Language
T}
_
066     K. Iwata et.    T{
Design and Implementation of a Two-Way Merge-Sorter and its Application
to Relational Database Processing
T}
_
067     H. Enomoto et.  T{
Natural Language Based Software Development System Tell
T}
_
068     H. Enomoto et.  T{
Formal Specification and Verification for Concurrent Systems by Tell
T}
_
071     M. Sugimoto et. T{
Design concept for a Software Development Consultation System
T}
_
072     T. Ida et.      T{
Comparison of Closure Reduction and Combinatory Reduction Schemes
T}
_
074     N. Miyazaki et. T{
An Overview of Relational Database Machine Delta
T}
_
075     K. Taki et.     T{
Hardware Design and Implementation of the Personal Sequential Inference
Machine (PSI)
T}
_
076     K. Furukawa et. T{
Mandala: A Logic Based Knowledge Programming System
T}
_
084     K. Murakami et. T{
Architectures and Hardware Systems: Parallel Inference Machine and
Knowledge Base Machine
T}
_
.TE
.TS
box;
cb s s s s
c|c|c|c
n|ltw(1i)|ltw(3i)|ltw(1.5).
ICOT TECHNICAL REPORT
_
NO.     Author  Topic   Comment
_
086     S. Uchida et.   T{
Sequential Inference Machine: SIM Progress Report
T}
_
088     H. Sawamura et. T{
Recursive Unsolvability of Determinacy, Solvable Cases of Determinacy and
their Applications to PROLOG Opetimization
T}
_
089     T. Kakuta et.   T{
The Design and Implementation of Relational Database Machine Delta
T}
_
090     T. Miyazaki et. T{
A Sequential Implementation of Concurrent PROLOG based on the Shallow Binding
Scheme
T}
_
.TE

------------------------------

End of AIList Digest
********************