Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 246
AIList Digest Monday, 26 Oct 1987 Volume 5 : Issue 246
Today's Topics:
Seminars - Genetic Algorithms and Pallet Loading (BBN) &
Applying AI to Instruction (San Diego SIGART) &
Implementing Theorem Provers in Logic (UPenn),
Conferences - Expert Systems in Business and Finance &
Expert Systems in Agriculture &
Distributed AI Workshop
----------------------------------------------------------------------
Date: Fri 23 Oct 87 16:01:14-EDT
From: DDAVIS@G.BBN.COM
Subject: Seminar - Genetic Algorithms and Pallet Loading (BBN)
BBN Science Development Program
AI/Education Seminar Series
"GENETIC ALGORITHMS AND PALLET LOADING"
Pat Prosser
Dept. of Computer Science
Univ. of Strathclyde
Glasgow G1 1XH
U.K.
BBN Laboratories Inc.
10 Moulton Street
Large Conference Room, 2nd Floor
10:30 a.m., Tuesday, November 10, 1987
Abstract: Genetic Algorithms (GA) are search techniques based on the
paradigm of population genetics. A highly constrained loading
problem, the loading of stacks of plates onto pallets, is used as
a vehicle for measuring the suitability of a GA approach to
solving sequencing problems.
In this seminar the following points will be addressed:
- A brief description of the generic GA
- A description of the pallet loading problem
and two approaches taken in solving the problem
- The genetic representation used
- The two genetic algorithmic solutions implemented
GA1 and GA2
- Implementation and Performance issues
------------------------------
Date: 22 Oct 87 11:40:00 EDT
From: "GAIL SLEMON 455-1330" <gslemon@afhrl>
Reply-to: "GAIL SLEMON 455-1330" <gslemon@afhrl>
Subject: Seminar - Applying AI to Instruction (San Diego SIGART)
The San Diego chapter of ACM SIGART is meeting on November 19, Thursday
evening at the University of California, San Diego, Peterson Hall,
Room 103, 6:30 - 8:30 pm. Everyone is invited to attend. Free admission.
APPLYING AI TO INSTRUCTION
Dr. Greg Kearsley of Park Row Software
This session will focus on the two major applications of Artificial
Intelligence techniques to instruction: intelligent tutoring systems
and expert systems. The major types of intelligent tutors will be
described, along wih a discussion of design and development methodology.
--
For more info on SDSIGART and the above, contact:
Gail Slemon at (619) 455-1330 or GSLEMON@afhrl.arpa
------------------------------
Date: Thu, 22 Oct 87 19:07:41 EDT
From: dale@linc.cis.upenn.edu (Dale Miller)
Subject: Seminar - Implementing Theorem Provers in Logic (UPenn)
Implementing Theorem Provers in Logic Programming
Dissertation Proposal
Amy Felty
(felty@linc.cis.upenn.edu)
Computer and Information Science
University of Pennsylvania
Logic programming languages have many characteristics that indicate
that they should serve as good implementation languages for theorem
provers. For example, they are based on search and unification which
are also fundamental to theorem proving. We show how an extended
logic programming language can be used to implement theorem provers
and other aspects of proof systems for a variety of logics. In this
language first-order terms are replaced with simply-typed
lambda-terms, and thus unification becomes higher-order unification.
Also, implication and universal quantification are allowed in goals.
We illustrate that inference rules can be very naturally specified,
and that the search operations based on this language correspond to
those needed for searching for proofs. We argue on several levels
that this extended logic programming language provides a very suitable
environment for implementing tactic style theorem provers. Such
theorem provers provide extensive capabilities for integrating
techniques for automated theorem proving into an interactive proof
environment. We are also concerned with representing proofs as
objects. We illustrate how such objects can be constructed and
manipulated in the logic programming setting. Finally, we propose
extensions to tactic style theorem provers in working toward the goal
of developing an interactive theorem proving environment that provides
a user with many tools and techniques for building and manipulating
proofs, and that integrates sophisticated capabilites for automated
proof discovery. Many of the theorem provers we present have been
implemented in the higher-order logic programming language Lambda
Prolog.
Date: Friday November 6, 1987
Location: 554 Moore
Time: 1:30 PM
Committee: Val Breazu-Tannen
Robert Constable
Jean Gallier (Chair)
Andre Scedrov
Advisor: Dale Miller
------------------------------
Date: Fri 23 Oct 87 10:07:43-EDT
From: John C. Akbari <AKBARI@CS.COLUMBIA.EDU>
Subject: Conference - Expert Systems in Business and Finance
the first annual conference on expert systems in business and finance
esib-87
[informal announcement]
what: applications-oriented conference on the use of AI and expert systems
in financial domains
where: penta hotel, new york city (7th avenue at 33rd st.)
when: 10 - 12 november 1987
how much: $525 after 9 october
paper sessions: trading with AI
expert systems: opportunities and issues
tools and techniques for financial epxert systems
financial applications
business applications I
business applications II
business applications III
strategic issues in AI development
knowledge engineering challenges
panel discussions:
business and finance: viewing expert systems applications
from the user's requirements perspectives
applying AI in the real world
corporate america: viewng AI technology and organizational
issues from the academic perspective
financial expert systems on PCs: strategies for successful
implementation & integration
expert systems in the business curriculum
views from the press
tutorials: building expert systems
desktop AI: productivity and power in finance
effective knowledge engineering
sponsor: _the international journal of knowledge engineering_
for further info: learned information
143 old marlton pike
medford new jersey 08055 USA
tele. 609.654.6266
personal comments:
looks like an interesting program covering a broad range of work
in the financial services industry. there are several papers by
groups working on the street on internal, proprietary systems.
there are also several papers by vendors (syntelligence, inference,
etc.) who have experience in building these systems. my opinion is
that there the ratio of academic types to "real world" types is still
too high, but is better than most of those expensive "conferences"
put on by the market research and consulting groups. this conference
should be less content-free than most. it will be interesting to see
the effects of this week's crash on future efforts!
------------------------------
Date: Sat, 24 Oct 87 15:15 EDT
From: Thieme@BCO-MULTICS.ARPA
Subject: Conference - Expert Systems in Agriculture
CALL FOR PAPERS
TITLE: Integration of Expert Systems with Conventional Problem Solving
Techniques in Agriculture
SPONSORED BY: AAAI Applied Workshop Series
DESCRIPTION:
Problem solving techniques such as modelling, simulation, optimization,
and network analysis have been used for several years to help agricultural
scientists and practitioners understand and work with biological problems.
By their nature, most of those problems are difficult to define quantita-
tively. In addition many of the models and simulations that have been
developed are not "user-friendly" enough to entice practitioners to use
them. As a result, several scientists are integrating expert system
technology with conventional problem solving techniques in order to increase
robustness of their systems as well to increase usability and to aid in
result interpretation. The goal of this workshop is to investigate the
similarities and differences of leading scientists' approaches and to
develop guidelines for similar work in the future.
CONDITIONS OF PARTICIPATION:
Primary authors (presumably primary investigators) of submitted
manuscripts will be invited to participate in the workshop if their
manuscript is selected. Manuscripts will be submitted in full six weeks
prior to the workshop. The manuscripts will be reviewed for originality and
clear presentation of the topic of integration by a committee appointed by
the coordinating committee. Only 40 participants will be selected in order
to maximize free exchange of ideas. The manuscripts will be distributed to
the participants prior to the workshop in order to help them prepare
questions for other authors. If there is interest, the proceedings will be
published.
LOCATION AND TIME:
April 13-15, 1987 at the Menger Hotel in San Antonio, TX
FOR MORE INFORMATION CONTACT:
Dr. A. Dale Whittaker (409) 845-8379
Agricultural Engineering Department
Texas A&M University WHITTAK at TAMAGEN.BITNET
College Station, TX 77843-2117
Dr. Ronald H. Thieme (617) 671-3772
Honeywell Bull, Inc.
300 Concord Road THIEME at BCO-MULTICS.ARPA
Mail Station 895A
Billerica, MA 01821
Dr. James McKinion (601) 323-2230
Crop Science Research Laboratory
Crop Simulation Research Unit
P.O. Box 5367
Mississippi State, MI 39762-5367
Earl Kline (409) 845-3693
Agricultural Engineering Department
Texas A&M University KLINE at TAMAGEN.BITNET
College Station, TX 77843-2117
------------------------------
Date: Wed, 21 Oct 87 23:19:02 PDT
From: gasser%pollux.usc.edu@oberon.USC.EDU (Les Gasser)
Subject: Conference - DAI Workshop Announcement
WORKSHOP ANNOUNCEMENT - CALL FOR PARTICIPATION
8th Workshop on Distributed Artificial Intelligence
Lake Arrowhead Conference Center
Lake Arrowhead, CA.
May 22-25, 1988
The 8th Distributed AI Workshop will address the problems of
coordinated action and problem-solving among reasonably sophisticated,
intelligent computational "agents." The focus will be be synthetic and
pragmatic, investigating how we can integrate theoretical and
experimental ideas about knowledge, planning, negotiation, action,
etc. in multi-agent domains, to build working interacting agents.
Participation is by invitation only. To participate, please submit an
extended abstract (5-7 double-spaced pages, hard copy only) describing
original work in DAI to the workshop organizer at the address below.
Preference will be given to work addressing basic research issues in
DAI such as those outlined below. A small number of "interested
observers" will also be invited. If you are interested in being an
observer, please submit a written request to attend (hard copy), with
some justification. Participation will be limited to approximately 35
people.
A number of submitted papers will be selected for full presentation,
critique, and discussion. Other participants will be able to make
brief presentations of their work in less formal sessions. There will
be ample time allowed for informal discussion. All participants should
plan to submit a full paper version in advance, for distribution at
the workshop.
Suggested topics include (but are not necessarily limited to):
Describing, decomposing, and allocating problems among a
collection of intelligent agents, including resource allocation,
setting up communication, dynamic allocation, etc.
Assuring coherent, coordinated interaction among intelligent agents,
including allocating control, determining coherence, organization
processes, the role of communication in coherence, plan
synchronization, etc.
Reasoning about other agents, the world, and the state of the
coordinated process, including plan recognition, prospective
reasoning, knowledge and belief models, representation techniques,
domain or situation specific examples, etc.
Recognizing and resolving disparities in viewpoints, representations,
knowledge, goals, etc. (including dealing with incomplete,
inconsistent, and representationally incompatible knowledge) using
techniques such as communication, negotiation, conflict resolution,
compromise, deal enforcement, specialization, credibility assessment,
etc.
Problems of language and communication, including interaction
languages and protocols, reasoning about communication acts
inter-agent dialogue coherence, etc.
Epistemological problems such as joint concept formation, mutual
knowledge, situation assessment with different frames of
reference, etc.
Practical architectures for and real experiences with building
interacting intelligent agents or distributed AI systems.
Appropriate methodologies, evaluation criteria, and techniques for
DAI research, including comparability of results, basic assumptions,
useful concepts, canonical problems, etc.
For this DAI workshop, we specifically discourage the submission of
papers on issues such as programming language level concurrency,
fine-grained parallelism, concurrent hardware architectures, or
low-level "connectionist" approaches.
Please direct inquiries to the workshop organizer at the address below.
----------------------------------------------------------------
DATES:
Deadline for submission of extended abstracts: February 15, 1988
Notification of acceptance: March 21, 1988
Full papers due (for distribution at the workshop): April 25, 1988
----------------------------------------------------------------
WORKSHOP ORGANIZER:
Les Gasser
Distributed AI Group
Computer Science Department
University of Southern California
Los Angeles, CA. 90089-0782
Telephone: (213) 743-7794
Internet: gasser@usc-cse.usc.edu
----------------------------------------------------------------
WORKSHOP PLANNING COMMITTEE:
Miro Benda (Boeing AI Center) Phil Cohen (SRI)
Lee Erman (Teknowledge) Michael Fehling (Rockwell)
Mike Genesereth (Stanford) Mike Georgeff (SRI)
Carl Hewitt (MIT) Mike Huhns (MCC)
Victor Lesser (UMASS) N.S. Sridharan (FMC Corp)
----------------------------------------------------------------
Support for this workshop and for partial subsidy of participants'
expenses has been provided by AAAI; other support is pending.
------------------------------
End of AIList Digest
********************
