LAWS@SRI-AI.ARPA (03/16/85)
From: AIList Moderator Kenneth Laws <AIList-REQUEST@SRI-AI.ARPA>
AIList Digest Saturday, 16 Mar 1985 Volume 3 : Issue 35
Today's Topics:
Literature - Recent Articles,
Seminars - The Berkeley PROLOG Machine (IBM-SJ) &
Tools for Conceptual Modeling (Toronto) &
Innate Linguistic Knowledge (UCB),
Conferences - Intelligent Information Retrieval &
ACM Northeast Regional Conference &
System Sciences Software Track
----------------------------------------------------------------------
Date: 13 Mar 1985 17:27-CST
From: leff%smu.csnet@csnet-relay.arpa
Subject: Recent Articles
Cybernetics: Theory and Applications Hemisphere, New York, N. Y. 1983
Donald C. Gause Gary Rogers Cybernetics and Artificial Intelligence 339-360
Ya Z. Tsypkin The theory of adaptive and learning systems 57-89
____________________________________________________________________________
Zh. Vychisl. Mat. i Mat. Fiz 24 (1984) no 9 1392-1401
I. V. Issev Design of pattern recognition and classification algorithms
by the covering method (in Russian)
____________________________________________________________________________
Information Sciences 33 (1984) no. 3 197-207
Rudolf Kruse Statistical Estimation and Linguistic Data
____________________________________________________________________________
Kexue Tongbao (English Ed.) 29 (1984) no 7 861-866
Xin Zhan Wu On the classification entropy criterion in pattern
recognition
____________________________________________________________________________
Figural Synthesis Erlbaum Hillsdale NJ 1984
David H. Foster Local and Global Computational Factors in Visual
Pattern Recogniton
____________________________________________________________________________
Journal Multivariate Analysis 15 (1984) no 2 147-163
Richard A. Olshen, Louis Gordon
Almost surely consistent nonparametric regression from recursive
parrtitioning schemes
____________________________________________________________________________
Raoro Inform. Theor. 18 (1984) no 3 191-208
J. P. Jouannaud H. Kirchner Constructing a smallest simplification ordering
____________________________________________________________________________
Studia Logica 42 (1983) no 4 443-451
J. A. Kalman Condensed detachment as a rule of inference
____________________________________________________________________________
Engineering Cybernetics 21 (1983) no 5 107-115
V. M. Sumarokov System Modelling of Information Structures of Data BAses
____________________________________________________________________________
Communications, Pure and Applied Math 37 (1984) no 6 815-848
Jacob T. Schwartz Micha Sharir On the Piano Movers' Problem V. The case
of a rod moving in three-dimensional space amidst polyhedral obstacles.
____________________________________________________________________________
Discrete and Applied Math 9 (1984) no 3 269-295
51
Walter Whitely, A correspondence between scene analysis and motions of
frameworks
____________________________________________________________________________
Engineering Costs and Production Economics Volume 8 No 3 Dec 15 1984
Two Heuristic Methods for Grouping Inventory Items Page 211
____________________________________________________________________________
Computer Decisions Volume 17 Number 1 jan 15 1985
Expert Systems Get Down to Business
A. Lampert 138
____________________________________________________________________________
Theoretical Computer Science Volume 34 NO 1-2 Nov 1985
T. Sato H. Tamaki Enumeration of Success Patterns in Logic Programs pp
227
____________________________________________________________________________
The Institute April 1985 Volume 9 Number 4
Page 8 "Optical Crossbar Switch to be Developed"
Work done on a 32 by 32 crossbar to implemented with optical switch
technology
Page 8 "VLSI called second-best for future architecture"
Discussion of various architectures in Connection Machines and Lisp
Machines.
Page 9 "Reddy calls for Design Library to Help Build 'superchips'"
Discussion of chip libraries and needs for special purpose computers
and chips in AI work
____________________________________________________________________________
Infoworld March 18, 1985 Volume 7, Issue 11
"Pathfinder Aims at Resale"
Pathfinder from KDS Corp of Wilmette has been announced which reads up
to 256,000 facts and converts them into a set of rules. Designed to
allow novices to devlop expert systems. Available on IBM PC with work
being done on Apple II and Macintosh versions. The Apple and Macintosh
versions will run the resulting expert system only and not be able to
create new expert systems.
____________________________________________________________________________
The Artificial Intelligence Report
Artificial Intelligence Publications
3600 West Bayshore Road
Palo Alto, CA 94303 USA (415)-424-1447
Volume 2 Number 1
Describes various AI work at SRI-International
Knowledge Based Systems: Prospector and HYDRO
Natural Language Processing
Planning Problem-Solving and Deduction: electromechanical system
assembly and disassembly planning, distributed AI
Image Processing Computer Vision
Distributed Data Management
Automatic Program Syunthesis
Inference Machine Architecture
SHAKEY: mobile robot
STRIPS
LIFER: programmable natural language system
TEAM: natural language and databased
QA4, QLISP, AI languages
LADDER: distributed data base access
MEDINQUIRY: medical patient management and clinical research
Robotics Lab
the problem of identifying objects in a jumble of parts
using multiple arms
arc welding
visual inspection
AI and the Military
expert system for loading military cargo planes AALPS
ADVISOR: system used by planes returning from missions
FLIREX: Flight rules expert system
SAMPL: mission planning
CHATTER: natural language system
Advanced Computer Systems Department
Systems Life Cycle Management, computer architecture, simulation,
Computer System Performance Prediction, Data Base system Design,
Office Automation System
feasibility studies of expert systems in monitoring earth-orbiting
spacecraft for malfunctions and planning of space missiONS
expert system for the design of consumer good packaging, loan
application checking
Financial Applications
International Bank Loan Evaluations, Commercial Loan Evaluation,
Financial Planning, Insurance Underwriting, Financial Product sales,
Insurance Claims Processing
SRI has developed a PC based expert system.
------------------------------
Date: Wed, 13 Mar 85 16:16:57 PST
From: IBM San Jose Research Laboratory Calendar
<calendar%ibm-sj.csnet@csnet-relay.arpa>
Reply-to: IBM-SJ Calendar <CALENDAR%ibm-sj.csnet@csnet-relay.arpa>
Subject: Seminar - The Berkeley PROLOG Machine (IBM-SJ)
[Excerpted from the IBM-SJ Calendar by Laws@SRI-AI.]
IBM San Jose Research Lab
5600 Cottle Road
San Jose, CA 95193
Wed., March 20 Computer Science Seminar
10:40 A.M. THE BERKELEY PROLOG MACHINE
Cafe. A The Berkeley Prolog Machine (PLM) is a co-processor
architecture designed for efficient execution of
Prolog programs. It is the first prototype of a
logic processor for our Aquarius heterogeneous MIMD
machine. Currently, it is attached to an NCR/32
system which provides the memory and I/O subsystem as
well as processing power for other operations not
suited to the functional unit of the PLM (e.g.,
floating point operations). This paper describes the
architecture of the PLM and some aspects of its
implementation. We conclude with an analysis of some
performance data obtained from a simulation of the design.
Prof. A. M. Despain, Computer Science Division,
University of California at Berkeley
Host: G. Langdon, Jr. (LANGDON@IBM-SJ)
------------------------------
Date: Fri, 15 Mar 85 13:19:09 est
From: Voula Vanneli <voula%toronto.csnet@csnet-relay.arpa>
Subject: Seminar - Tools for Conceptual Modeling (Toronto)
ARTIFICIAL INTELLIGENCE SEMINAR - Tuesday, March 19,
at 2 p.m., SF 3201
Hannu Kangassalo
University of Tampere, Finland
"Comic - A Project for Developing Tools for Conceptual
Modelling and Information Construction"
Abstract: The goal of the project is to develop concepts,
methods and software tools to support end users and data
administrators in their work for developing a conceptual
schema on a graphical workstation. A graphical language,
Concept D contains two sublanguages, one for describing
independent concept defninitions and one for describing the
conceptual schema.
The information given in the conceptual schema is stored
into the data base from which it can be analyzed and
manipulated for different purposes, e.g. for producing
a data base schema. The presentation gives also the
outline of the architecture of the comic-system which
is being developed at the University of Tampere.
------------------------------
Date: Fri, 15 Mar 85 15:27:07 pst
From: chertok%ucbcogsci@Berkeley (Paula Chertok)
Subject: Seminar - Innate Linguistic Knowledge (UCB)
BERKELEY COGNITIVE SCIENCE PROGRAM
Cognitive Science Seminar -- IDS 237B
TIME: Tuesday, March 19, 11:00 - 12:30
PLACE: 240 Bechtel Engineering Center
(followed by)
DISCUSSION: 12:30 - 1:30 in 200 Building T-4
SPEAKER: Janet Dean Fodor, University of Connecticut and
CSLI
TITLE: ``A Formal Theory of Innate Linguistic
Knowledge''
An infant must be innately provided with some sort of
representational medium in which to record what he observes
about his target language. It has occasionally been suggested
that the formal properties of this mental metalanguage could be
the source of universal properties of natural languages. This
is quite different from the standard (= substantive) approach,
which assumes that children are born with certain statements of
the metalanguage innately tagged as true.
I propose to take the formal approach seriously. That way
to do so seems to be to try for a theory which accounts for ALL
universals in the same way, i.e., solely on the basis of what
can and cannot be expressed in the metalanguage. The attempt
is very informative, regardless of whether it ultimately
succeeds or fails.
Success is by no means guaranteed, for the formal theory
overthrows many familiar assumptions. For example, it can be
shown to be incompatible (on standard assumptions about chil-
dren and their linguistic input) with the existence of any con-
straints on rule application or on derivational representa-
tions. All the work of distinguishing well-formed from ill-
formed sentences must be done by rules only. Constraints can
determine the shape of the rules, but cannot tidy up after them
if they overgenerate.
It is easiest to see how to set about formulating grammars
of this kind within the framework of GPSG, and it is encourag-
ing to find that a number of universals do fall out as conse-
quences of the GPSG formalism. But there are problems too.
Syntactic features, in particular, create headaches for learna-
bility.
------------------------------
Date: Wed, 13 Mar 85 09:25:52 est
From: rada@nlm-mcs (Roy Rada CSB)
Subject: Conference - Intelligent Information Retrieval
CALL FOR PAPERS
Session(s) on Intelligent Information Retrieval are
being organized for the upcoming "Expert Systems in Govern-
ment Conference". Papers are requested on any of a wide
variety of topics, such as adaptive document or query
description, knowledge-bases to guide document search, and
classification of documents via semantic parsing. The
Conference is not restricted to Government-related work. If
you are interested in submitting a paper or organizing a
session, please contact Roy Rada at
National Library of Medicine
Bethesda, MD 20209
phone 301-496-2475
ARPA net: Rada@NLM
Permission has been secured from the Editor Donald Kraft of
the Journal of the American Society of Information Science
(JASIS) to have the best papers considered for publication,
perhaps as a special issue.
ADDITIONAL INFORMATION FROM THE CONFERENCE FLIER
Expert Systems in Government Conference
October 23-25, 1985
THE CONFERENCE objective is to allow the developers and
implementers of expert systems in goverenment agencies to
exchange information and ideas first hand for the purpose of
improving the quality of existing and future expert systems
in the government sector. Artificial Intelligence (AI) has
recently been maturing so rapidly that interest in each of
its various facets, e.g., robotics, vision, natural
language, supercomputing, and expert systems, has acquired
an increasing following and cadre of practitioners. [...]
Additional information may be obtained from the Program
Chairman:
Dr. Kamal Karna
MITRE Corporation W852
1820 Dolley Madison Boulevard
McLean, Virginia 22102
Phone (703) 883-5866
ARPANET: Karna @ Mitre
-- Roy Rada
------------------------------
Date: 13 Mar 1985 10:38-EST
From: Brad Goodman <BGOODMAN@BBNG>
Subject: Conference - ACM Northeast Regional Conference
I am chairing the natural language session and
especially encourage people to submit papers in that area.
Thanks. -Brad Goodman
CALL FOR PAPERS
SECOND ANNUAL ACM NORTHEAST REGIONAL CONFERENCE
"Integrating the Information Workplace:
the Key to Productivity"
28-30 October 1985
Sheraton-Tara Hotel
Framingham, Mass.
and
The Computer Museum
Boston, Mass.
The conference sessions are grouped into tracks corresponding to major areas
of interest in the computer field. Papers are solicited for the Conference's
Artificial Intelligence Track. The Track's program will emphasize "real world"
approaches and applications of AI.
Topics of interest include:
- Expert Systems
- Natural Language
- Man-Machine Interface
- Tools/Environment
- A.I. Hardware
- Robotics and Vision
Papers are invited. Two copies of an abstract (maximum 500 words) should be
submitted for review by April 1 to the Program Chairman, ACM Northeast Regional
Conference, P.O. Box 499, Sharon, MA 02067. Three copies of the final paper,
in camera-ready form, should be sent by July 1, 1985 to Dr. David S. Prerau,
Track Chairman, Artificial Intelligence Track, ACM Northeast Regional
Conference, GTE Laboratories Inc., 40 Sylvan Road, Waltham, MA. 02254.
For additional information on the Conference, write:
ACM Northeast Regional Conference
P.O. Box 499
Sharon, MA. 02067
------------------------------
Date: Mon, 11 Mar 85 07:46:44 EST
From: "Bruce D. Shriver" <shriver.yktvmv%ibm-sj.csnet@csnet-relay.arpa>
Subject: Conference - System Sciences Software Track, Revised
CALL FOR: Papers, Referees, Session Coordinators, Task Forces
=============================================================
SOFTWARE TRACK of the Hawaii International Conference on System Sciences
========================================================================
HICSS-19 is the nineteenth in a series of conferences devoted to advances
in information and system sciences. The conference will encompass develop-
ments theory and practice in the areas of systems architecture, software,
decision support systems, and knowledge-based systems. The conference is
sponsored by the University of Hawaii and the University of Southwestern
Louisiana in cooperation with the ACM and the IEEE Computer Society. It
will be held on Jan. 8-10, 1986 in Honolulu, Hawaii. Papers, referees,
and session coordinators are solicited in the following areas:
Software Design Tools, Techniques, and Environments
Models of System and Program Behavior
Testing, Verification, and Validation
Professional Workstation Environments
Alternative Language Paradigms
Reuseability in Design and Implementation
Knowledge-Based Systems Software
Algorithm Analysis and Animation
Visual Languages
Authors please submit 250 word abstracts by May 1, 1985. Session
and Task Force Coordinators should submit a 350 word proposal for
the session or task force by Apr. 1, 1985. Referees should submit a
list of the topics and the number of papers they are willing to review
May 15, 1985. Authors should submit six (6) copies of the full paper
(not to exceed 26 double-spaced pages including diagrams and references)
by July 5, 1985 directly to:
Bruce D. Shriver
HICSS-19 Software Track Coordinator
IBM T. J. Watson Research Center
PO Box 218, Route 134
Yorktown Heights, NY 10598
(914) 945-1664
compmail+: b.shriver
csnet: shriver.yktvmv@ibm-sj
------------------------------
End of AIList Digest
********************