Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 210
AIList Digest Tuesday, 8 Sep 1987 Volume 5 : Issue 210
Today's Topics:
Seminars - Proving Completeness of Inference Rules (SRI) &
NIAL: A Programming Language for AI (SRI),
Conferences - Site and Officers for IJCAI-91 &
OOPSLA 88
----------------------------------------------------------------------
Date: Mon, 31 Aug 87 10:08:31 PDT
From: lunt@csl.sri.com (Teresa Lunt)
Subject: Seminar - Proving Completeness of Inference Rules (SRI)
SRI COMPUTER SCIENCE LABORATORY SEMINAR ANNOUNCEMENT:
PROVING COMPLETENESS OF INFERENCE RULES
JEAN-PIERRE JOUANNAUD
LABORATOIRE DE RECHERCHE EN INFORMATIQUE
UNIVERSITE PARIS-SUD-ORSAY
Tuesday, September 8 at 4:00 pm
SRI International, Computer Science Laboratory, IS109
Many problems described by means of algorithms should be described by a set of
inference rules plus a search plan (strategy). Not only does this viewpoint
improve our understanding, but it also makes completeness proofs easier and
eventually mechanizable in the following way:
1. Give a complete algebraic specification of the underlying notion of proof.
2. Associate with the inference rules a rewrite system on proofs, considered
as terms.
3. Prove termination of the rewrite system on proofs.
4. Characterize proofs in normal form.
5. Show for each particular strategy that the set of normal forms is the same.
This last property has been called "fairness" in term rewriting. It is actually
a very general notion in theorem proving, whose proof turns out to be a
non-trivial task as soon as there are "destructive" inference rules. For that
reason, very few inference systems containing such rules are proved.
A number of applications of this methodology will be given, including
unification.
NOTE: Non-SRI visitors please arrive at least 10 minutes early
to be escorted to the conference room.
------------------------------
Date: Thu, 3 Sep 87 09:38:16 PDT
From: lunt@csl.sri.com (Teresa Lunt)
Subject: Seminar - NIAL: A Programming Language for AI (SRI)
SRI COMPUTER SCIENCE LAB SEMINAR ANNOUNCEMENT:
NIAL: A Programming Language for Artificial Intelligence
Janice I. Glasgow
Queen's University, Kingston, Canada
Friday, September 18 at 10:30 am
SRI International, Computer Science Laboratory, IS109
Nial is a high-level, interactive programming language that synthesizes
many semantic concepts from LISP, Prolog and APL in one notational framework.
It is based on the formal theory of the nested, rectangular array as a
mathematical data object. Q'Nial is a portable implementation of Nial developed
at Queen's University and available on many architectures including large
timesharing machines, Unix systems and personal computers.
One of the principal application areas of Nial is artificial intelligence.
The goal of research in this area has been to provide high level tools
in the language from which tailored knowledge based systems can be constructed.
These tools include logic programming primitives, inference engines, a frame
language, a rule interpreter and a natural language parser.
This seminar will include a description Nial with particular emphasis
on the application of the language to decision support and knowledge
based systems.
NOTE: Non-SRI visitors please arrive at least 10 minutes early
to be escorted to the conference room.
------------------------------
Date: Wed, 2 Sep 87 17:09:55 GMT
From: Alan Bundy <bundy%aiva.edinburgh.ac.uk@Cs.Ucl.AC.UK>
Subject: Conference - Site and Officers for IJCAI-91
At its meeting during IJCAI-87, the 1987 IJCAI Executive
Committee took the following decisions about IJCAI-91.
Site: Sydney, Australia.
Conference Chair: Barbara Grosz, University of Harvard.
Program Chairs (joint): Ray Reiter & John Mylopoulos, University of
Toronto.
The conference is provisionally scheduled for the 3rd week of
August 1991.
Alan Bundy
Executive Committee Chair
------------------------------
Date: 29 Aug 87 17:05:54 GMT
From: hp-pcd!uoregon!omepd!intelisc!littlei!ogcvax!maier@hplabs.hp.com
(Prof. David Maier)
Subject: Conference - OOPSLA 88
OOPSLA-87 invites you to attend the second annual conference devoted to
applications, research and implementation of object-oriented systems,
October 4 - 8, 1987, in Orlando, Florida.
OOPSLA-87 includes tutorials, technical sessions, panels, and vendor exhibits.
Conference Schedule
-------------------
Sunday, 4 October - Tutorials
1A - Introduction to Obj. Oriented Concepts - Oct 4, 9AM
1B - Object Oriented Databases - Oct 4, 9AM
2A - Survey of Object-Oriented Systems - Oct 4, 1:30PM
2B - Object Oriented Programming in AI - Oct 4, 1:30PM
Monday, 5 October - Tutorials
3A - Introduction to Obj. Oriented Concepts - Oct 5, 9AM
3B - Develelopment of Large Applications - Oct 5, 9AM
4A - Survey of Object-Oriented Systems - Oct 5, 1:30PM
4B - Obj. Oriented Application Frameworks - Oct 5, 1:30PM
Tuesday,6 October
9 AM Keynote Address - Barbara Liskov, MIT
10:30 AM Sessions: (1A) Applications (1B) Tools/Environment
2 PM Sessions: (2A) Database (2B) Theory
4:30 PM Panels: (P1) Teaching OOP (P2) Forms of Inheritance
5:30 PM Reception in the Vendor Exhibit area
Wednesday, 7 October
9 AM Panels: (P3) Use of OOP in Commercial Settings
(P4) Adding OOP to Existing Languages
10:30 AM Sessions: (3A) Software Engineering (3B) Languages
2 PM Sessions: (4A) User Interfaces (4B) Implementation
4:30 PM Panels: (P5) Usability of OOP Systems (P6) Future of OOP
7 PM Banquet , speaker: Michael Jackson, Jackson Systems Ltd.
Thursday, 8 October
9 AM Report: OOP Standardization Efforts
10:30 AM Sessions: (5A) Applications (3B) Software Engineering/Tools
2 PM Sessions: (4A) Database/Languages (4B) Theory
Vendor Exhibits will be open Tuesday, Wednesday and Thursday.
Conference Prices
ACM Member $ 215
non-member $ 255
student $ 50
Tutorials are scheduled in two parallel tracks, the introductory (A) track,
and the intermediate (B) track. You may register for only one session
in any half-day time slot, or a maximum of 4 tutorial sessions.
Tutorial price per half-day session:
ACM Member $ 125
non-member $ 145
student $ 125
Extra Banquet tickets $ 30
Telex confirmation option $ 10
Pay by check or money order. Checks or money orders must be payable
through a U.S. bank, and must have machine-readable account numbers.
Confirmation will be sent by Telex, upon payment of the extra charge.
Send registrations and requests for more information to:
OOPSLA-87
P.O. Box 3845
Portland, OR 97208-3845 USA
Telex: 159265412
FAX: 503 643 5931
UUCP mail: ..tektronix!ogcvax!servio!otisa
ATTMAIL: aotis
Send hotel reservations to:
Hyatt Orlando
6375 West Space Coast Parkway
Kissimmee, Florida 32741
Tel 305 396 1234 Telex 567436
Discounted airline fares are offered by Continental and Eastern .
Call 800-468-7022 and mention account number EZ10T83.
The Hyatt Orlando is adjacent to Walt Disney World, with shuttle bus service
available from the hotel.
---------------------------------------------------------
Please respond to Alan Otis, not me
--Dave Maier
--
David Maier, Oregon Graduate Center <maier@ogcvax.OGC.EDU>
...tektronix!ogcvax!maier
------------------------------
End of AIList Digest
********************
