Copy Link
Add to Bookmark
Report
AIList Digest Volume 6 Issue 064
AIList Digest Tuesday, 12 Apr 1988 Volume 6 : Issue 64
Today's Topics:
Seminars - Modules and Lexical Scoping (Unisys) &
Visual Indexing (SUNY) &
Representation Design for Problem Solving (BBN) &
Aquarius Multiprocesor Architectures (SRI),
Conferences - ICNN-88 Deadline &
Machine Learning &
Workshop on Explanation &
AAAI-88 Workshop on AI and Hypertext &
Workshop on Case-Based Reasoning at AAAI-88
----------------------------------------------------------------------
Date: Mon, 4 Apr 88 20:40:07 EDT
From: finin@PRC.Unisys.COM
Subject: Seminar - Modules and Lexical Scoping (Unisys)
AI SEMINAR
UNISYS PAOLI RESEARCH CENTER
Providing Modules and Lexical Scoping in Logic Programming
Dale Miller
Computer and Information Science
University of Pennsylvania
Philadelphia, PA 19104
A first-order extension of Horn clauses, called first-order hereditary
Harrop formulas, possesses a meta theory which suggests that it would
make a suitable foundations for logic programming. Hereditrary Harrop
formulas extended the syntax of Horn clauses by permitting
conjunctions, disjunctions, implications, and both existential and
universal quantifiers into queries and the bodies of program clauses.
A simple non-deterministic theorem prover for these formulas is known
to be complete with respect to intuitionistic logic. This theorem
prover can also be viewed as an interpreter. We shall outline how this
extended language provides the logic programming paradigm with a
natural notion of module and lexical scoping of constants.
2:00 pm Wednesday, April 6
Unisys Paloi Research Center
Route 252 and Central Ave.
Paoli PA 19311
-- non-Unisys visitors who are interested in attending should --
-- send email to finin@prc.unisys.com or call 215-648-7446 --
------------------------------
Date: Fri, 8 Apr 88 08:46:18 EDT
From: rapaport@cs.Buffalo.EDU (William J. Rapaport)
Subject: Seminar - Visual Indexing (SUNY)
STATE UNIVERSITY OF NEW YORK AT BUFFALO
The Steering Committee of the
GRADUATE STUDIES AND RESEARCH INITIATIVE IN
COGNITIVE AND LINGUISTIC SCIENCES
PRESENTS
ZENON PYLYSHYN
Center for Cognitive Science
University of Western Ontario
ENCODING "HERE" AND "THERE" IN THE VISUAL FIELD:
A Sketch of the FINST Indexing Hypothesis and Its Implications
I introduce a distinction between encoding the location of a feature
within some frame of reference, and individuating or indexing a feature
so later processes can refer to and access it. A resource-limited
indexing mechanism called a FINST is posited for this purpose. FINSTs
have the property that they index features in a way that is (in most
cases) transparent to their retinal location, and hence "point to" scene
locations. The basic assumption is that no operations upon sets of
features can occur unless all the features are first FINSTed.
A number of implications of this hypothesis will be explored in this
talk, including its relevance to phenomena such as the spatial stability
of visual percepts, the ability to track several independently moving
targets in parallel, the ability to detect a class of spatial relations
requiring the use of "visual routines", and various mental imagery
phenomena. I will also discuss one of the main reasons for postulating
FINSTs: the possibility that such indexes might be used to bind per-
ceived locations to arguments in motor commands, thereby serving as a
step towards perceptual-motor coordination.
Monday, April 25, 1988
4:00 P.M.
280 Park, Amherst Campus
There will also be an informal evening discussion at a place and time to
be announced. Call Bill Rapaport (Dept. of Computer Science, 636-3193
or 3180) for further information.
------------------------------
Date: Fri 8 Apr 88 14:25:22-EDT
From: Marc Vilain <MVILAIN@G.BBN.COM>
Subject: Seminar - Representation Design for Problem Solving (BBN)
BBN Science Development Program
AI Seminar Series Lecture
REPRESENTATION DESIGN FOR PROBLEM SOLVING
Jeffrey Van Baalen
MIT AI Laboratory
(jvb@HT.AI.MIT.EDU)
BBN Labs
10 Moulton Street
2nd floor large conference room
10:30 am, Thursday April 14
It has long been acknowledged that having a good representation is key
in effective problem solving. But what is a ``good'' representation?
In this talk, I overview a theory of representation design for problem
solving that answers this question for a class of problems called
analytical reasoning problems. These problems are typically very
difficult for general problem solvers, like theorem provers, to solve.
Yet people solve them comparatively easily by designing a specialized
representation for each problem and using it to aid the solution
process. The theory is motivated, in large part, by observations of the
problem solving behavior of people.
The implementation based on this theory takes as input a straightforward
predicate calculus translation of the problem, gathers any necessary
additional information, decides what to represent and how, designs the
representations, creates a LISP program that uses those representations,
and runs the program to produce a solution. The specialized representation
created is a structure whose syntax captures the semantics of the problem
domain and whose behavior enforces those semantics.
------------------------------
Date: Tue, 5 Apr 88 09:43:31 PDT
From: lunt@csl.sri.com (Teresa Lunt)
Subject: Seminar - Aquarius Multiprocesor Architectures (SRI)
SRI COMPUTER SCIENCE LAB SEMINAR ANNOUNCEMENT:
THE AQUARIUS PROJECT
Alvin M. Despain
Professor EECS, U.C. Berkeley
Wednesday, April 6 at 2:00 pm
Room IS109
The Aquarius Project has, as the fundamental goal of its research,
to establish the principles by which very large improvements in
performance can be achieved in machines specialized for calculating
difficult problems in design automation, expert systems, and
symbolic components. We are committed to the eventual design of a
very high performance heterogeneous MIMD multiprocessor tailored to
the execution of both numeric and logic calculations. Currently we
are focusing on an experimental multiprocessor architecture for the
execution of Prolog that wil contain 12 processors specialized for
Prolog, and four others, for a total of 16 processors.
------------------------------
Date: Mon 11 Apr 88 23:16:28-PDT
From: Ken Laws <LAWS@KL.SRI.COM>
Reply-to: AIList-Request@SRI.COM
Subject: Conference - ICNN-88 Deadline
I have been told that the deadline for submitting full papers
to the IEEE Conference on Neural Networks has been extended a
few days, to Wednesday, April 13, 1988.
-- Ken
------------------------------
Date: Fri, 1 Apr 88 09:04:53 EST
From: laird@caen.engin.umich.edu (John Laird)
Subject: Conference - Machine Learning
The Fifth International Conference on Machine Learning
June 12-14, 1988
The University of Michigan
Ann Arbor, Michigan
Sponsored by:
the Cognitive Science and Machine Intelligence Laboratory of
The University of Michigan
With support from
American Association of Artificial Intelligence,
the ONR Computer Sciences Division and the ONR Cognitive Science Program.
In cooperation with
ACM/SIGART.
The Fifth International Conference on Machine Learning will be held at
the University of Michigan, Ann Arbor, June 12-14 1988. The goal of
the conference is to bring together researchers from all areas of
machine learning in a open forum. This will be the first Machine
Learning Conference with open attendance.
The main focus of the conference will be the Technical Program.
Papers will be presented from all areas of machine learning,
including: empirical methods, explanation-based learning, genetic
algorithms, connectionist learning, discovery, and formal models of
learning. During the three days of the conference there will be 20
papers presented in plenary sessions. These talks will be based on
the papers accepted by the program committee following a stringent
review of 150 submitted papers. A poster session will be held during
the evening of June 12 to allow the attendees to discuss the 30 short
papers that were accepted for the conference. Plenty of free time is
reserved for informal meetings and discussions.
Three invited talks will be presented by experts in subareas of
machine learning:
David Haussler, University of California, Santa Cruz
Theoretical results in Machine Learning
Geoffery Hinton, University of Toronto
Connectionist Learning
John Holland, University of Michigan
Genetic Algorithms
These speakers will review the state-of-the-art in each subarea,
emphasizing current research topics and their relation to the broader
field of machine learning.
Registration material for the conference will be mailed out later this
month to all those that submitted papers as well as subscribers of the
Machine Learning journal. If you wish to receive registration
material and are not a submitter or a subscriber, send your address
via e-mail to
laird@umix.cc.umich.edu
or via US mail to
Machine Learning Conference
Cognitive Science and Machine Intelligence Laboratory
The University of Michigan
904 Monroe Street
Ann Arbor, MI 48109-1234
------------------------------
Date: Fri, 1 Apr 88 09:12:28 CST
From: wick@umn-cs.cs.umn.edu (Michael Wick)
Subject: Conference - Workshop on Explanation
Here is a call for participation I would like to post on AIList. As the
deadline for submission to the announced workshop is May 1, I am hopeful
that the call can be posted as soon as possible. Thank you.
******* CALL FOR PARTICIPATION *******
The first Workshop on Explanation will be held on Monday, August 22 prior
to the Seventh National Conference on Artificial Intelligence (AAAI-88) in
Minneapolis, Minnesota. The one day workshop will bring together active
researchers in expert system explanation. The major focus of the
workshop will be to explicitly outline the goals of explanation systems
and possible architectures for achieving these goals. Potential participants
are invited to submit an extended abstract on issues relating to the
workshop's focus, including but not limited to: categorizations of
explanation, specific explanation designs, goals of explanation,
assumptions of explanation, and properties of explanation that influence
system design.
Abstracts are limited to 1000 words (LaTeX 11 point article type
preferred) and should include all key figures and references. Potential
participants should send four (4) copies of their abstract to the
Workshop Chairman listed below no later than May 1, 1988. Each abstract
must be marked with the author's name, address, net address (if
available), and telephone number. Contributors will be notified of a
acceptance or rejection no later than June 1, 1988.
Workshop Chairman: Michael R. Wick
Computer Science Department
University of Minnesota
Minneapolis, MN 55455
------------------------------
Date: Wed 6 Apr 88 09:38:29-EDT
From: Steve Feiner <Feiner@CS.COLUMBIA.EDU>
Subject: Conference - AAAI-88 Workshop on AI and Hypertext
AAAI-88 WORKSHOP
AI AND HYPERTEXT: ISSUES AND DIRECTIONS
Tuesday, August 23, 1988
St. Paul, MN
OBJECTIVES
The development of practical hypertext systems has evoked new interest in
hypermedia through much of the AI community. Concurrently, progress in
knowledge representation, user models, natural language synthesis and
understanding, and in qualitative reasoning all promise to enhance the scope
and utility of hypertext documents. Research into development and utilization
of massive knowledge bases is of intense interest to both disciplines.
The AAAI-88 Workshop on Artificial Intelligence and Hypertext will explore
novel and controversial issues at the frontier of AI and hypertext research.
Suitable topics include, but are not limited to:
* automatic creation of hypertext from linear documents
* user models and adaptive documents
* integrating hypertext and heuristic systems
* truth maintenance, argumentation, and collaborative writing of text
and of programs
* design, development and utilization of large knowledge bases and
docuverses
This half-day workshop is intended to promote interaction among
leading researchers and practitioners. Several brief position statements will
introduce central issues, to be followed by extensive general discussion.
ATTENDANCE
To promote lively and candid interchange, workshop attendance will be limited
to 35 participants. Invitations to participate in the workshop will be
extended on the basis of a position paper, outlining the writer's relevant
work in, and positions on, the hypertext/AI frontier.
ORGANIZING COMMITTEE
Mark Bernstein, Eastgate Systems, Inc.
K Eric Drexler, Stanford University
Steven Feiner, Columbia University
REQUIREMENTS
The deadline for submitting position papers is May 1, 1988. Online
submissions will not be accepted; hard copy only, please. Position papers
should not exceed four pages. Send position papers to:
Mark Bernstein
Eastgate Systems, Inc.
PO Box 1307
Cambridge, MA 02238, USA
(617) 782-9044
Invitations to participate will be extended in early June.
------------------------------
Date: 7 Apr 88 18:41:13 GMT
From: king@rd1632.Dayton.NCR.COM (James King)
Reply-to: king@rd1632.Dayton.NCR.COM (James King)
Subject: Conference - Workshop on Case-Based Reasoning at AAAI-88
Call for Participation
Workshop on
Case-Based Reasoning
August 23, 1988, Radisson - St. Paul, Minnesota
Sponsored by AAAI
Case-Based Reasoning (CBR) involves the use of past
cases to analyze and solve a new situation. In precedent-
based CBR, for example, the objective is to construct an
analysis and argument using past cases as supportive
justifications. In other types of CBR, the objective is to
construct a new solution (e.g., a plan) based on
transformations of those already existing in case memory.
Objective: The goal of this workshop is to bring
together both active reasearchers in CBR as well as those
with potential interest in using CBR in their own problem
domains. Through overview lectures, paper presentations,
panels, and informal discussions, participants will explore
central issues and current results in CBR, discuss domains
and problems where CBR might prove helpful, and establish
new contacts within the CBR community. Areas for discussion
include:
- Representation of prior experiences and cases;
- Methods for indexing and retrieval of cases;
- Assessment of relevancy of past cases to a new case;
- Transformation of solutions from past cases;
- Comparison, explanation and justification using cases;
- Using hypothetical cases to test implications of a
new analysis or solution;
- Use of cases as a knowledge acquisition strategy;
- Generic architectures for CBR systems.
Attendance: Limited to approximately 35 participants
chosen by the program committee on the basis of submitted
materials.
Submission: Six copies of an abstract of approximately
1500 words and a short biographical sketch including a list
of a few representative prior publications, particularly on
CBR. For those new to CBR, who wish to attend, instead of an
abstract submit a statement of interest in CBR, in
particular, a description of the submitter's problem domain
and its case-based aspects.
Send abstracts, etc. to Program Chair by April 20,
1988. Acceptances will be sent by May 20, 1988. Final papers
will be due by July 1. They will be bound and distributed at
the workshop.
Program Chair: Edwina L. Rissland, Department of
Computer & Information Science, University of Massachusetts,
Amherst, MA 01003
Program Committee: Kevin Ashley (UMASS), James A.
King, (NCR Corporation), Janet Kolodner
(Georgia Institute of Technology), Christopher Riesbeck
(Yale), Robert Simpson (DARPA/ISTO)
------------------------------
End of AIList Digest
********************
