Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 286
AIList Digest Saturday, 19 Dec 1987 Volume 5 : Issue 286
Today's Topics:
Seminars - Practical Reasoning and Unstructured Work (BBN) &
Distributing Deductions to Multiple Processors (SRI) &
Matrix Proof Methods for First Order Logics (SRI),
Conferences - Request for AAAI-88 Workshop Proposals &
AAAAIC88 Aerospace Applications of AI &
Computers and Law &
3rd CAD/CAM Robotics and Factories of the Future
----------------------------------------------------------------------
Date: Wed 9 Dec 87 08:33:12-EST
From: Dori Wells <DWELLS@G.BBN.COM>
Subject: Seminar - Practical Reasoning and Unstructured Work (BBN)
BBN Science Development Program
Language And Cognition Seminar
ISSUES IN THE STUDY OF PRACTICAL REASONING:
DESIGNING COMPUTER SUPPORT FOR
"UNSTRUCTURED WORK"
Constance Perin
Sloan School of Management
BBN Laboratories Inc.
10 Moulton Street
Large Conference Room, 2nd Floor
10:00 a.m., Wednesday, December 9, 1987
Abstract: To develop computer applications that are relevant to
nonroutine, relatively unstructured work processes requires
descriptions of them in terms of the rational, irrational, and
nonrational thought they employ. Deriving structures from the
particularities of these tasks and from the relationships among tasks
is one representational problem which needs to be addressed in
designing computer support for such tasks. Another is how to
acknowledge the influence of contexts on tasks. A third problem is
how to decrease the probability of miscommunication and increase that
of shared interpretations in complex organizations. The perspectives
of discourse analysis, semantic analysis, and figurative language
analysis seem to be appropriate to this set of questions. In this
talk, I will discuss how these types of observation and analysis might
be employed in designing research methods appropriate to knowledge
acquisition for tasks in unstructured work domains.
------------------------------
Date: Thu, 10 Dec 87 15:38:13 PST
From: Amy Lansky <lansky@venice.ai.sri.com>
Subject: Seminar - Distributing Deductions to Multiple Processors
(SRI)
DISTRIBUTING BACKWARD-CHAINING DEDUCTIONS TO MULTIPLE PROCESSORS
Vineet Singh (VSINGH@SPAR-20.ARPA)
Schlumberger Palo Alto Research
11:00 AM, MONDAY, December 14
SRI International, Building E, Room EJ228
This talk presents a parallel execution model called PM for
backward-chaining deduction with horn clauses. The target class of
multiprocessors for this work has the following properties: (1) there
are a finite number of MIMD processors; (2) each processor has a
finite amount of local memory; (3) there is no global memory; (4)
processors can communicate only by sending messages to each other; (5)
message delay is a function of the amount of data in the message and
the distance between source and destination; (6) each processor can
perform backward-chaining deductions based on the subset of the
program that it contains. For this multiprocessor class, PM can
exploit the most parallelism among existing execution models that use
data-driven control. In particular, PM can exploit or-parallelism,
and-parallelism, and pipelining.
One problem area that PM addresses is the design of a resource
allocator to map the parallel processes to hardware resources for
processing, storage, and communication. The allocation strategy
proposed is for use at compile-time (as opposed to run-time) and is
application-independent and multiprocessor-independent. This strategy
works subject to two restrictions. First, the type of
backward-chaining deduction is restricted. In particular, no
recursive clauses are allowed, unit clauses must be ground, and
certain probabilistic uniformity and independence assumptions must
apply. Second, a partitioning of the database is assumed to be given.
The allocator consists of an initial allocation phase followed by a
local minimization phase. In the initial allocation phase, database
partitions are allocated to processors one at a time using a greedy
algorithm. The local minimization phase consists of a sequence of
cost-reducing reallocations of partitions to neighboring processors.
Considerable speedups are obtained by using this allocation strategy.
These speedups compare favorably with an unreachable upper bound and
speedups obtained using random allocations.
------------------------------
Date: Wed, 16 Dec 87 13:09:25 PST
From: Amy Lansky <lansky@venice.ai.sri.com>
Subject: Seminar - Matrix Proof Methods for First Order Logics (SRI)
MATRIX PROOF METHODS FOR FIRST ORDER LOGICS
Lincoln A. Wallen (LW@SALLY.UTEXAS.EDU)
Dept. of Computer Sciences, Univ. of Texas at Austin
11:00 AM, MONDAY, December 21
SRI International, Building E, Room EJ228
We present matrix-based proof methods for classical, modal, and
intuitionistic first order logics. The methods are designed to
facilitate automated proof search and, as such, represent a
comprehensive extension of resolution-style techniques to modal and
intuitionistic logics. We emphasise how the matrix methods arise from
an analysis of the structure of Gentzen sequent calculi. This
suggests a general method for obtaining efficient proof systems for
other logics of interest to Computing Science and Artificial
Intelligence.
VISITORS: Please arrive 5 minutes early so that you can be escorted up
from the E-building receptionist's desk. Thanks!
------------------------------
Date: Fri, 18 Dec 87 08:46:53 EST
From: Joseph L. Katz. <katz@mitre-bedford.ARPA>
Subject: Conference - Request for AAAI-88 Workshop Proposals
AAAI-88 Workshops:
Request for Proposals
The AAAI-88 Program Committee invites proposals for the Workshop Program of
the Seventh National Conference on Artificial Intelligence (AAAI-88), to be
held at Saint Paul, Minn. from August 21, 1988 to August 26, 1988. Gathering
in an informal setting, workshop participants will have the opportunity to
meet and discuss issues with a selected focus---providing for active exchange
among researchers and practioners on topics of mutual interest. Members from
all segments of the AI community are encouraged to submit workshop proposals
for review.
To encourage interaction and a broad exchange of ideas, the workshops will be
kept small---preferably under 35 participants. Attendance should be limited
to active participants only. The format of workshop presentations will be
determined by the organizers of the workshop, but ample time must be allotted
for general discussion. Workshops can range in length from two hours to two
days, but most workshops will last a half day or a full day.
Proposals for workshops should be between 1 and 2 pages in length, and
should contain:
1/ a brief description the workshop identifying specific issues that will be
focused on.
2/ a discussion of why the workshop would be of interest at this time,
3/ the names and addresses of the organizing committee, preferably 3 or 4
people not all at the same site,
4/ a list of several potential participants, and
5/ a proposed schedule.
Workshop proposals should be submitted as soon as possible, but no later
than 1 February 1988. Proposals will be reviewed as they are received and
resources allocated as workshops are approved. Organizers will be notified
of the committee's decision no later than 15 February 1988.
Workshop organizers will be responsible for:
1/ producing a Call for Participation in the workshop, which will be mailed
to AAAI members by AAAI,
2/ reviewing requests to participate in the workshop, and determining the
workshop participants,
3/ scheduling the activities of the workshop, and
4/ preparing a review of the workshop, which will be printed in the AI
Magazine.
AAAI will provide logistical support, will provide a meeting place for
the workshop, and, in conjunction with the organizers, will determine the
date and time of the workshop.
Please submit your workshop proposals, and enquiries concerning workshops,
to:
Joseph Katz
MITRE Corporation
MS L203
Burlington Road
Bedford, MA 01730
(617) 271 5200
or
Katz@Mitre-Bedford.ARPA
------------------------------
Date: 7 Dec 87 10:01:00 EDT
From: "ETD2::WILSONJ" <wilsonj%etd2.decnet@afwal-aaa.arpa>
Reply-to: "ETD2::WILSONJ" <wilsonj%etd2.decnet@afwal-aaa.arpa>
Subject: Conference - AAAAIC88 Aerospace Applications of AI
AAAIC88 CALL FOR PAPERS
AEROSPACE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE 1988
With Neural Networks Aerospace Applications
Special Interest Sessions
Stouffer's Hotel, Dayton, OH, October 25-27, 1988
Particulars - Tutorials will be held on 24 Oct 88. Workshops will be held on
28 Oct 88. There will be exhibits by AI companies and related industries as
well as product familiarization sessions. There will be up to 18 technical
sessions in 5 half-day periods, luncheon speakers and a banquet.
The 4th Aerospace Applications of Artificial Intelligence Conference will
investigate a wide range of topics with heavy emphasis this year on neural
network applications in aerospace. Topic areas for which timely, original,
technical papers are solicited include:
Integrating Neural Networks and Knowledge Processing with Neural Nets
Expert Systems Robotics
Neural Networks and Signal Processing Data Fusion/Sensor Fusion
Machine Learning, Cognition & the Combinatorial Optimization for
Cockpit Scheduling and Resource Control
Machine Vision & Avionics Applications Natural Language Recognition and
Neural Networks and Man-Machine Synthesis
Interface Issues Self-Organization in Avionics
Neural Network Development Tools Applied Adaptive-Resonance
Applied Biological Models Cooperative and Competitive Network
Parallel Processing & Neural Networks Dynamics in Aerospace
Automatic Target Recognition Learning Theory and Techniques
Back Propagation with Momentum, Simulation and Implementation of
Shared Weights or Recurrent Neural Networks
Network Architectures Technology - Microchips, Optics, etc.
Expert System Development Tools Applications of Expert Systems in
Aerospace Scheduling Manufacturing
Operational and Maintenance Issues Design Automation
Using Expert Systems Data Management
Real Time Expert Systems Acquisition Management
Knowledge Base Simulation Verification and Validation of ES
Advanced Problem Solving Techniques Diagnostics and Fault Isolation
ABSTRACT DEADLINE : 26 Feb 88
Authors are invited to submit abstracts of 500 words in any of the above topic
areas. Please avoid acronyms or abbreviations in the title of the paper. A
short biographical sketch of the author(s) to include citizenship, mailing
address and telephone number must be included with the abstract. Final
manuscripts for papers are due 19 Aug 88.
James R. Johnson
Send abstracts to: AFWAL/AAOR
WPAFB, OH 45433
Sponsored by Dayton SIGART and the Association of Computing Machinery.
------------------------------
Date: Fri 18 Dec 87 19:34:50-PST
From: ELIOT@ECLA.USC.EDU
Subject: Conference - Computers and Law
CONFERENCE NOTICE
International Conference on Computers and Law
Dates: February 8-10, 1988
Location: The Miramar Sheraton Hotel, Santa Monica, Ca.
Purpose:
This Conference will bring together legal experts, computer
users, computer product developers, buyers/sellers of computers,
and related interested parties in order to explore common legal
and business problems related to all areas of computing.
Topics:
Emerging Technologies such as Artificial Intelligence and Expert
Systems, Protection and Litigation of Intellectual Property
Rights, Independent Contractor Relationships, Information Systems
Crimes, Malpractice Potential and Prevention, Computers and
Criminal Justice, and additonal topics.
Sponsors:
IFIP Technical Committee on Computers and Society, Law and
Technology Section of the Los Angeles County Bar Association,
Computer Law Section of the San Francisco Bar Association, High
Technology Exchange Inc., Irell & Manella Attorneys at Law,
Laventhol & Horwath Management Consultants, Pactific Bell, and
Peter Norton Computing Inc.
Conference Fees:
Cost is $395.00 until January 8, 1988, and $495.00 thereafter.
Send registration fee made out to "ICCL88" either by check or
money order to Michael Krieger (address below). Attendees are
responsible for obtaining their own hotel reservations, contact
the Miramar Sheraton Hotel at (213) 394-3731, mention the
Conference rates of $110/night for single and $125/night for a
double.
Additional Information:
For additional information and a Conference brochure, contact the
Conference Chair:
Michael M. Krieger
c/o ICCL88
P.O. Box 24619
Los Angeles, Ca. 90024.
Krieger may be reached by phone at (213) 208-2461.
Electronic Mail:
As a courtesy to the Conference, Dr. Eliot of the University of
Southern California has agreed to assist interested attendees via
electronic mail at ELIOT@ECLA.USC.EDU on the Arpanet. He can
help answer limited questions about the Conference.
------------------------------
Date: 16 Dec 87 18:14:18 GMT
From: siemens!liu@princeton.edu (Peiya Liu)
Subject: Conference - 3rd CAD/CAM Robotics and Factories of the Future
Call for Papers
Third International Conference on CAD/CAM Automation
Robotics and Factories of the Future
Southfield Hilton, Southfield, MI
August 14-17, 1988
The main objective of this conference is to bring together researchers
and practitioners from government, industries, and academia interested
in the multidisciplinary and interorganizational productivity aspects
of advanced manufacturing systems utilizing CAD/CAM, CAE, CIM, Parametric
Technology, AI, Robotics, Factory of Future, AGV technology, etc.,
and to address productivity enhancement issues of other hybrid automated
systems that combine machine skills and human intelligence in areas
of application both manufacturing (aerospace, automotive, civil,
electrical, mechanical, industrial, computer, chemical, etc.) and
non-manufacturing (such as forestry, mining, service and leisure,
process industry, medicine and rehabilitation).
Papers are invited for the section on AI in Manufacturing and Robotics
of The Third International Conference on CAD/CAM Automation, Robotics and
Factories of the Future(CAR & FOF). Topics of interest include, but are
not limited to, the following artificial intellgience areas:
Manufacturing Workcell Diagnosis, Process Planning, Robot Motion Planning,
Scheduling, Knowledge Representation of Workcells, Sensor-based Programming,
Vision, and Object Representation.
Deadline: Three copies of an extended abstract should be sent to the section
organizer at the address given below. Each copy of the extended
abstract should contain the title of the paper, full name(s) and
addresses of all authors, objectives, methods and significance of
the reported results. The closing date for receipt of abstracts is
February 1, 1988. Authors will be notified of acceptance by
March 15, 1988. Camera-ready manuscript will be due by April 15, 1988.
The section organizer: Dr. Peiya Liu, Siemens Research and Technology Labs,
105 College Road East, Princeton, NJ 08540. Csnet: liu@siemens.com,
Tel:(609)734-3349. The conference general chairman: Dr. Biren Prasad,
Electronic Data Systems, EDS Pinehurst #201, 1400 North Woodward Ave,
Bloomfield Hills, Michigan 48013, USA. General information inquires may be
directed to (313)645-4714.
Publication: Manuscripts of full length papers accepted and presented
at the conference will be reviewed and published in the Conference Proceedings
by Springer-Verlag, Berlin. Selected papers could be reviewed and published
in one of the relevant journals: Journal of Intelligent Systems and Machines
(IMPACT); International Journal of Vehicle Design: Int. Journal of
Technology Management: Int. Journal of Materials and Product Technology;
Advances in Engineering Software; Engineering Analysis; Microsoftware
for Engineers; Int. Journal of Robotics and Computer Integrated Manufacturing;
and Int. Journal of Computer Applications in Technology.
------------------------------
End of AIList Digest
********************
