Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 057
AIList Digest Thursday, 26 Feb 1987 Volume 5 : Issue 57
Today's Topics:
Seminars - Planning Robotic Manipulation Strategies (UPenn) &
Reasoning and Planning in Dynamic Domains (CSLI) &
Expert Systems in Manufacturing (SU) &
Representing Defaults with Epistemic Concepts (SU),
Journal Issue - Financial Applications, IEEE Expert,
Conference - SUNY Buffalo Comp. Sci. Grad. Student Conference
----------------------------------------------------------------------
Date: Mon, 23 Feb 87 11:22:20 EST
From: tim@linc.cis.upenn.edu (Tim Finin)
Subject: Seminar - Planning Robotic Manipulation Strategies (UPenn)
Computer and Information Science
University of Pennsylvania
307 Towne Building
10:30 February 25, 1987
Planning Robotic Manipulation Strategies
Michael A. Peshkin
Carnegie Mellon University
Automated planning of grasping or manipulation requires an understanding
of the physics and the geometry of objects in contact. Sliding figures
prominently, but since the pressure distribution between the surfaces in
contact is unknown, deterministic solution for the motion is impossible.
I have found the locus of motions over all distributions. Strategies based
on these results succeed despite unknown pressure distribution.
We also desire strategies which succeed despite uncertain initial position
of a workpiece. Configuration maps are introduced, mapping all configurations
of a part before an elementary operation onto all possible outcomes. Products
of configuration maps are used to synthesize complex strategies which succeed
for a wide range of initial positions of the workpiece.
------------------------------
Date: Wed 25 Feb 87 17:18:14-PST
From: Emma Pease <Emma@CSLI.Stanford.EDU>
Subject: Seminar - Reasoning and Planning in Dynamic Domains (CSLI)
Reading: "Reasoning and Planning in Dynamic Domains:
An Experiment with a Mobile Robot"
by Michael Georgeff, Amy Lansky, and Marcel Schoppers
discussion led by Amy Lansky
Ventura Hall, March 5, 12:00 noon
Both Georgeff and Lansky will be present to discuss their recent paper
on using their Procedural Reasoning System (PRS) to control SRI's
robot, Flakey. The PRS architecture has been one of the focuses of
RATAG group discussions.
This paper describes progress made toward having the mobile robot
reason and plan complex tasks in real-world environments. To cope
with the dynamic and uncertain world, they use a highly reactive
system to which is attributed the attitudes of belief, desire, and
intention. Because these attitudes are explicitly represented, they
can be manipulated and reasoned about, resulting in complex
goal-directed and reflective behaviors. Unlike most planning systems,
the plans or intentions formed by the system need only be partly
elaborated before it decides to act. This allows the system to avoid
overly strong expectations about the environment, overly constrained
plans of action, and other forms of over-commitment common to previous
planners. In addition, the system is continuously reactive and has
the ability to change its goals and intentions as situations warrant.
Thus, while the system architecture allows for reasoning about means
and ends in much the same way as traditional planners, it also
possesses the reactivity required for survival in complex, dynamic
domains.
------------------------------
Date: Wed 25 Feb 87 15:49:35-PST
From: Automation & Manufacturing <SECAM@Sierra.Stanford.EDU>
Subject: Seminar - Expert Systems in Manufacturing (SU)
Jane Frederick Friday 27 February
G.E. Industrial Automation Systems Terman 556
1:30-3:00pm
"Expert Systems in Electronic Manufacturing"
Manufacturing appears to be one of the fertile fields for expert system
applications. The tasks are bounded and repetitive in nature. There
exists a set of experts which regularly perform the tasks. These tasks
can be defined in process steps and last but not least, manufacturing is a
direct pay point. The payback for quality and productivity improvements
can be specifically determined. This last issue is very important and
often overlooked, but expert systems development and implementation is an
expensive and ongoing process. Therefore, one of the challenges for expert
systems in manufacturing is selecting the correct application and the one
with the greatest payback.
Refreshments will be served.
------------------------------
Date: 23 Feb 87 1047 PST
From: Vladimir Lifschitz <VAL@SAIL.STANFORD.EDU>
Subject: Seminar - Representing Defaults with Epistemic Concepts (SU)
Commonsense and Nonmonotonic Reasoning Seminar
REPRESENTING DEFAULTS WITH EPISTEMIC CONCEPTS
Kurt Konolige, SRI International
Karen Myers, Stanford
Thursday, February 26, 4pm
Bldg. 160, Room 161K
Reasoning about defaults --- implications that typically hold,
but which may have exceptions --- is an important part of
commonsense reasoning. We present some parts of a theory of
defaults, concentrating on distinctions between various subtle
ways in which defaults can be defeated, and on the adjudication
of conflicting defaults under hierarchic inheritance. In order
to represent this theory in a formal system, it seems necessary
to use the epistemic concept of self-belief. We show how to
express the theory by an almost-local translation into
autoepistemic logic, which contains the requisite epistemic
operators. Just to be controversial, we also argue that
circumscription (pointwise, schematic, prioritized, or otherwise)
is insufficient for this task.
------------------------------
Date: 24 February 1987, 11:34:26 EST
From: "Chidanand V. Apte" <APTE@ibm.com>
Subject: Journal Issue - Financial Applications, IEEE Expert
CALL FOR PAPERS
---------------
IEEE EXPERT
Special Issue - Fall 1987
AI Applications in Financial Expert Systems
The Fall 1987 issue of IEEE EXPERT will be devoted to papers that
discuss the technical requirements imposed upon AI techniques for
building intelligent systems for financial applications and the
methodologies employed for the construction of such systems.
Requirements for submission of papers
-------------------------------------
Authors should submit their papers to the guest editors no later than
APRIL 1, 1987. Each submission should include one cover page and five
copies of the complete manuscript. The one cover page should include
Name(s), affiliation(s), complete address(es), identification of
principal author and telephone number. The five copies of the complete
manuscript should each include: Title and abstract page: title of paper,
100 word abstract indicating significance of contribution, and The
complete text of the paper in English, including illustrations and
references, not exceeding 5000 words.
Topics of interest
------------------
Authors are invited to submit papers describing recent and novel
applications of AI techniques in the research and development of
financial expert systems. Topics (in the context of the domain) include,
but are not limited to: Automated Reasoning, Knowledge Representations,
Inference Techniques, Problem Solving Control Mechanisms, Natural
Language Front Ends, User Modeling, Explanation Methodologies, Knowledge
Base Debugging, Validation, and Maintenance, and System Issues in
Development and Deployment.
Guest Editors
--------------
Chidanand Apte (914-945-1024, Arpa: apte@ibm.com)
John Kastner (914-945-3821, Arpa: kastner@ibm.com)
IBM Thomas J. Watson Research Center
P.O. Box 218
Yorktown Heights, New York 10598
------------------------------
Date: Tue, 24 Feb 87 09:37:46 EST
From: "William J. Rapaport" <rapaport%buffalo.csnet@RELAY.CS.NET>
Subject: Conference - SUNY Buffalo Comp. Sci. Grad. Student Conference
STATE UNIVERSITY OF NEW YORK AT BUFFALO
DEPARTMENT OF COMPUTER SCIENCE
UBGCCS-87
SECOND ANNUAL
GRADUATE CONFERENCE ON COMPUTER SCIENCE
Topics:
Artificial Intelligence--Parallel Program Debugging
Visual Knowledge Representation--Hypercube Algorithms--Naive Physics
Model-Based Diagnosis--Computer Vision--Natural Language Understanding
Tuesday, March 10, 1987
8:00 A.M. - 5:00 P.M.
Center For Tomorrow
Amherst Campus, SUNY Buffalo
Program:
Ted F. Pawlicki
SUNY Buffalo
"The Representation of Visual Knowledge"
John M. Mellor-Crummey
University of Rochester
"Parallel Program Debugging with Partial Orders"
Susan J. Wroblewski
SUNY Buffalo
"Efficient Trouble Shooting in an Industrial Environment"
Ching-Huei Wang
SUNY Buffalo
"ABLS: An Object Recognition System for Locating
Address Blocks on Mail Pieces"
Diane Horton
University of Toronto
"Presuppositions as Beliefs: A New Approach"
Norman D. Wahl
SUNY Buffalo
"Hypercube Algorithms to Determine Geometric Properties of Digitized Images"
Ganapathy Krishnan
SUNY Buffalo
"Bottom-Up Image Analysis for Color Separation"
Bart Selman
University of Toronto
"Vivid Representations and Analogues"
Soteria Svorou
SUNY Buffalo
"The Semantics of Spatial Extension Terms in Modern Greek"
Hing Kai Hung
SUNY Buffalo
"Semantics of a Recursive Procedure with Parameters and Aliasing"
Josh D. Tenenberg
University of Rochester
"Naive Physics and the Control of Inference"
Zhigang Xiang
SUNY Buffalo
"Multi-Level Model-Based Diagnostic Reasoning"
Registration begins at 8 A.M. (free)
First talk starts at 8:45 A.M.
Optional Buffet Luncheon ($5)
For program and registration information, please contact:
Lynda Spahr (716) 636-2464
ubg-ccs%buffalo
UBGCCS-87
226 Bell Hall
SUNY at Buffalo
Buffalo, New York 14260
Sponsored by:
SUNY Buffalo Computer Science Graduate Student Association
SUNY Buffalo Department of Computer Science
SUNY Buffalo Graduate Student Association
------------------------------
End of AIList Digest
********************
