LAWS@SRI-AI.ARPA (03/11/85)
From: AIList Moderator Kenneth Laws <AIList-REQUEST@SRI-AI.ARPA>
AIList Digest Monday, 11 Mar 1985 Volume 3 : Issue 32
Today's Topics:
Bindings - Australasia,
Conference - IJCAI-87 Election and Site Selection &
Proposals Solicited for Sites for IJCAI-89,
Lab Description - Research on ICAI at ARI,
AI Literature - Stanford Library Acquisitions & Recent Articles,
Opinion - AI Aims,
Seminars - Japanese Research Environment (MIT) &
Synthesis In Design (CMU) &
Storing LISP Structures in a Database (IBM-SJ)
----------------------------------------------------------------------
Date: Sunday, 10 Mar 85 21:40:24 EST
From: stacey (martin stacey) @ cmu-psy-a
Subject: Australasia
I'd like to find out who is doing what sorts of AI and
cognitive science in Australia and New Zealand. If you are working
in Australia or New Zealand, or know of people doing AI there, please
send me pointers (names and departments).
Thanks in advance,
Martin Stacey
stacey@cmu-psy-a.arpa
------------------------------
Date: Sun, 10 Mar 85 17:59:00 est
From: bellcore!walker@Berkeley (Don Walker)
Subject: IJCAI-87 Election and Site Selection
IJCAI-87 Officer Election and Site Selection
The Trustees of the International Joint Conferences on Artificial
Intelligence, Inc. are pleased to announce that Alan Bundy, University
of Edinburgh, will be Conference Chair for IJCAI-87; John McDermott,
Carnegie-Mellon University, will be Program Chair; and Milan will be
the site, with Marco Somalvico of the University of Milan being
responsible for Local Arrangements. The conference will be held
23-29 August 1987 (Sunday through Saturday).
------------------------------
Date: Sun, 10 Mar 85 18:01:38 est
From: bellcore!walker@Berkeley (Don Walker)
Subject: Proposals solicited for sites for IJCAI-89
The site for IJCAI-89 will be selected at the IJCAI-85 in Los Angeles
this summer (18-24 August). Proposals--for North American locations
only (in accordance with the IJCAI practice of alternating between
North America and other parts of the world; IJCAI-87 will be held in
Milan, Italy)--should be sent by 1 August 1985 to Don Walker, IJCAII
Secretary-Treasurer, Bell Communications Research, 435 South Street,
Morristown, NJ 07960. Note that AAAI will cosponsor the conference
and that the AAAI Office will coordinate local arrangements activities
and support the local committee.
Proposals should respond to the following criteria, which were developed
by the IJCAII Trustees to govern site selection:
1. Local AI Group Support: strength of local AI activity; quality and
breadth of the proposed local arrangements group; potential beneficial
impact of an IJCAI on local activity.
2. Site Accessibility: ease of access for the international AI community
via air and train transportation; convenient access to social centers.
3. Conference Facilities: ability to accommodate 5,000-10,000 people,
with a hall for plenary sessions that can hold the full number and 5-6
rooms for 1,000-2,000 each.
4. Residences and Catering: a range of accommodations from dormitories
to good quality hotels in sufficient quantities and proximity to the
conference site; catering services for meals, breaks, banquets, and
receptions are required.
5. Site Attractiveness: pleasantness of surrounding environment; local
social and cultural attractions for attendees and families.
------------------------------
Date: 7 Mar 85 16:13:00 EST
From: psotka@ari-hq1
Reply-to: <psotka@ari-hq1>
Subject: Research on ICAI at ARI
The Army Research Institute has begun a program of research on
intelligent tutoring systems for application to Army training and
instruction in schools and in the field. The Army has an enormous
need for high quality training in diverse technical fields --
electronics, vehicle mechanics, radar, aviation -- as well as basic
cognitive skills and decision support systems. The initial research
focus is on Intelligent Computer Aided Instruction and related topics
(such as learning, knowledge representation, explanation systems,
mental models, natural language, and direct manipulation interfaces,
reactive environments, inspectable simulations, etc.). The
computational environment is well supported with a variety of micros
(Macs & PC_ATs) as well as 3 Xerox 1108s, 1 1100, and 2 Vaxes.
Currently four professionals (cognitive science, computer science, and
psychology) have sole access to the 4 Lisp machines. A significant
proportion of time is also spent on developing and monitoring research
contracts, making presentations to Army groups, and discussing needs
and the possibility of applying artificial intelligence techniques and
tools to the various problems Army schools and institutions have
defined. Anyone interested in obtaining more information about these
activities is encouraged to call, or send mail or Arpanet to:
Joseph Psotka,
Army Research Institute
5001 Eisenhower Avenue
Alexandria, Va. 22333-5600
(202)274-5540/5565
Psotka@ARI-HQ1
------------------------------
Date: Fri 8 Mar 85 21:27:33-PST
From: C.S./Math Library <LIBRARY@SU-SCORE.ARPA>
Subject: Latest Math & CS Library "New Reports List" posted on-line.
[Forwarded from the Stanford BBoard by Laws@SRI-AI.
This is a reminder that the online new reports list
is a gold mine of computer science citations -- you
just have to apply your own screening criteria to
separate the gold from the dross. -- KIL]
The latest Math & Computer Science Library "New Reports List" has been
posted on-line. The file is:
<LIBRARY>NEWTRS at SCORE
<LIBRARY>NEWTRS at SIERRA
NEWTRS[LIB,DOC] at SAIL
<CSD-REPORTS>NEWTRS at SUMEX
<CSM.LIBRARIAN>NEWTRS at TURING.
In case you miss a reports list, the old lists are being copied to
<LIBRARY>OLDTRS at SCORE
<LIBRARY>OLDTRS at SIERRA
<CSM.LIBRARIAN>OLDTRS at TURING
where they will be saved for about six months. [...]
The library receives technical reports from over a hundred universities
and other institutions. The current batch includes - among others -
reports from:
Carnegie-Mellon University. Department of Computer Science.
General Motors Corporation. Research Laboratories. Computer Science
Department.
Mathematisch Centrum. Centrum voor Wiskunde en Informatica.
Rutgers. Department of Computer Science.
Rutgers. Laboratory for Computer Science Research.
Universitaet Hamburg. Fachbereich Informatik.
U.K. National Physical Laboratory. Division of Information Technology
and Computing.
University of Arizona. Department of Computer Science.
University of California, Berkeley. Operations Research Center.
University of Edinburgh. Department of Artificial Intelligence.
University of Edinburgh. Department of Computer Science.
University of Illinois, Urbana-Champaign. Department of Computer
Science.
University of Saskatchewan. Department of Computational Science.
University of Waterloo. Department of Computer Science.
University of Wisconsin, Madison. Computer Sciences Department.
- Richard Manuck
Math & Computer Science Library
Building 380 - 4th Floor
LIBRARY at SCORE
------------------------------
Date: 6 Mar 1985 08:36-CST
From: leff%smu.csnet@csnet-relay.arpa
Subject: Recent Articles
Electronics Week, February 25, 1985
Hewlett Packard will be donating $50,000,000 worth of hardware and
software to various universities. These systems will be HP 9000 series
systems running HPRL. HPRL
- rule based reasoning systems and representational languages
- can call C, Fortran and Pascal
- runs on HP's portable, the Integral Personal Computer
- applications have been written in this system for semiconductor
fabrication, troubleshooting, office autoamtion, and natural
language understanding
- runs under UNIX
Electronic News, March 4, 1985 Volume 31 No. 1539 Page 1
As you may know, Texas Instruments's Explorer was based on the NuMachine
bus and machine design. They were selling a 68010 based version of this
as a high-end engineering workstation. They are not pursuiing that
market. This does not effect its operations in selling the TI Explorer
which is based on the same bus. They are also negotiating to sell
nonexclusive rights to the workstation to Lisp Machine.
IEEE Software March 1985 Page 101
Reprint of an article printed in the New York Times on efforts to use
Aymara, an ancient Peruvian Indian language, as an aid in natural
language translation efforts.
EDN Career News January 1985, page 1
Artificial Intelligence and the Military
ComputerWorld Page 47 February 18, 1985
"Semantics Muddling AI Issues"
International Journal of Man Machine Studies Volume 21 No 3 Sept 1984
An Economical Approach to Modeling Speech Recognition Accuracy 191
An Analysis of Formal Logic as Inference Method in Expert System 213
Users and Experts in the Document Retrieval System Model 245
An Experimental Expert System for Genetics 249
Angewandte Informatik No 11 Nov 84
Design of a Corporate Know-how Database 471
Electronics Week Volume 57 No 36
AI Transforms CAD/CAM to CIM J. R. Lineback
IEEE PAMI Volume 6, Number 6 November 84
Parallel Branch and Bound Formulations for AND/OR Tree Search 768
Computer Aided Design Volume 16 no 5 1985
Wirewrap Design Aid written in Prolog 249
Two algorithms for three-layer channel routing 264
Robotics and Artificial Intelligence
NATO Advanced SND/ES INSTITUTES, Series F
Computer and System Sciences Volume 11
Springer-Verlag 693 pages $62.50
Advances in Computer Vision and Image Processing Volume 1
Image Reconstruction from Incomplete Observations
T. S. Huang JAI Press $52.50
Technology Review Volume 88 No 1 January 85
Automated Factory-Vision and Reality
J. Blumenthal, J. Dray pp 28
The Automated Factory-View from Shop Floor
H. Shaiken pp 16
Research and Development Volume 26 No 10 October 1984
Artificial Perception gives super vision 142
Nauchno-Tekhinicheskaya Informatsiya
Seriya II - Informatsionnye Protsessy I Sistemy Volume 11 1984
Importance of the Expert Information System Developing in Informatics
R. S. Gilyarevskii 1
Some Semantic and Syntax Problems of the PSM Method of Automatic
Hypothesis Outcome O. M. Anshakov, D. P. Skvortsov, J. K. Finn 5
Nonheritibility of Empirical Contradicitons in DSM-methods and
Non-Monotonic Logic
M. I. Zabezhailo 14
Program Realization of Automatic Hypothesis Outcomes of DSM Methods
with Non-Single Element Criterion Sites
M. A. Mikheenkova, V. V. Avidon, S. A. Sukhanova
J. Computer System Science 29 (1984) no 1 8-35
Plaisted, David "Complete Problems in the first-order predicate
calculus"
------------------------------
Date: Wednesday, 6-Mar-85 12:18:03-GMT
From: GORDON JOLY (on ERCC DEC-10) <GCJ%edxa@ucl-cs.arpa>
Subject: AI-Aims
The goal of AI research seems, to me, to be to produce a `machine'
that will satisfy the Turing criterion. This is a total waste of
time and effort.
We are going through the second industrial revolution. (Wo)man's
(ie the human race's) muscle power was extended and (s)he is now
extending the mind by the use of computer as a tool (cf expert
systems). But the power of this revolution lies in the extension
of the thinking process and not its paltrey imitation of the mind
(cf my "chalk and cheese" entry on parallel thought processes).
Gordon Joly (with acknowledgment to Richard Winter).
gcj%edxa@ucl-cs.arpa
------------------------------
Date: 10 Mar 1985 14:04 EST (Sun)
From: "Daniel S. Weld" <WELD%MIT-OZ@MIT-MC.ARPA>
Subject: Seminar - Japanese Research Environment (MIT)
[Forwarded from the MIT bboard by SASW@MIT-MC.]
Revolving Seminar
March 12, 1985 4:00pm 8th floor playroom
Monica Strauss
Basic Research in Computer Science:
a perspective on the Japanese environment
This talk considers the structure of the computer science community in
Japan. I focus on a central case: the Electrotechnical Laboratory (ETL), a
government research lab under the Ministry of International Trade and
Industry (MITI). I contrast the apparent rigidity of the research
environment imposed by the formal structure with the flexibility of
informal practices. In particular, I consider (1) the importance of
personal contacts in interactions with outside organizations, (2) informal
solutions to budgeting problems, (3) research interactions with industry.
My master's thesis in the Japan Science and Technology Program at MIT is a
comparative case study of MIT and ETL. As an AI researcher, my purpose is
to gain a clear understanding of the conditions, supports, and pitfalls of
research interactions bridging the Japanese and American research
communities.
------------------------------
Date: 7 Mar 85 12:21:50 EST
From: Daniel.Rehak@CMU-RI-CIVE
Subject: Seminar - Synthesis In Design (CMU)
DESIGN RESEARCH CENTER
PANEL DISCUSSION
SYNTHESIS IN DESIGN: CHALLENGES IN ARTIFICIAL INTELLIGENCE
AND MATHEMATICAL PROGRAMMING
MODERATOR: Ignacio Grossmann, Chemical Engineering
SPEAKERS: Mary Lou Maher, Civil Engineering
Gary Powers, Chemical Engineering
Sarosh Talukdar, Intelligent Design Lab, DRC
Donald Thomas, Electrical and Computer Engineering
DATE: Monday, March 11, 1985
TIME: 1:30 - 3:00 PM
PLACE: Porter Hall 123B
Synthesis is one of the most important steps in design since it deals
with the problem on how to select and interconnect the components for
integrating a large scale system in an optimal or near optimal manner.
The major challenge for research in this area lies in the development of
systematic strategies and tools that can not only cope effectively with
large combinatorial problems, but that can also produce solutions that
are both innovative and of high quality. This seminar will present an
overview on the type of synthesis problems that arise in several engineering
disciplines and the approaches that have been used to tackle these problems.
The main objective in holding this seminar will be to examine the question
as to what extent common methodologies and tools can be shared among the
various engineering fields for the systematic synthesis of systems. Another
important objective will be to examine the scope and limitations that knowlege
based systems and algorithmic optimization methods have in solving these type
of problems. Specific examples on several synthesis applications will be
given.
------------------------------
Date: Wed, 6 Mar 85 14:49:36 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 - Storing LISP Structures in a Database (IBM-SJ)
[Forwarded from the SRI-AI bboard by Laws@SRI-AI.]
IBM San Jose Research Lab
5600 Cottle Road
San Jose, CA 95193
[...]
Tues., Mar. 12 Computer Science Seminar
10:00 A.M. STORING LISP STRUCTURES IN A DATABASE
2C-012 The paging problems that LISP programs with large
knowledge bases incur together with the features
databases provide, such as concurrency control and
crash recovery, make extending LISP to allow
persistent data desirable. Rather than building a
special purpose filing system, an interface to
commercial INGRES was constructed. Polymnia is a
package that has been designed, partially
implemented, and tested on a sizable LISP program
(PHRAN). The speed with which PHRAN executes is
faster with a persistent knowledge base than with a
virtual memory knowledge base when the manner of
knowledge base storage is the only differing factor.
M. Butler, University of California at Berkeley
Host: W. Plouffe (PLOUFFE@IBM-SJ)
Visitors, please arrive 15 minutes early. IBM is located on U.S.
101, about 7 miles south of Interstate 280. Exit at Monterey Road
(82) and turn right if you took 101 south (left for 101 north.)
Continue straight, ignoring the sign for 82, then follow signs for
Cottle Road. The Research Laboratory is IBM Building 028.
For more detailed directions, please phone the Research Lab
receptionist at (408) 256-3028.
------------------------------
End of AIList Digest
********************