Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 06 No. 09
NL-KR Digest (Tue Mar 21 14:35:53 1989) Volume 6 No. 9
Today's Topics:
SUNY Buffalo Cog Sci: Kuroda
ACAI'89 - course announcement
IJCAI-91 announcement; please post or print
IJCAI-93 site decision made; please post
Adding Forward Chaining and TMS to Prolog (Unisys AI Seminar)
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: Mon, 13 Mar 89 17:04:58 EST
From: rapaport@cs.Buffalo.EDU (William J. Rapaport)
Subject: SUNY Buffalo Cog Sci: Kuroda
UNIVERSITY AT BUFFALO
STATE UNIVERSITY OF NEW YORK
GRADUATE GROUP IN COGNITIVE SCIENCE
PRESENTS
S.-Y. KURODA
Department of Linguistics
University of California, San Diego
The Cognitive Basis of the So-Called Topic in Japanese:
A Contribution to Discourse and Narrative Theory
The Japanese language distinguishes ``topicalized'' and ``nontopical-
ized'' sentences by grammatical means. This distinction is commonly
accounted for in terms of discourse theory. I once proposed an
approach, broadly put, in cognitive semantics, in terms of the distinc-
tion between ``categorical'' and ``thetic'' judgments, the distinction
originally introduced by Franz Brentano and Anton Marty. I would like
to give a fresh look at this distinction; I propose to separate
``affirming'' from ``asserting''. I will apply this distinction to
account for different effects that topicalized and nontopicalized sen-
tences bring to discourse and narration.
Thursday, March 23, 1989
4:00 P.M.
280 Park Hall, Amherst Campus
There will be an evening discussion at 8:00 P.M.,
at Mary Galbraith's, 130 Jewett Parkway, Buffalo.
For further information, contact Bill Rapaport, Department of Computer
Science, 716-636-3193.
------------------------------
To: nl-kr@cs.rpi.edu
Date: 14 Mar 89 11:41 +0100
From: "Thomas E. Rothenfluh" <rothen%ifi.unizh.ch@RELAY.CS.NET>
Subject: ACAI'89 - course announcement
Dear Moderator
You are kindly asked to distribute the announcement for ACAI,
details see below in the text.
Yours sincerely
Thomas Rothenfluh, Course Director ACAI'89
- ---------------------------------------------------------------------
Announcement
- ---------------------------------------------------------------------
ACAI'89
3rd Advanced Course in Artificial Intelligence
Neuchatel, Switzerland
8 - 16 August, 1989
- ---------------------------------------------------------------------
An ECCAI (European Coordinating Committee for Artificial Intelligence)
event organized by SGAICO (Swiss Group for Artificial Intelligence and
Cognitive Science), a special interest group of the SI (Schweizerische
Informatiker Gesellschaft)
- ---------------------------------------------------------------------
Topic
Advanced Knowledge Representation
and
Methodology of Knowledge Engineering
- ---------------------------------------------------------------------
Lecturers
Hector J. Levesque University of Toronto, Canada
Paul Smolensky University of Colorado, Boulder, USA
John F. Sowa IBM Systems Research Inst., Thornwood, New York, USA
Luc Steels Free University of Brussels, Belgium
Yorick Wilks New Mexico State University, USA
- ---------------------------------------------------------------------
Date Tuesday, 8 August - Wednesday, 16 August 1989
Location Neuchatel, Switzerland
- ---------------------------------------------------------------------
Course Director Thomas Rothenfluh,
University of Zurich, Switzerland
Local Organizing Chair Philippe Dugerdil,
University of Neuchatel, Switzerland
Program Committee Pierre Bonzon, Rolf Pfeifer, Johannes Retti,
Oliviero Stock, Bob Wielinga, Yorick Wilks
- ---------------------------------------------------------------------
The course
ECCAI (European Coordinating Committee for Artificial Intelligence)
organizes biannual Advanced Courses in Artificial Intelligence open to
researchers and practitioners of AI from all countries. The level of
presentation is aimed at a highly capable and well prepared audience.
After the first two Courses (Vignieu, France in 1985; Oslo, Norway in
1987), the Swiss Group for Artificial Intelligence and Cognitive
Science (SGAICO) is happy to announce that the third course in 1989
will take place in Neuchatel (Switzerland).
With respect to evaluations of previous courses, ACAI'89 will focus on
two major topics, namely advanced knowledge representation and the
methodology of knowledge engineering.
Knowledge engineering and its related topics are not restricted to
expert system development methodology exclusively but to the
development of AI systems in general. It is well recognized that the
lack of an established theory and methodology is one of the most
crucial issues within AI and pertinent to most of current research and
development efforts.
The course in 1989 will try to highlight different approaches to those
problems and should lay the grounds for interesting and productive
discussions.
The course is structured into the following main components
A series of lectures are to cover advanced concepts in the field of
knowledge "handling" in general as well as in its various subfields,
e.g. knowledge acquisition, knowledge representation, knowledge
verification, and the entire development of "intelligent" systems,
etc. Tutorial-style lectures, hands-on training, and case-studies
should expose methodology and techniques together with pertinent
problems, solutions, and limitations. These detailed, practical and
even technical lectures and workshops should provide the opportunity
to gain insights and experiences with current "hot topics" in AI and
allow participants to evaluate these new trends with respect to their
own work.
Theory lectures will also cover the general philosophical and
epistemological background of AI. The topics relevant to that
discussion, e.g. the relation of logic or of empirical methodology to
AI, the deep questions about the "nature" of mind, etc., need to be
discussed and reflected by the community of advanced AI workers. In
general, there is not enough time to cover these issues in congresses
and workshops. Also, hopefully these lectures could provide some means
of integration for people working within the many different subfields
of AI.
- ---------------------------------------------------------------------
Course site
Neuchatel, the beautiful course site in the French speaking part of
Switzerland, is within easy reach of public transportation from all
over Europe. It is located at the border of Lake Neuchatel and at the
foot of the Jura mountains. It is part of the charming littoral with
its picturesque villages, old boroughs, vineyards, fields, and woods.
Together with its university, Neuchatel is well prepared to provide
the participants with a pleasant working atmosphere as well as
enjoyable surroundings for sports, leisure, and weekend journeys.
- ---------------------------------------------------------------------
The lectures
The speakers are all well known within AI and a fair description of
their work cannot be given within the limited space of this
announcement. A large number of reference points may be found in
books, scientific journals, conference proceedings a.s.o. (preparatory
reading lists will be sent to the participants).
Some of the topics to be presented and discussed at ACAI'89 within the
general perspective of advanced knowledge representation and
methodologies of knowledge engineering are:
Belief Systems, Conceptual Graphs, Connectionist Principles of
Knowledge Representation, Deep Reasoning, Development Strategies for
Knowledge-based Systems, Foundations of AI, Functional Approach to
Knowledge Representation, Learning, Metaphors, Natural Language
Issues, Philosophical Issues, Role of Logic, Second Generation Expert
Systems, Situations and attitudes, Statistical Inference, Symbolic and
Neural Modeling Paradigms.
The lectures will be held in a tutorial style, the necessary
prerequisite to follow the classes is some background and knowledge of
the basic themes and techniques of AI (e.g. inference mechanisms,
search), basic representation formalisms (e.g. logic, semantic
networks), and some experience with the more applied side of AI,
namely research traditions (e.g. solved and unsolved problems) as well
as applications of AI (e.g. implementation, programming).
The structure of the course is based on the lectures, which will be
held mainly in morning and afternoon sessions. For special interest
groups, evening sessions may be organized on request (e.g. mini-
tutorials, demonstration of software, presentation of whole research
groups).
Another part of ACAI'89 will be devoted to discussions, round tables,
demonstrations, and expositions. There will also be space and time to
present and discuss the participants own work with lecturers and other
participants. In this respect, the organizers will try to arrange
informal meetings in small groups having common interests.
In order to facilitate discussions and the exchange of ideas, a
"poster exhibition" will allow participants to present their own work
in the pertinent fields. Participants who are willing to give
demonstrations should contact the organizers to provide the necessary
infrastructure.
- ---------------------------------------------------------------------
The Small Print
Organization
ECCAI (European Coordinating Committee for Artificial Intelligence)
SGAICO (Swiss Group for Artificial Intelligence and Cognitive
Science)
Course Location
University of Neuchatel, Switzerland
Dates
Deadline for application: 15 April 1989
(reception of application form)
Notification of acceptance: 1 May 1989
Payment of course fees: 1 July 1989
Arrivals: Participants will arrive Monday, 7 August in the evening
Lectures start at Tuesday, 8 August and last until Wednesday, 16
August.
Departures: Participants will leave Wednesday, 16 August in the
afternoon.
Participants
The course is open to practitioners and researchers of AI from all
countries. The level of presentation will be aimed at an advanced
audience, i.e. all participants should have good knowledge of the
basics of AI as well as practical experience. To preserve the
character of such a course and due to space limitations, the number
of participants will be limited. Applicants should complete the
attached form and return it to the address given below at their
earliest possible convenience.
Course Fee
Course fees include:
- admission to all lectures and workshops
- accommodation for 9 nights (Nights of Monday, 7 August until
and including Tuesday, 15 August, extended stays are possible)
- breakfast; lunch (except Sunday), refreshments
- reductions for evening meals (if desired)
- documentation, working material
On the basis of double rooms, the overall course fee is ECU 900 or
the equivalent in a convertible currency; for single rooms, the fee
is ECU 1000.
For applicants without a need for hotel etc. other arrangements are
possible; contact the organizers in advance.
In most countries, funding for participation of such educational
events is possible. Please contact your local authorities and
national AI-societies for details. A limited number of reduced fees
are available for graduate students/assistants. Please enclose with
your application a request for financial support which is well
justified and which proves your current status (photocopy of
student ID, letter of recommendation, or similar).
Payment
Please remit the fee only upon receipt of admission notice and
invoice by the organizers. The acceptance letter will indicate the
paying modalities.
Final admission to the course may be guaranteed after the reception
of the payment only.
Accommodation
Costs for accommodation are included in the course fee (see above).
The rooms have already been reserved by the organizers. Double
rooms are standard, a limited number of single rooms is available.
Some hotels are located outside Neuchatel in its beautiful
surroundings. If you intend to come with your private car, you may
also want to check a hotel out of town on the application form.
Cancellations
If an (admitted) registration is cancelled, there will be a
cancellation charge of 10% after 1 July 1989, unless you name a
replacement.
Language
The language of the course is English.
Sponsors
Ascom Tech (Switzerland)
Cables Cortaillod S.A.
City of Neuchatel
ECCAI
Electricite Neuchateloise S.A.
IBM (Switzerland)
NEWIS S.A.
Schweizerische Kreditanstalt
SGAICO and SI
Texas Instruments (Switzerland)
UNISYS (Switzerland)
University of Neuchatel
University of Zurich
- -----------------------------------------------------------------
Contact Address
To get more information and application forms, please contact:
ACAI'89
Zurichbergstr. 43
CH-8044 Zurich
Switzerland
Phone +41 1 257 30 98
Telex 817 260 uniz ch
Fax +41 1 257 23 04
E-mail rothen@ifi.unizh.ch
rothen@unizh.UUCP
K715311@CZHRZU1A.BITNET
------------------------------
To: nl-kr@cs.rpi.edu
Date: Wed, 15 Mar 89 10:33:21 EST
From: walker@flash.bellcore.com (Donald E Walker)
Subject: IJCAI-91 announcement; please post or print
IJCAI-91, Sydney, Australia, 24-30 August 1991
IJCAI-91 will be held 24-30 August 1991 in Sydney, Australia.
Barbara Grosz, Harvard University, has been elected Conference
Chair; John Mylopoulos and Ray Reiter, University of Toronto, have
been elected Program CoChairs; and Robin Stanton and John Debenham
have been appointed to chair the Local Arrangements Committee.
Don Walker, Bellcore, the IJCAII Secretary-Treasurer, will also
serve as Secretary-Treasurer for the conference.
For further information, contact one of the following:
Prof. Barbara J. Grosz
Conference Chair, IJCAI-91
Aiken Computation Lab 20
Harvard University
33 Oxford Street
Cambridge MA 02138, USA
(+1-617)495-3673
internet: grosz@harvard.harvard.edu
Prof. John Mylopoulos
Program CoChair, IJCAI-91
Computer Science Department
University of Toronto
Toronto, Ontario
CANADA M5S 1A4
(+1-416)978-5180
csnet: jm@ai.toronto.edu
Prof. Ray Reiter
Program CoChair, IJCAI-91
Computer Science Department
University of Toronto
Toronto, Ontario
CANADA M5S 1A4
(+1-416)978-6324
csnet: reiter@ai.toronto.edu
Dr. Donald E. Walker
Secretary-Treasurer, IJCAI-91
Bellcore, MRE 2A379
445 South Street, Box 1910
Morristown, NJ 07960-1910, USA
(+1-201)829-4312
internet: walker@flash.bellcore.com
Prof. Robin Stanton
Local Arrangements CoChair, IJCAI-91
Australian National University
Department of Computer Science
GPO Box 4
Canberra, ACT 2601, AUSTRALIA
(+61-62)49-3475
usenet: munnari!anucsd.oz.au!rbs
Dr. John K. Debenham
Local Arrangements CoChair IJCAI-91
School of Computing Sciences
University of Technology, Sydney
PO Box 123
Broadway, NSW, AUSTRALIA 2007
(+61-2)218-9562
usenet: munnari!nswitgould.oz.au!debenham
------------------------------
To: nl-kr@cs.rpi.edu
Date: Wed, 15 Mar 89 10:35:54 EST
From: walker@flash.bellcore.com (Donald E Walker)
Subject: IJCAI-93 site decision made; please post
IJCAI-93, Chambery, France, 29 August - 3 September 1993
The Trustees of the International Joint Conferences on Artificial
Intelligence, Inc. are pleased to announce that IJCAI-93 will be
held 29 August - 3 September 1993 in Chambery, France. Jean-Pierre
Laurent, Universite de Savoie, will be responsible for Local
Arrangements. The Conference and Program Chairs for IJCAI-93 will
be elected by the IJCAI Executive Committee during the IJCAI-89
conference. Don Walker, Bellcore, the IJCAII Secretary-Treasurer,
will also serve as Secretary-Treasurer for the conference.
For further information, contact one of the following:
Prof. Jean-Pierre Laurent
Local Arrangements Chair, IJCAI-93
Universite de Savoie
BP 1104
F-73001 Chambery, FRANCE
(+33-79)961-062
usenet: jplaure@imag.fr
Dr. Donald E. Walker
Secretary-Treasurer, IJCAI-93
Bellcore, MRE 2A379
445 South Street, Box 1910
Morristown, NJ 07960-1910, USA
(+1-201)829-4312
internet: walker@flash.bellcore.com
------------------------------
To: nl-kr@cs.rpi.edu
Date: Wed, 15 Mar 89 20:13:04 -0500
From: finin@PRC.Unisys.COM
Subject: Adding Forward Chaining and TMS to Prolog (Unisys AI Seminar)
AI SEMINAR
UNISYS PAOLI RESEARCH CENTER
Adding Forward Chaining and Truth Maintenance to Prolog
Tim Finin
Unisys Paoli Research Center
finin@prc.unisys.com
Prolog, like most logic programming languages, has a fixed reasoning
strategy based on depth-first, left-to-right backward chaining. Many
applications can benefit from more flexible reasoning strategies.
This talk describes an approach to extending Prolog's reasoning
capabilities by adding forward chaining, Horn clauses, and an
integrated truth maintenance system.
The Pfc system is a package, implemented in standard Prolog, that
provides a forward reasoning capability with an integrated
justification-based truth maintenance system. It is intended to be
used together with conventional Prolog programs, allowing the
programmer to decide whether to encode a particular piece of knowledge
as a forward-chaining Pfc rule or a backward chaining Prolog one.
Like other logic programming languages, Pfc programs have a
declarative interpretation as well as clear and predictable procedural
one. The integrated truth maintenance system maintains consistency,
supports non-monotonic reasoning, and makes derivations available for
applications. Finally, Pfc is designed to be practical, being
relatively efficient and fairly unobtrusive.
Monday, March 20, 2:00
BIC Conference Room
Unisys Paoli 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 --
------------------------------
End of NL-KR Digest
*******************
