Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 151
AIList Digest Thursday, 18 Jun 1987 Volume 5 : Issue 151
Today's Topics:
Seminars - Mechanization of Programmer's Knowledge (MCC) &
Partial Order Programming (MCC) &
AI at Vanderbilt & Comparative Induction (NASA Ames) &
Default Reasoning and Stereotypes in User Modelling (UPenn),
Conference - Last Call for AAAI-87 Volunteers &
CADE-9: Automated Deduction &
Office Knowledge &
Second Eurographics Workshop on Intelligent CAD Systems
----------------------------------------------------------------------
Date: Mon 15 Jun 87 14:12:25-CDT
From: Ellie Huck <AI.ELLIE@MCC.COM>
Subject: Seminar - Mechanization of Programmer's Knowledge (MCC)
Please join the AI group for the following speaker:
ON THE MECHANIZATION OF PROGRAMMER'S KNOWLEDGE
Henryk Jan Komorowski
Harvard University
June 17 - 10:00
MCC Balcones Auditorium
What do programmers with experience in writing programs know and how
can this knowledge be mechanized so it can be used by a computer? This
talk presents an informal overview of the foundations of mechanical
support for software design. The goal of the mechanization is to
provide an intelligent assistant for the programmer that can uncover
flaws in the design rather than automatically generate programs. What
programmer knows is divided into knowledge of data structures,
recursive schemata, assimilation rules, and the process of designing a
program which is similar to extension of a theory. A prototype system
now implemented provides salient advice, despite its limited
knowledge-base.
June 17 - 10:00
MCC Balcones Auditorium
------------------------------
Date: Mon 15 Jun 87 14:50:06-CDT
From: Ellie Huck <AI.ELLIE@MCC.COM>
Subject: Seminar - Partial Order Programming (MCC)
Please join the AI Group for the following speaker:
PARTIAL ORDER PROGRAMMING
D. Stott Parker
UCLA Computer Science Department
June 19 - 10:00
MCC Balcones Auditorium
We introduce a declarative programming paradigm that describes
computation with partial orders. A partial order program corresponds
to a collection of constraints
u >= C(u)
where >= is a partial order on a domain of `objects' and `values',
u is an object, and C(u) is an object or a value.
Semantics of such a program consist of assignments of values to the
objects u that satisfy the inequalities. When C is a monotone and
continuous function, fixpoint semantics of the program may be
obtained easily and naturally.
The partial order programming paradigm has interesting properties:
(1) It generalizes various computational paradigms (logic,
functional, object-oriented, and others) in a clean way.
(2) It takes thorough advantage of known results for continuous
functionals on partial orders, providing a clear semantics
for the paradigm.
(3) It presents a framework that may be more generally acceptable
for dealing with `cognitive' computation problems, including
natural language processing and knowledge representation.
(4) It coincides with recent work on relaxation solution of a
variety of problems including consistent labelling, path
problems, and linear algebraic systems.
June 19 - 10:00
MCC Balcones Auditorium
------------------------------
Date: Tue, 16 Jun 87 15:15:50 PDT
From: JARED%PLU@ames-io.ARPA
Subject: Seminars - AI at Vanderbilt & Comparative Induction (NASA
Ames)
NASA, Ames Research Center
Intelligent Systems Forum
TWO SPEAKERS:
Dr. Arthur J. Brodersen
Center for Intelligent Systems
Vanderbilt University
Expert Systems Research at Vanderbilt University
Abstract:
The current research activities at the Center for Intelligent Systems
at Vanderbilt University will be discussed. The current research
activities include knowledge-based systems for test technologies,
intelligent tutorial systems for simulation tools, training systems,
knowledge retrieval systems, and diagnositic and repair systems.
David Hartzband
Digital Equipment Corporation
Chief Scientist, Artificial Intelligence Technology Group
and
Visiting Scholar, Stanford University
Comparative Induction Methods for Problem Solving and
(Some) Learning}
Date: Thursday, June 18, 1987
Time: 2:00 to 4:30 PM
Location: Bldg. 245, Space Science Auditorium
Inquires: David Jared, (415) 694-6525, jared@ames-pluto.arpa
VISITORS ARE WELCOME: Register and obtain vehicle pass at Ames Visitor
Reception Building (N-253) or the Security Station near Gate 18. Do not
use the Navy Main Gate.
Non-citizens (except Permanent Residents) must have prior approval from the
Director's Office one week in advance. Submit requests to the point of
contact indicated above. Non-citizens must register at the Visitor
Reception Building. Permanent Residents are required to show Alien
Registration Card at the time of registration.
------------------------------
Date: 15 Jun 87 12:15:25 EDT
From: Marcella.Zaragoza@isl1.ri.cmu.edu
Subject: Seminar - Default Reasoning and Stereotypes in User
Modelling (UPenn)
SPECIAL SEMINAR
SPEAKER: Timothy Finin
Computer and Information Science
University of Pennsylvania, Philadelphia, PA
WHEN: Thursday, June 18, 1987, 10:00 am
WHERE: Doherty Hall 3313
TOPIC: DEFAULT REASONING AND STEREOTYPES IN USER MODELLING
This talk discusses the application of various kinds of default reasoning in
systems which must maintain a model of its users. In particular, we
describe a general architecture of a domain independent system for building
and maintaining long term models of individual users. The user modelling
system is intended to provide a well defined set of services for an
application system which is interacting with various users and has a need to
build and maintain models of them. As the application system interacts with
a user, it can acquire knowledge of him and pass that knowledge on to the
user model maintenance system for incorporation. We describe a prototype
general user modelling system (hereafter called GUMS1 which we have
implemented in Prolog. This system satisfies some of the desirable
characteristics we discuss.
------------------------------
Date: 16 Jun 87 20:18:07 GMT
From: feifer@locus.ucla.edu
Subject: Conference - Last call for AAAI-87 volunteers
Due to some last minute cancellations we have a few
openings for volunteers for AAAI-87.
Please see the original posting below for more information.
If interested, please respond immediately.
ANNOUNCEMENT:
Student Volunteers Needed for
Artificial Intelligence Conference
AAAI-87
AAAI-87 (American Association on Artificial Intelligence) will
be held July 13-17, 1987 in beautiful Seattle, Washington.
Student volunteers are needed to help with local arrangements
and staffing of the conference. To be eligible for a Volunteer
position, an individual must be an undergraduate or graduate
student in any field at any college or university.
This is an excellent opportunity for students to participate in
the conference. Volunteers receive FREE registration at AAAI-87,
conference proceedings, "STAFF" T-shirt, and are invited to the
volunteer party. More importantly, by participating as a volunteer,
you become more involved and meet students and researchers with
similar interests.
Volunteer responsibilities are varied, including conference
preparation, registration, staffing of sessions and tutorials
and organizational tasks. Each volunteer will be assigned
twelve (12) hours.
If you are interested in participating in AAAI-87 as a Student
Volunteer, apply by sending the following information:
Name
Electronic Mail Address
USMail Address
Telephone Number(s)
Dates Available
Student Affiliation
Advisor's Name
to:
feifer@locus.ucla.edu
or
Richard Feifer
UCLA
Center for the Study of Evaluation
145 Moore Hall
Los Angeles, California 90024
Thanks, and I hope you join us this year!
Richard Feifer
Student Volunteer Coordinator
AAAI-87 Staff
- Richard
------------------------------
Date: Mon, 15 Jun 87 20:07:49 cdt
From: stevens@anl-mcs.ARPA (Rick L. Stevens)
Subject: Conference - CADE-9: Automated Deduction
Preliminary Announcement and Call for Papers
9th International Conference on Automated
Deduction
May 23-26, 1988
CADE-9 will be held at Argonne National Laboratory (near
Chicago) in celebration of the 25th anniversary of the
discovery of the resolution principle at Argonne in the sum-
mer of 1963. Papers are invited in the following or related
fields:
Theorem Proving Logic Programming
Unification Deductive Databases
Term Rewriting ATP for Non-Standard Logics
Program Verification Inference Systems
The Program Committee includes:
Peter Andrews Hans-Jorgen Ohlbach
W.W. Bledsoe Ross Overbeek
Alan Bundy William Pase
Seif Haridi Jorg Siekmann
Larry Henschen Jim Williams
Jean-Louis Laissez Mark Stickel
Dallas Lankford
Ewing Lusk
Michael MacRobbie
Papers should be sent to arrive before November 23rd, 1987
to
Ewing Lusk and Ross Overbeek, chairmen
CADE-9
Mathematics and Computer Science Division
Argonne National Laboratory
Argonne, IL 60439
------------------------------
Date: Mon, 15 Jun 87 17:17:53 edt
From: rba@flash.bellcore.com (Robert B. Allen)
Subject: Conference - Office Knowledge
Office Knowledge: Representation, Management and Utilization
University of Toronto
IFIP WG8.4 Workshop Program
For information contact: Fred Lochovsky, fred@csri.toronto.edu
Monday, August 17th, 1987
8:00-9:00 Registration
9:00-9:15 Workshop Opening Remarks
9:15-10:45 Session: Invited Talk
Objects and Things. D. Tsichritzis, Universite de Geneve,
Switzerland
11:15-12:45 Session: Supporting Organizational Activities
Ubik: A System for Conceptual and Organizational Development.
P. de Jong, MIT, U.S.A.
KNOOM - KNowledge Oriented Office Model Representation of
Knowledge in the Office. M. Hofmann, Universitaet Wien,
Austria
OTM: A Language for Representing Concurrent Office Tasks.
J. Hogg, University of Toronto, Canada
2:00-3:30 Session: Invited Talk
Representing Office Work with Goals and Constraints.
W.B. Croft, University of Massachusetts, U.S.A.
4:00-5:30 Session: Representing, Querying and Generating
Office Objects
Time Management in the Office-net System. R. Maiocchi,
R. Zicari, Politecnico di Milano, Italy, M. Fugini,
Universita di Brescia, Italy
Towards a Graphic Query Interface for Complex Objects.
G. Lausen, Universitaet Mannheim, West Germany, A. Oberweis,
Technische Hochschule Darmstadt, West Germany
Knowledge Representation and Utilization in Automatic Office
Form Generation. K. Watabe, K. Tsuruoka, NEC Corporation,
Japan
5:30-6:30 Reception
6:30-7:30 Demonstration
Meta-Data for Automating the Management of Office Information.
R.E.A. Mason, A. Benjamin, J.R. Tessier, Online People Inc.,
Canada
_________________________________________________________________
Tuesday, August 18th, 1987
9:00-10:30 Session: Invited Talk
Organizational Semantics. C. Hewitt, MIT, U.S.A.
11:00-12:30 Session: Problem Solving
An Office Environment to Support Problem Solving.
P.W.G. Bots, H.G. Sol, Delft University of Technology,
Netherlands
Generic Knowledge in Office Activities. A.A. Araya,
M.J. Stefik, Xerox PARC, U.S.A.
EXPERTNET: An Approach to Resource Sharing on a Network of
Workstations. A. Allam, Northern Telecom Canada Ltd.,
Canada, G.M. White, University of Ottawa, Canada
2:00-3:30 Session: Text and Pictures
Semantics and Conceptual Modelling of Documents. F. Barbic,
S. Daneluzzi, F. Garzotto, S. Mainetti, P. Paolini,
Politecnico di Milano, Italy
Knowledge-Based Text Processing in Office Environments: The
Text Condensation System TOPIC. U. Hahn, Universitaet
Passau, West Germany, U. Reimer, Universitaet Konstanz, West
Germany
Knowledge Base for Storage and Retrieval of Pictures.
B. Beetz, SEL Research Center, West Germany
4:00-5:30 Session: Poster Session
Artificial Intelligence and Organizational Design: Prospects
of Integrating Two Perspectives. U. Frank, Universitaet
Mannheim, West Germany
Intermediate Knowledge Representation for Extended Office
Systems. E.S. Cordingley, University of Surrey, England
Intelligent Interfaces for Office Information Systems.
B.C. Desai, Concordia University, Canada, C. Frasson,
J. Vaucher, Universite de Montreal, Canada
Managing Office Knowledge through Conceptual Structures.
G. Berg-Cross, Advanced Decision Systems, U.S.A.
Picture Management on Optical Disks: A Practical Approach on
Micro-computers. S. Miranda, N. Le Thanh, A.C. Salgado,
E. Borelli-Vittori, Universite de Nice, France
Managing Replicas in Distributed Telephone/Address
Directories. H.M. Gladney, IBM Almaden Research Center,
U.S.A.
7:30 Banquet
_________________________________________________________________
Wednesday, August 19th, 1987
9:00-10:30 Session: Invited Talk
NICK: Intelligent Computer Supported Cooperative Work.
C. Ellis, MCC, U.S.A.
11:00-12:30 Session: Office Communication
Solving the Connection Problem. M.S. Mazer, University of
Toronto, Canada
Viewing Communication as a Problem Solving Activity: An
Enrichment Towards Supporting Cooperative Office Work.
C.C. Woo, F.H. Lochovsky, University of Toronto, Canada
CHAOS: A Knowledge-Based System for Conversing Inside Offices.
F. De Cindio, C. Simone, R. Vassallo, A. Zanaboni,
Universita di Milano, Italy
2:00-3:30 IFIP WG8.4 Business Meeting
------------------------------
Date: Mon, 15 Jun 87 17:29:16 +0200
From: mcvax!cwi.nl!tomi@seismo.CSS.GOV (Tetsuo Tomiyama)
Reply-to: mcvax!cwi.nl!tomi@seismo.CSS.GOV
Subject: Conference - Second Eurographics Workshop on Intelligent CAD
Systems
Call For Papers
SECOND EUROGRAPHICS WORKSHOP ON INTELLIGENT CAD SYSTEMS
-Implementational Issues-
APRIL 12-15, 1988, THE NETHERLANDS
Organized by
CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE (CWI), AMSTERDAM
Sponsored by
EUROGRAPHICS
AIM AND SCOPE
This is the second workshop of a series of three
Eurographics workshops on Intelligent CAD Systems which have
the following main topics;
- 1st, 1987: Theoretical and methodological aspects.
- 2nd, 1988: Implementational issues.
- 3rd, 1989: Practical experiences and evaluation.
Since applying knowledge engineering to CAD systems seems
very promising to solve the problems of conventional CAD
systems, it has drawn attention from not only CAD
researchers but also AI researchers. The first workshop
which was held on April 21-24, 1987, in the Netherlands,
aimed at discussing the results and problems in this highly
interesting field. We have realized that ad hoc approaches
will eventually result in increased complexity of CAD
applications and that we need a robust theoretical basis for
development.
This second workshop in 1988 is planned to discuss
implementational issues and to clarify problems associated
with developing intelligent CAD systems based on those
theoretical and methodological considerations. The scope of
the workshop includes, but is not limited to;
1) Role of theories to implement intelligent CAD
systems.
2) Implementations of theories for intelligent CAD
systems.
3) Architecture of intelligent CAD systems.
4) Techniques and tools to implement intelligent CAD
systems.
5) Acquisition and maintenance of design knowledge.
6) Innovative and large-scale implementations of
intelligent CAD systems.
7) Problems and future tasks in implementations of
intelligent CAD systems.
We are especially interested in reports telling how
theoretical work influenced implementations.
SCHEDULE FOR THE SECOND WORKSHOP
November 1, 1987: Deadline for extended abstracts and
position papers.
December 1987: Notification of acceptance for presentation.
February 1988: Acceptance of participation.
April 12-15, 1988: Workshop (Full papers are submitted just
before the workshop).
May 1988: Deadline for final manuscripts for publication.
SERIES SCHEDULE
Approximately 15 reviewed papers will be presented in this
second workshop. Participants will be limited to about 50
based on invitation. Intended authors and participants are
invited to submit extended abstracts or position papers.
The results of this series of three workshops will be
published by Springer-Verlag as Eurographics Seminar Books.
The report on the first workshop held in April 1987,
"Intelligent CAD Systems 1: Theoretical and Methodological
Aspects," will be published in August 1987.
This series of workshop is being organized under cooperation
with IFIP Working Group 5.2 Workshops on Intelligent CAD
Systems but with different scopes.
ORGANIZATION
Co-Chairmen
P.J.W. ten Hagen (CWI, NL)
T. Tomiyama (The University of Tokyo, J)
Technical Secretary
P.J. Veerkamp (CWI, NL)
Workshop Secretary
E. Both (CWI, NL)
Program Committee
A.M. Agogino (University of California, Berkeley, USA)
V. Akman (CWI, NL)
F. Arbab (University of Southern California, USA)
P. Bernus (Hungarian Academy of Sciences, H)
A. Bijl (University of Edinburgh, UK)
J. Encarnacao (TH Darmstadt, D)
S.J. Fenves (Carnegie Mellon University, USA)
D. Gossard (MIT, USA)
F. Kimura (The University of Tokyo, J)
T. Kjellberg (Royal Institute of Technology, S)
G.A. Kramer (Schlumberger Palo Alto Research, USA)
M. Mac an Airchinnigh (University of Dublin, IRL)
K. MacCallum (University of Strathclyde, UK)
S. Murthy (IBM Thomas J. Watson Research, USA)
F.J. Schramel (Philips, NL)
D. Sriram (MIT, USA)
W. Strasser (Universitaet Tuebingen, D)
T. Takala (Technical University of Helsinki, SF)
F. Tolman (TNO, NL)
INFORMATION
Please submit 5 copies of an extended abstract or a position
paper up to 1,000 words (figures and references do not
count) on A4 sheets before November 1, 1987, to: (Submission
by electric mail is accepted)
Ms. Elisabeth Both
Centre for Mathematics and Computer Science
Kruislaan 413, 1098 SJ Amsterdam, The Netherlands
Telephone: (overseas) +31-20-592-4171
(from the Netherlands) 020-592-4171
Telex: 12571 mactr nl
Electric Mail: pauljan@cwi.nl (Internet, Bitnet),
...!mcvax!pauljan (Usenet)
The extended abstract or position paper should contain the
following information:
- Name, Address (Postal, Phone, Telex, E-mail), Keywords,
References.
- Statements on how you define "design" and "intelligent
CAD systems."
------------------------------
End of AIList Digest
********************
