Subject: From: AIList Moderator Kenneth Laws <AIList-REQUEST@SRI-AI>

From: [email-masked]
Date: Mon, 26 Aug 85 15:55:27 edt

Received: from sri-ai.arpa by csnet-relay.arpa id a010113; 11 Aug 85 18:03 EDT
Date: Sun 11 Aug 1985 14:13-PDT
Reply-to: AIList@SRI-AI
US-Mail: SRI Int., 333 Ravenswood Ave., Menlo Park, CA  94025
Phone: (415) 859-6467
Subject: AIList Digest   V3 #107
To: AIList@SRI-AI
Received: from rand-relay by vpi; Mon, 12 Aug 85 03:26 EST

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 <[email-masked]>
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
      <[email-masked]>
Reply-to: IBM-SJ Calendar <[email-masked]>
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
      <[email-masked]>
Reply-to: IBM-SJ Calendar <[email-masked]>
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 <[email-masked]>
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
********************