Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 06 No. 28
NL-KR Digest (Wed Jun 14 16:06:12 1989) Volume 6 No. 28
Today's Topics:
Conf. on Predication
Bio-Matrix'89 Meeting Announcement
CFP: IJCAI Plan Recognition Workshop
IKBCS-89 in Bombay: dec 11-13 1989.
AI and CPA Conference
Postdoc Position in Theorem Proving at Edinburgh
Submissions: nl-kr@cs.rpi.edu
Requests, policy: nl-kr-request@cs.rpi.edu
Back issues are available from host archive.cs.rpi.edu [128.213.1.10] in
the files nl-kr/Vxx/Nyy (ie nl-kr/V01/N01 for V1#1), mail requests will
not be promptly satisfied. If you can't reach `cs.rpi.edu' you may want
to use `turing.cs.rpi.edu' instead.
-----------------------------------------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 9 Jun 89 11:17:40 EDT
From: rapaport@cs.Buffalo.EDU (William J. Rapaport)
Subject: Conf. on Predication
School of Humanities, University of California at Irvine
and
University of California Humanities Research Institute
present a conference on
PROBLEMS AND CHANGES IN THE CONCEPT OF PREDICATION
August 21 - August 26, 1989
338 Administration Building
University of California at Irvine
The purpose of this conference is to bring together scholars with a
broad range of expertise on the subject of predication, extending from
ancient and medieval philosophy to the philosophy of science and com-
puter science, in order both to investigate the nature of the tradi-
tional conception of predication and to assess various challenges to
this conception.
Historically, the topic originates with the ancient Greek philosophers,
most importantly (though by no means exclusively) with Aristotle. Pred-
ication, whether conceived as a property of statements or as a relation
between certain parts of a statement, is unarguably one of the most fun-
damental philosophical concepts. Since Aristotle's time, various
aspects of his account of science, and the theory of predication that
goes with it, have been subjected to vigorous debate, and many of his
theses have, in the course of time, met with widespread rejection.
Nonetheless, the Aristotelian conception and its various descendents are
still the subject of intense debate. The sources of this contemporary
interest are many and diverse, ranging from developments in metaphysics
and literary theory to developments in recent physics. The discussion
should illuminate ways in which the important philosophical concept of
predication influences, and is influenced by, the manifold disciplines
on which it impinges.
PARTICIPANTS
Frank Arntzenius, Harvard University and University of Southern California
James Bogen, Pitzer College
Jeffrey Bub, University of Maryland
Alan Code, University of California at Berkeley
Maxwell Cresswell, Victoria University,
J. Michael Dunn, Indiana University
Kit Fine, UCLA
Malcolm Forster, University of Wisconsin
Karel Lambert, University of California at Irvine
Frank Lewis, University of Southern California
Carl Posy, Duke University
William J. Rapaport, SUNY Buffalo
Erhard Scheibe, University of Heidelberg
Bas van Fraassen, Princeton University
The conference is free and open to the public, but advance registration
is encouraged. To recieve information, please contact:
Ann Holland
UCI Conference Services
105 Administration
Irvine, CA 92717
714-856-6963
------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 9 Jun 89 11:08:56 -0400
From: overt@PRC.Unisys.COM
Subject: Bio-Matrix'89 Meeting Announcement
CALL FOR PARTICIPATION: CONFERENCE ON
THE MATRIX OF BIOLOGICAL KNOWLEDGE
Aug. 18-19, 1989
White Mountain Conference Center,
Waterville Valley, NH
Biological systems are characterized by complex relationships among
their components. It is becoming increasingly clear that further
rapid advances in our understanding of these systems depends on our
ability to structure, access and analyze the rapidly expanding volume
of experimental data and accumulated knowledge needed to elucidate
these relationships. To that end, a ``Matrix of Biological
Knowledge'' (Bio-Matrix) has been proposed in which biological
databases would be integrated into a cohesive whole and interfaced to
a knowledge base containing a structured representation of biological
knowledge. The resulting system would be used as the foundation for
the analysis of a range of biological problems. The Bio-Matrix
project requires an interdisciplinary approach combining expertise
from both the biological and computer science communities. This
meeting is designed to explore the issues and approaches towards
implementing the Bio-Matrix and to foster the necessary interchange
among the various computer science and biological disciplines. Topics
to be addressed include:
o Examples and status of current biological databases. DBs
include information resources for biosequences, genetics,
macromolecular structure, systematics, toxicology, etc. and
the associated literature.
o Approaches to database integration. These include the range
from straightforward database merges to integration of multiple
heterogeneous, distributed databases.
o Next generation database systems. Much information of
biological interest, e.g., graphics, pictures, text, and
biosequences, is not well suited to current commercial database
technology. Alternatives such as object-oriented databases,
hypertext and multi-media databases are needed.
o Automation of Knowledge Acquisition. A major stumbling block in
building the Bio-Matrix is the task of entering the enormous
volume of knowledge and data into the system. Methodologies
to overcome this block must be developed.
o Integrating Knowledge-Based/Expert Systems, Database Systems
and Analysis Tools. Analysis of biological problems is
knowledge and data intensive. How should systems be designed
to automate this process?
o Theory of Biological Knowledge Representation and Techniques
for Reasoning in the Biological Domain. How do we
best represent biological knowledge both for task specific
applications and as part of a general theory of biological
knowledge? Many key biological insights have been
driven by reasoning about analogies and homologies in systems both
within and between species. Methods for representing these
relationships and to assist in reasoning about them are central
to the Bio-Matrix concept. Similarly, models of biological
systems can be viewed both as a description of the system and as
a tool for reasoning about the system. As problems of increasing
complexity are addressed by biologists, the need for representing
and reasoning with models becomes more critical.
The conference will be organized as a two day meeting following and
coordinated with the 1989 MacroMolecules, Genes and Computing II
Meeting to be held Aug. 13-17, 1989 at the same site. The Bio-Matrix
Conference will include invited speakers, poster sessions and
workshops. Invited speakers will be chosen on the basis of a short
(less than 500 word) abstract describing their work. All others
attending the meeting are encouraged to submit a poster.
One of the primary aims of the meeting is to foster the dialog between
computer scientists and biologists that is necessary for the success
of the Bio-Matrix project. To that end, workshops will include both
tutorials to educate biologists in the potential benefits of recent
computer science research, and to educate computer scientists in the
front-line problems of interest to the biologists. In the latter
category, one workshop, ``Concepts in Biology for Computer
Scientists'', is designed to introduce computer scientists to areas of
biological research, such as the Human Genome Sequencing Projects,
where use of computers will play a major role in the success of the
project. Proposals for workshops and tutorials are invited at
this time. Again, proposals should be less than 500 words.
Proposals and abstracts should be submitted by June 15th with
notification of acceptance by July 5th. Acceptance of a proposal or
abstract is not a requirement for attendance, but funding for travel,
room and board will be limited to those selected to present material.
Cost of the meeting is moderate: There is no conference fee and room
and board is approximately $130 per day. We especially encourage the
participation of computer scientists who are interested in working in
the domain of biology to use this opportunity to establish contacts
with biologists. Submit electronically or by mail
to:
Dr. G. Christian Overton
Unisys Paoli Research Center
PO Box 517
Paoli, PA 19301
(215) 648-7533
overt@prc.unisys.com
------------------------------
To: nl-kr@cs.rpi.edu
Date: Tue, 6 Jun 89 09:39:51 PDT
From: calistri@algol.crd.ge.com (randy calistri)
Subject: CFP: IJCAI Plan Recognition Workshop
///////////////////////////////// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
////////// Workshop Announcement - Call for Participation \\\\\\\\\\
\\\\\\\\\\ Second Workshop on Plan Recognition //////////
\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ //////////////////////////////////
11th International Joint Conference on Artificial Intelligence
Detroit, Michigan, Monday August 21, 1989
Plan recognition problems remain at the center of a great deal of AI
related research. This workshop will bring together researchers and
practitioners who are interested in sharing their work on problems
associated with inferring a goal-based explanation of the behavior of
one or more agents. Closely related problems include inferring an
author's plans from text, and inferring a programmer's intentions from
code.
Problems of this sort often seem to lie at the heart of intelligence;
people can apparently select just the right explanatory principles
from a large store of knowledge. These problems have encouraged
interest in nontraditional control structures such a marker passing,
parallelism, and connectionism. To date no decisive solutions have
been obtained.
FORMAT:
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 interaction, participation will be limited to about 30-35
attendees, with no more than 10-12 presentations.
PARTICIPATION:
Those interested in attending should submit a one-page description of
their research interests and current work to one of the organizing
committee by June 23. Those interested in making a presentation should
submit an extended abstract (3-5 pages) of their intended topic.
Electronic submissions are encourage. Notification of acceptance or
rejection will be given by July 14. Any materials to be reproduced and
distributed at the workshop must be submitted by August 11.
ORGANIZING COMMITTEE:
John Josephson
The Ohio State University
LAIR, CIS Dept.
228 CAE Bldg., 2036 Neil Ave.
Columbus, Ohio 43210-2177
(614) 292-0208
Netmail:jj@cis.ohio-state.edu
Jeff Maier
Adaptive Software Inc.
4900 Frederick Pike
Dayton, Ohio 45414
(513) 275-9000
Randy Calistri
GE Corporate R&D
K1-5C8, PO Box 8
Schenectady, NY 12301
(518) 387-7839
Netmail: calistri@phecda.crd.ge.com
______________________________________________________________________
------------------------------
To: nl-kr@cs.rpi.edu
Date: Tue, 6 Jun 89 16:03:54 +0200
From: stdizier@godel.irisa.fr (Patrick Saint Dizier)
Subject: IKBCS-89 in Bombay: dec 11-13 1989.
IKBCS 89
International Conference on Knowledge Based Computer Systems,
Dec 11-13, Bombay, India.
Organised by the national center for software technology, Bombay
Original papers are invited on the following topics:
- Advances in Expert systems,
- AI applications,
- AI and engineering,
- Intelligent tutoring systems,
- Knowledge representation,
- learning,
- Logic Programming,
- Natural Language Understanding,
- Reasoning,
- Speech,
- Vision.
Send a single spaced paper, 10 pages long maximun to:
S Ramani, IKBCS-89, National Center for Software Technology,
Gulmohar Cross Road no 9
Bombay 400 049 India
by August 15.
Notification of acceptance/rejection: October 1st,
Final paper due November 1st.
Advisory Committee:
K Apt (The Netherland), Arvind (USA), M. Boden (UK), A. Joshi (USA),
R. Kowalski (UK), CJP Lucena (Brasil), P. Saint-Dizier (France), A. Togashi (Japan).
------------------------------
To: nl-kr@cs.rpi.edu
From: Steven Zenith <ames!hplabs!zenith@inmos-c>
Date: Tue, 13 Jun 89 11:16:00 BST
Subject: AI and CPA Conference
International conference
ARTIFICIAL INTELLIGENCE AND COMMUNICATING PROCESS ARCHITECTURE
17th/18th of July 1989, at Imperial College, London UK.
Keynote speaker
Prof. Iann Barron
Invited speakers
Prof. Igor Aleksander Neural Computing Architectures.
Prof. Colin Besant Programming of Robots.
Prof. David Gelernter Information Management in Linda.
Dr. Atsuhiro Goto The Parallel Inference Machine.
Prof. Tosiyasu Kunii Primitive Image Understanding.
Dr. Rajiv Trehan Parallel AI Systems.
Prof. Alan Robinson Functional and Relational reasoning.
Prof. Les Valiant] Bulk-synchronous Parallel Computing.
* Parallel Processing and AI *
Parallel Processing and Artificial Intelligence are two key themes
which have risen to the fore of technology in the past decade. This
international conference brings together the two communities.
Communicating Process Architecture is one of the most successful
models for exploiting the potential power of parallel processing machines.
Artificial Intelligence is perhaps the most challenging applications for
such machines. This conference explores the interaction between these two
technologies.
The carefully selected programme of invited talks and submitted papers
brings together the very best researchers currently working in the field.
* Topics include *
Robotics Neural Networks Image Understanding
Speech Recognition Implementation of Logic Programming Languages
Information management The Japanese Fifth Generation Project
Transputers and Occam
* Submitted papers *
Fault Tolerant Transputer Network for Image Processing
-- S Pfleger etal.
Multi-Transputer Implementation of CS-Prolog
-- Peter Kacsuk and I Futo
Transputer Common-Lisp: A Parallel Symbolic Language on Transputers
-- Bruno Pages
Fast Robot Kinematic Modelling via Transputer Networks
-- A.Y.Zomaya and A.S.Morris
Transputer-based Behavioral Module for Multi-Sensory Robot Control
-- Zhang Ying
PUSSYCAT: A Parallel Simulation System for Cellular Automata on Transputers
-- Eddy Pauwels
Self-organising Systems and their Transputer Implementation
-- D.A.Linkens and S.B.Hasnain
The Suitability of Transputer Networks for Various Classes of Algorithms
-- M.Korsloot etal.
* Proceedings *
The edited proceedings includes invited and submitted papers and is
published in a new book series on Communicating Process Architecture
published by John Wiley and Sons.
Organising committee, programme editors and conference chairmen:
Dr. Mike Reeve Imperial College, London, UK.
Steven Ericsson Zenith INMOS Limited, Bristol, UK.
* Conference dinner *
The conference dinner will be held at London Zoo, with before dinner
sherry in the Aquarium. Coaches will transport delegates.
* Accommodation *
Accommodation is available on the Campus of Imperial College. Campus
accommodation is available for Sunday and/or Monday night. Hotel
accommodation can be arranged separately by writing to the conference
secretary.
* Car parking *
Available at a number of local NCP sites.
* Payment *
Cheques or bankers drafts in pounds sterling should be made payable
to: OUG AI Conferences
Full name___________________________________________
Institute/Company___________________________________
Address_____________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
Country_____________________________________________
email :_____________________________________________
Non-residential 200 pounds sterling []
Residential (1 night) 225 pounds sterling []
Residential (2 nights) 250 pounds sterling []
Conference dinner 42 pounds sterling []
Total Payable________________________
Some student subsidy is available. 50% subsidy for UK students, 25% subsidy
for overseas students. Accomodation for students is at 15 pounds, but the
conference dinner is full fee.
Special dietary requirements:
Vegan [] Vegetarian [] Other (Please specify)
Date____________
Signed_______________________________ Dated_____________________
* Registration *
Registration should be received by June 16th. Late registration will
incur a 20 pound surcharge. All enquiries should be addressed to the
conference secretary:
The Conference Secretary,
OUG AI Conferences,
INMOS Limited,
1000 Aztec West,
Almondsbury,
Bristol BS12 4SQ,
UNITED KINGDOM.
Tel. 0454 616616 x503
email: zenith@inmos.co.uk
occam user group
* artificial intelligence *
special interest group
1st technical meeting of the OUG AISIG
This conference is underwritten by INMOS Limited, to whom the organising
committee wish to extend their thanks.
------------------------------
To: nl-kr@cs.rpi.edu
Date: Tue, 6 Jun 89 16:27:37 BST
From: Alan Bundy <bundy%aipna.edinburgh.ac.uk@NSFnet-Relay.AC.UK>
Subject: Postdoc Position in Theorem Proving at Edinburgh
Department of Artificial Intelligence
University of Edinburgh
RESEARCH FELLOW
(Mathematical Reasoning)
Applications are invited for an SERC supported post, tenable from 1st
November 1989, or on a mutually agreed date. Appointment will be to
September 30th 1991, initially, but with a possibility of renewal.
The research is to develop proof plans, a technique for guiding the
search for a proof in automatic theorem proving. The main application
is to the automatic synthesis, verification and transformation of
logic programs using constructive logic. The project is led by
Professor Alan Bundy and Dr Alan Smaill.
Candidates should possess a PhD or have equivalent research or
industrial experience. Knowledge of logic is essential and knowledge
of artificial intelligence, formal methods in software engineering or
logic programming would be an advantage. Salary is on the AR1A scale
in the range 9,865-15,720 pounds p.a., according to age,
qualifications and experience.
Applicants should send a CV and the names of two referees to:
Prof. Alan Bundy.
Department of Artificial Intelligence,
University of Edinburgh,
80 South Bridge,
Edinburgh,
EH1 1HN.
as soon as possible. The closing date for applications is 17th July
1989. Further details may be obtained from Prof. Bundy (at the above
address or email to bundy@uk.ac.edinburgh or bundy@rutgers.edu)
quoting reference number 5678/E.
------------------------------
End of NL-KR Digest
*******************
