AIList-REQUEST@SRI-AI.ARPA (AIList Moderator Kenneth Laws) (11/18/85)
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 <Emma@SU-CSLI.ARPA>
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 <fox%vpi.csnet@CSNET-RELAY.ARPA>
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 AIList-Request@SRI-AI.ARPA. -- KIL]
------------------------------
Date: 9 Nov 1985 12:23-CST
From: leff%smu.csnet@CSNET-RELAY.ARPA
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 <xu%smu.csnet@CSNET-RELAY.ARPA>
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
********************