Copy Link
Add to Bookmark
Report
AIList Digest Volume 6 Issue 092
AIList Digest Monday, 9 May 1988 Volume 6 : Issue 92
Today's Topics:
Seminars - Tutor for Electrostatics (CMU) &
Fuzzy Inference for Robot Control (CMU) &
Dataflow Semantics (SRI) &
Formulating Concepts and Analogies (NASA),
Conference - Automatic Deduction &
AI and Discrete Event Control Systems &
Automating Software Design -- AAAI-88 Workshop &
1st Int. Symp. on AI
----------------------------------------------------------------------
Date: Thu, 05 May 88 11:59:43 EDT
From: Anurag.Acharya@CENTRO.SOAR.CS.CMU.EDU
Subject: Seminar - Tutor for Electrostatics (CMU)
Date: May 11, 1988
Time: 3:00pm
Place: Wean 5409
Who: Blake D. Ward
Title: A Soar-Based Tutor for Electrostatics
ABSTRACT
Intelligent Tutoring Systems (ITS) are computer-based instructional
systems that attempt to exhibit some of the intelligent capabilities of
human tutors. In addition to being important for obvious educational
reasons, they are also a valuable testbed for theories of cognition and
represent a difficult real-world task for artificial intelligence research
in general. Theories of cognition and learning are important to the
development of effective tutoring systems, but all but a few tutoring
systems are not based on any underlying cognitive theory. Within high
school and post-secondary education, science is an important field and this
is reflected by a fairly large body of research concerning the differences
between novice and expert scientific problem solvers. However, with very
few exceptions, most of that research has yet to be applied to science
education in a substantial way. The research proposed here will explore the
implications of using the Soar architecture (which is both a theory of
general cognition and a powerful AI problem solver) to develop an
intelligent tutoring system framework. To focus and evaluate this effort,
an electrostatics tutor (ET-Soar) will be developed, making use of recent
novice/expert scientific problem solving research with an emphasis on
getting students to adopt the internal representations used by expert
problem solvers.
A copy of the proposal will be left in the CS lounge.
------------------------------
Date: Thu, 05 May 88 12:05:19 EDT
From: Anurag.Acharya@CENTRO.SOAR.CS.CMU.EDU
Subject: Seminar - Fuzzy Inference for Robot Control (CMU)
Time: Thursday, May 5, 3:30-4:30.
Place: 4605 WeH
FUZZY INFERENCE, ITS APPLICATION TO ROBOT CONTROL, AND FUZZY MICROPROCESSOR
Kaoru Hirota, Hosei University, and Takeshi Yamakawa, Kumamoto University
Fuzzy inference (or approximate reasoning) is an important theoretical tool in
real industrial applications of fuzzy theory; e.g. automatic control of subway
trains, automatic speed control of cars, water purification system, ... When
we use fuszzy inference, a knowledge base consists of a small number of fuzzy
production rules. In this short lecture, foundations of fuzzy inference
technqiues are introduced first, then followed by the outline of robot control
applications. Also presented is a micro processor in linear mode (not in
binary digital mode) on a semi-conductor chip for real time processing of fuzzy
informations.
Contact : Takeo.Kanade@IUS3.IUS.CS.CMU.EDU
------------------------------
Date: Thu, 5 May 88 13:36:19 PDT
From: seminars@csl.sri.com (contact lunt@csl.sri.com)
Subject: Seminar - Dataflow Semantics (SRI)
SRI COMPUTER SCIENCE LAB SEMINAR ANNOUNCEMENT:
A DESCRIPTIVE AND PRESCRIPTIVE MODEL FOR DATAFLOW SEMANTICS
R. Jagannathan
SRI International
Monday, May 23 at 4:00 pm
SRI International, Conference Room B, Building A
A general model is proposed that allows dataflow (operational)
semantics embodied by various dataflow computers to be described and
analyzed. The model assumes that a program is represented as a
network of operators which can be given meaning mathematically.
Various dataflow semantics are differentiated in terms of which data
items of a program instance are ``desired to be computed'' and when
such ``desires for computation'' occur when using a particular
semantics. The model facilitates various properties of dataflow
semantics such as correctness and efficiency to be studied. The
model is also used to prescribe new dataflow semantics such as
eazyflow. Implementation of the eazyflow semantics using mechanisms
such as data-driven and demand-driven execution is considered.
NOTE FOR VISITORS TO SRI:
Please arrive at least 10 minutes early in order to sign in and be shown to
the conference room.
SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in
the visitors lot in front of Building A (red brick building at 333 Ravenswood
Ave) or in the conference parking area at the corner of Ravenswood and
Middlefield. The seminar room is in Building A. Visitors should sign in at
the reception desk in the Building A lobby.
IMPORTANT: Visitors from Communist Bloc countries should make the
necessary arrangements with Liz Luntzel (415) 859-3285 as soon as possible.
------------------------------
Date: Fri, 6 May 88 11:52:39 PDT
From: CHIN%PLU@ames-io.ARPA
Subject: Seminar - Formulating Concepts and Analogies (NASA)
***************************************************************************
National Aeronautics and Space Administration
Ames Research Center
SEMINAR ANNOUNCEMENT
SPEAKER: Smadar Kedar-Cabelli
Rutger University
TOPIC: Formulating Concepts and Analogies According to Purpose
ABSTRACT:
This talk describes research within the {\it explanation-based
generalization} (EBG) framework, a framework for producing deductive
generalizations from single examples. Despite recent progress, EBG
methods exhibit an important limitation: they are incapable of
determining which concepts are useful ones to acquire. More robust
generalizers must be able to automatically determine which concepts to
acquire based on the {\it purpose} of the learning, since concepts
acquired for one purpose may not be appropriate for another.
Our notion of the purpose of the learning is to acquire concepts which
will benefit an associated performance system. Two open issues become
apparent once EBG is associated with a performance system: How can EBG
acquire target concepts and definitions appropriate for the
performance system? Further, could the acquired target concept
definitions be used to improve subsequent performance?
The research focuses and investigates these issues in the context of a
specific type of performance system -- a state-space planner. The
approach is to provide EBG with explicit knowledge of the planner and
specific planning task. The {\it purposive concept formulation} and
{\it purposive explanation replay} methods, respectively, provide
solutions to the open problems.
We describe the prototype systems (PurForm and REPeat) which provide
experimental support for these methods. The results confirm that a
learning system {\it can} formulate concepts and analogies sensitive
to the purpose of the learning in restricted planning situations. We
discuss further extensions suggested by these results.
BIOGRAPHY:
Smadar Kedar-Cabelli has recently received her Ph.D. from the
Department of Computer Science at Rutgers University. She is
currently a research assistant at Rutgers, and a consultant for the
Learning Systems Group at Siemens Research and Technology Laboratories
in Princeton. Her research in machine learning focuses on open
problems within the explanation-based generalization (EBG) framework.
She has published a number of recent papers describing the
dissertation results. A paper presented at the 1987 National
Conference for Artificial Intelligence describes results on
formulating concept according to purpose. A paper describing the
close relationship of EBG and resolution-theorem proving was presented
at the Fourth International Machine Learning Workshop in 1987.
Earlier papers include a journal paper in Machine Learning, published
jointly with Mitchell and Keller, introducing the explanation-based
generalization framework.
---------------------
DATE: Thursday TIME: 2:00 - 3:00 pm BLDG. 244 Room 209
May 19, 1988 --------------
POINT OF CONTACT: Marlene Chin PHONE NUMBER: (415) 694-6525
NET ADDRESS: chin%plu@ames-io.arpa
***************************************************************************
VISITORS ARE WELCOME: Register and obtain vehicle pass at Ames Visitor
Reception Building (N-253) or the Security Station near Gate 18. Do not
use the Navy Main Gate.
Non-citizens (except Permanent Residents) must have prior approval from the
Director's Office one week in advance. Submit requests to the point of
contact indicated above. Non-citizens must register at the Visitor
Reception Building. Permanent Residents are required to show Alien
Registration Card at the time of registration.
***************************************************************************
------------------------------
Date: Thu, 5 May 88 16:24 CDT
From: GRAHAM%UMKCVAX2.BITNET@CORNELLC.CCS.CORNELL.EDU
Subject: Conference - Automatic Deduction
Mini-Conference on Automatic Deduction
A mini-conference on automated deduction is being organized. The focus
is to be on new approaches to automatic deduction based on non-traditional
approaches - topics not well represented at such conferences as CADE. These
non-traditional frameworks might include both theoretical and experimental
research on proof theory and deduction systems for the following
non-classical logics and extensions to first order logic:
modal, nonmonotonic, default, tense, and action logics
circumscription
the frame problem
intentional reasoning
metatheory
reflective reasoning
fixed points
closed world assumption
non-Cantorean set theories
quantifier elimination
possibility, probability, and ontology
Those interested in helping to organize or participate in such a
mini-conference are invited to contact:
Dr. Frank Brown,
Dept. of Computer Science, University of Kansas,
Lawrence, Kansas 66045,
(913)-864-4482.
Steven Graham, GRAHAM@UMKCVAX1.BITNET
Computer Science Program, University of Missouri Kansas-City,
5100 Rockhill Road
Kansas City, MO 64110
(816) 276-2365
------------------------------
Date: 6 May 88 15:34:43 GMT
From: BOSCO.BERKELEY.EDU!grossman@ucbvax.Berkeley.EDU
Subject: Conference - AI and Discrete Event Control Systems
Workshop On
AI and Discrete Event Control Systems
July 7 and 8, 1988
NASA-Ames Research Center
Moffett Field, California
Hamid Berenji, NASA-Ames Research Center
The Role of Approximate Reasoning in AI-based Control
Peter Caines, McGill University
Dynamical Logic Observers for Finite Automata, Part 1
James Demmel, Courant Institute
Hierarchical Control Studies in Dextrous Manipulation
Using the Utah/MIT Hand
Russel Greiner, University of Toronto
Dynamical Logic Observers for Finite Automata, Part 2
Robert Hermann, NASA-Ames Research Center and Boston University
The Scott Theory of Fixed Points Symbolic Control
Michael Heymann, Israel Institute of Technology
Real-Time Discrete Event Processes
Peter Ramadge, Princeton University
Discrete Event Systems, Modeling and Complexity
Stan Rosenschein, CSLI, Stanford University
Real Time AI Systems
Gerry Sussman, Massachusetts Institute of Technology
Automatic Extraction of Features From Dynamical Systems
For more information, please contact:
Robert Grossman (415) 642-8196
Department of Mathematics (415) 642-6526 (messages)
University of California, Berkeley grossman@cartan.berkeley.edu
Berkeley, CA 94720 grossman@ucbcarta.bitnet
------------------------------
Date: Tue, 3 May 88 13:22:13 EDT
From: Robert McCartney <rdm%cs.brown.edu@RELAY.CS.NET>
Subject: Conference - Automating Software Design -- AAAI-88 Workshop
------------------------
CALL FOR PARTICIPATION
Automating software design: current directions
(a workshop at AAAI-88)
Radison-St. Paul Hotel, St. Paul, Minnesota
Thursday, 25 August 1988
In this workshop, we intend to discuss current approaches to automated
software design and how these approaches deal with: 1) acquiring
specifications, 2) acquiring and representing domain and design
knowledge, and 3) controlling search during design. Among the issues
that might be addressed are the interaction of domain and design
knowledge, comparing automatic and interactive systems, the use of
general vs. specific control mechanisms, and software environments
appropriate for design systems.
This is intended to be a forum for the presentation and discussion of
current ideas and approaches. The format will consist of individual
presentations followed by adequate time for interaction with peers.
To maximize such interaction, participation will be limited to a small
number of active researchers.
Participation: Those interested in attending should submit a short
description of their research interests and current work to one of the
organizing committee (preferably electronically) by June 15. At the
same time, those interested in making a presentation should submit a
short abstract (around 500 words) of their intended topic.
Notification of acceptance or rejection will be given after July 15.
All participants may submit an extended abstract or position paper by
August 1; these will be reproduced and distributed at the workshop.
Organizing Committee:
Michael Lowry Robert McCartney Douglas R. Smith
Stanford/Kestrel Univ. of Connecticut Kestrel Institute
(415) 325-3105 (203) 486-2428 (415) 493-6871
(lowry@kestrel.arpa) (robert@uconn.csnet) (smith@kestrel.arpa)
Hard-copy submissions may be sent to:
Douglas R. Smith
Kestrel Institute
1801 Page Mill Road
Palo Alto, CA 94304-1216
------------------------------
Date: 5 May 88 20:43 EDT
From: PL233270%TECMTYVM.BITNET@CUNYVM.CUNY.EDU
Subject: Conference - 1st Int. Symp. on AI
Date: 5 May 1988, 20:43:23 EDT
From: Teresa Lucio Nieto Mexico (83) 58 56 49 PL233270 at TECMTYVM
To: AILIST-REQUEST at SRI.COM
***********************************************************************
1ST INTERNATIONAL SYMPOSIUM ON
ARTIFICIAL INTELLIGENCE
MONTERREY, N.L. MEXICO
***********************************************************************
THE INFORMATION RESEARCH CENTER OF
THE INSTITUTO TECNOLOGICO Y DE ESTUDIOS
SUPERIORES DE MONTERREY
IS ORGANIZING THE FIRST INTERNATIONAL SYMPOSIUM ON ARTIFICIAL
INTELLIGENCE TO PROMOTE THE ARTIFICIAL INTELLIGENCE TECHNOLOGY AMONG
PROFESSIONALS AS AN APPROACH TO PROBLEM SOLVING, THE USE OF OF THE
KNOWLEDGE-BASED PARADIGM IN SOLVING PROBLEMS IN INDUSTRY AND BUSINESS,
AND ALSO TO MAKE PROFESSIONALS AWARE OF THE ARTIFICIAL INTELLIGENCE
TECHNIQUES THAT EXIST AND TO DEMONSTRATE THEIR USE IN SOLVING REAL
PROBLEMS, ALSO TO SHOW CURRENT ARTIFICIAL INTELLIGENCE AND EXPERT
SYSTEMS APPLICATIONS IN MEXICO, USA, AND OTHER COUNTRIES.
Tentative Program:
------------------
October 24th, 25th, 1988
Knowledge-Based Systems Tutorial.
October 26th, 27th, 28th 1988
CONFERENCES AND HARDWARE & SOFTWARE EXPOSITION.
T O P I C S
----------------
* KNOWLEDGE-BASED SYSTEMS
* KNOWLEDGE ACQUISITION
* KNOWLEDGE REPRESENTATION
* INFERENCE ENGINE
* CERTAINTY FACTORS
* VISION
* ROBOTICS
* EXPERT SYSTEMS APPLICATIONS IN INDUSTRY
* NATURAL LANGUAGE PROCESSING
* LEARNING
* SPEECH RECOGNITION
* ARTIFICIAL INTELLIGENCE IN MEXICO
* FIFTH COMPUTERS GENERATION
Conference Participants
-----------------------
Speakers from the following Universities and Research Centers will
participate:
Stanford, Texas at Austin, MIT, Colorado, Waterloo, Alberta, Rice,
IBM Center and Microelectronics and Computer Technology Corp.
SOFTWARE AND HARDWARE EXPOSITION
--------------------------------
DURING THE SYMPOSIUM THERE WILL BE AN EXPOSITION OF COMPUTER HARDWARE
AND SOFTWARE INCLUDING PRODUCTS AND SYSTEMS FROM COMPANIES AND
INSTITUTIONS IN MEXICO, USA AND ABROAD.
WE ARE INVITING SOFTWARE AND HARDWARE BUSINESS TO PARTICIPATE IN
THIS EXPOSITION WITH THEIR PRODUCTS.
SOCIAL EVENTS
-------------
In order to encourage an atmosphere of friendship and exchange among
participants, some social events will be held after the conferences.
Fees
----
TUTORIAL:
Before August 31st,88 After August 31st,88
PROFESSIONALS $150 US DOLLARS $170
STUDENTS $75 $85
SYMPOSIUM:
PROFESSIONALS $100 $120
STUDENTS $50 $60
ACCOMMODATIONS
-------------
CONTACT US FOR FURTHER INFORMATION ABOUT THIS.
******************************************************************
1ST INTERNATIONAL SYMPOSIUM ON
ARTIFICIAL INTELLIGENCE
MONTERREY, N.L. MEXICO
WE WOULD LIKE TO INVITE ALL THE PROFESSORS AND RESEARCHERS TO
SEND PAPERS FOR THE FIRST INTERNATIONAL SYMPOSIUM ON ARTIFICIAL
INTELLIGENCE TO BE HELD ON OCTOBER 24-28, 1988
IN MONTERREY, MEXICO AT THE INSTITUTO TECNOLOGICO Y DE ESTUDIOS
SUPERIORES DE MONTERREY (ITEMS).
C A L L F O R P A P E R S
----------------------------------
TOPICS INCLUDE KNOWLEDGE REPRESENTATION, KNOWLEDGE ACQUISITION,
NATURAL LANGUAGE PROCESSING, KNOWLEDGE BASED SYSTEMS, INFERENCE
ENGINE, MACHINE LEARNING, SPEECH RECOGNITION, PATTERN RECOGNITION,
VISION AND THEOREM PROVING.
FOUR TO FIVE PAGES MAXIMUM SUMMARIES, FOUR COPIES AND RESUME, TO
I T E S M . CENTRO DE INVESTIGACION EN INFORMATICA.
DAVID GARZA SALAZAR. SUCURSAL DE CORREOS J. 64849 MONTERREY, N.L.
MEXICO. (83) 59 57 47, (83) 59 59 43, (83) 59 57 50;
Deadline for submissions: August 31st,88
BITNET ADDRESS: SIIACII AT TECMTYVM
TELEX: 0382975 ITEMSE
TELEFAX: (83) 58 59 31
APPLELINK ADDRESS: IT0023
P.S. ANY INFORMATION FEEL FREE TO CONTACT US, WE WOULD LIKE TO SEND YOU
MORE INFORMATION ABOUT OUR SYMPOSIUM.
------------------------------
End of AIList Digest
********************
