LAWS@SRI-AI.ARPA (08/12/85)
From: AIList Moderator Kenneth Laws <AIList-REQUEST@SRI-AI>
AIList Digest Sunday, 11 Aug 1985 Volume 3 : Issue 107
Today's Topics:
Seminar - Expert System for Statistical Application (SU) &
Prolog (Rand) &
The PRISM Expert System (IBM-SJ) &
Parallelism in Logic Programs (IBM-SJ) &
Computer Music Expert System (CMU),
Conference - Foundations of AI
----------------------------------------------------------------------
Date: Thu, 8 Aug 85 22:54:01 pdt
From: naomi@playfair (naomi altman)
Subject: Seminar - Expert System for Statistical Application (SU)
Laboratory for Computational Statistics Seminar
3:15pm, Friday Aug 9, 1985
in Sequoia 114
AN EXPERT SYSTEM OF STATISTICAL APPLICATION
Knut M. Wittkowski
University of Tubingen, Department of Medical Biometry
Most structural information on statistical data (number and hierarchy of
factors, sampling strategy, scale types) are neglected by common statistical
data base management systems. The wealth of methods currently available
in modern statistical program packages, consequently, often leads to
erroneous applications of statistical methods.
It is demonstrated, how an expert system can facilitate the use
of statistical analysis systems by means of intelligent dialogue
techniques based on knowledge of structural information and help to avoid
erroneous applications of statistical (graphical or analytical) methods.
------------------------------
Date: 09 Aug 85 10:14:08 PDT (Fri)
From: Sanjai Narain <narain@rand-unix.ARPA>
Subject: Seminar - Prolog (Rand)
THE EXPRESSIVE POWER OF PROLOG
Peter Schmitt
IBM, Heidelberg, West Germany
2:00 p.m.
Tuesday, August 13, 1985
Rand Corporation, Room 2760
This talk is concerned with the foundations of logic programming. In
particular, completeness results and insufficiencies of PROLOG are
discussed including questions of search strategy, occur check and
negation.
------------------------------
Date: Fri, 9 Aug 85 10:47:14 PDT
From: IBM San Jose Research Laboratory Calendar
<calendar%ibm-sj.csnet@csnet-relay.arpa>
Reply-to: IBM-SJ Calendar <CALENDAR%ibm-sj.csnet@csnet-relay.arpa>
Subject: Seminar - The PRISM Expert System (IBM-SJ)
[Excerpted from the IBM-SJ Calendar by Laws@SRI-AI.]
IBM San Jose Research Lab
5600 Cottle Road
San Jose, CA 95193
Thur., Aug. 15 Computer Science Seminar
10:00 A.M. PRISM - AN EXPERT SYSTEM
Auditorium While the expert system has been developed as a
knowledge acquisition and delivery vehicle by
the AI researchers, it has evolved to be a
practical software development productivity
tool. PRISM is an expert system prototype
developed at the Palo Alto Scientific Center and
has been available for application development
for more than a year to internal users and
university study partners. Recently, IBM
announced its first expert system product,
Expert System Environment/VM, based on PRISM.
This talk will begin with an introduction to the
expert system technology: its basic
architecture, knowledge representation and
inferencing, the interrelationship among the
application domain expert, the knowledge
engineer, and the client. The difference
between the traditional application programming
and the expert system approach will be
emphasized. The second half of the talk will
describe the product and some projects and
applications using the PRISM technology.
F. C. Tung, IBM Palo Alto Scientific Center
Host: K. Wong
------------------------------
Date: Fri, 9 Aug 85 10:47:14 PDT
From: IBM San Jose Research Laboratory Calendar
<calendar%ibm-sj.csnet@csnet-relay.arpa>
Reply-to: IBM-SJ Calendar <CALENDAR%ibm-sj.csnet@csnet-relay.arpa>
Subject: Seminar - Parallelism in Logic Programs (IBM-SJ)
[Excerpted from the IBM-SJ Calendar by Laws@SRI-AI.]
IBM San Jose Research Lab
5600 Cottle Road
San Jose, CA 95193
Fri., Aug. 16 Computer Science Seminar
2:00 P.M. PARALLELISM IN LOGIC PROGRAMS
Aud. A The separation of logic and control in logic
programs has been shown to allow the programmer
to write declaratively lucid programs whose
execution is determined by the interpreter.
This appealing characteristic of logic
programming spurred research directed towards
diversifying the means for controlling the
execution of logic programs. In particular,
parallelism in logic programs may be exploited
even when it is impossible to state a priori
that two goals may be executed concurrently, but
such an opportunity may be detected during the
course of the execution. This talk will address
the problem of and/or parallelism in logic
programming. We describe a computational model
for and/or parallel execution of logic programs.
The model provides the primitives to describe
and analyze parallel interpreters, emphasizing
the data-flow among conjunctive goals. The
effectiveness of our computational model is
established through its ability to support both
old and new communication paradigms for the
parallel interpretation of logic programs.
Prof. S. Kasif, Department of Computer Science,
University of Maryland, College Park
Host: P. Lucas
------------------------------
Date: 7 August 1985 1700-EDT
From: Roger Dannenberg@CMU-CS-A
Subject: Seminar - Computer Music Expert System (CMU)
[Forwarded from the CMU bboard by Laws@SRI-AI.]
Marilyn Taft Thomas (Music Department) and I will each present a
short talk on Monday, August 12, from 3:30PM to 4:30PM in WeH 4623.
Dr. Thomas's talk is: "Vivace: A Rule-Based AI System for
Composition". Vivace composes 4-part chorales in the style of Bach.
Sound examples of Vivace compositions will be performed.
My talk is "Real-Time Computer Accompaniment of Keyboard
Performance" and is based on a paper co-authored with Joshua Bloch.
The talk will cover the application of dynamic programming to on-line
pattern matching of polyphonic music, and heuristics for musical
accompaniment. A video-tape of our system will be shown.
Both talks will be presented in a few weeks at the 1985
International Computer Music Conference. We hope to receive
constructive criticism on our presentations as well as to share our
latest results.
------------------------------
Date: Fri 9 Aug 85 13:39:33-PDT
From: Ken Laws <Laws@SRI-AI.ARPA>
Subject: Conference - Foundations of AI
From CACM, August 1985:
The AAAI and the Computing Research Laboratory, New Mexico State University,
are sponsoring a Workshop on the Foundations of AI, February 6-8, 1986,
in Las Cruces, NM. Papers dealing with the following three topics are
sought: relationships between foundations and working programs;
relationships between AI and other disciplines; and philosophical, logical,
and theoretical foundations of AI. Three copies of a paper (maximum
2000 words) should be submitted by September 1 to Derek Partridge,
Computing Research Laboratory, NMSU, Las Cruces, NM 88003. Authors are
to be notified by November 1.
------------------------------
End of AIList Digest
********************