Subject: From: AIList Moderator Kenneth Laws <AIList-REQUEST%sri-ai.arpa@CSNET-RELAY>

From: [email-masked]
Date: Sat, 8 Feb 86 01:36:04 est

Received: from sri-ai.arpa by CSNET-RELAY.ARPA id a009044; 7 Feb 86 13:47 EST
Date: Fri  7 Feb 1986 10:29-PST
Reply-to: AIList%sri-ai.arpa@CSNET-RELAY
US-Mail: SRI Int., 333 Ravenswood Ave., Menlo Park, CA  94025
Phone: (415) 859-6467
Subject: AIList Digest   V4 #20
To: AIList%sri-ai.arpa@CSNET-RELAY
Received: from rand-relay by vpi; Sat, 8 Feb 86 01:21 EST

AIList Digest             Friday, 7 Feb 1986       Volume 4 : Issue 20

Today's Topics:
  Seminars - Logics of Programmes (Edinburgh) &
    The Origins of Logic (UCB) &
    A Fuzzy Inference Engine (UPenn) &
    Intuitionistic Logic Programming Language (CMU) &
    Minsky and Dreyfus on AI (USantaClara),
  Conferences - Intelligent Robotic Systems &
    Cognitive Science Society

----------------------------------------------------------------------

Date: Wed, 5 Feb 86 12:20:32 GMT
From: Gideon Sahar <[email-masked]>
Subject: Seminar - Logics of Programmes (Edinburgh)

                        EDINBURGH AI SEMINARS

Date:           5th February 1986
Time:           2pm
Place:          Department of Artificial Intelligence
                Forrest Hill Seminar Room

Dr. D.C. McCarty, Center for Cognitive Sciences, University of Edinburgh,
will give a seminar entitled - `Logics of Programmes: Some Constructive
Comments'.

The talk will give an introduction to and overview of the applications of
constructive logic to programme verification. Three topics will be of
interest: the idea that functional interpretations of constructive set
theory are `high level' compilers; the relations between constructive
logic and Reynolds' `specification logic'; and the use of a constructive
meta theory in giving completeness proofs for hoare-style logics. We
will pre-suppose only a basic knowledge of mathematical logic; the
requisite technicalities from constructive logic and programme verification
will be explained in the talk.

------------------------------

Date: Wed, 5 Feb 86 15:40:45 PST
From: [email-masked] (Cognitive Science Program)
Subject: Seminar - The Origins of Logic (UCB)

                 BERKELEY COGNITIVE SCIENCE PROGRAM

                 Cognitive Science Seminar - IDS 237B

                  Tuesday, February 11, 11:00 - 12:30
                           2515 Tolman Hall
                       Discussion: 12:30 - 1:30
                       3105 Tolman (Beach Room)

                       ``The Origins of Logic''
                             Jonas  Langer
                     Department of Psychology, UCB

         I will try to show that logical cognition  (1)  originates
    during the first year of infancy and (2) begins to be represen-
    tational during the second year of infancy.  This includes pro-
    posing  some  of its initial structural features.  These claims
    imply that (a) a symbolic language is  not  necessary  for  the
    origins  of logical cognition and (b) that ordinary language is
    not necessary for  its  initial  representational  development.
    Supporting  data  will  be drawn from J. Langer, The Origins of
    Logic: Six to Twelve Months, Academic Press, 1980, and The Ori-
    gins of Logic: One to Two Years, Academic Press, 1986.

------------------------------

Date: Wed, 5 Feb 86 12:10 EST
From: Tim Finin <[email-masked]>
Subject: Seminar - A Fuzzy Inference Engine (UPenn)

             A VLSI IMPLEMENTATION OF FUZZY INFERENCE ENGINE:
                     TOWARD AN EXPERT SYSTEM ON A CHIP

      Hiroyuki Watanabe, AT&T Bell Laboratories, Holmdel, New Jersey

                      3pm Tuesday, February 11, 1986
                   216 Moore, University of Pennsylvania

This  talk  describes  a  VLSI implementation of an inference mechanism to cope
with uncertainty and to perform approximate reasoning.  Some  details  of  VLSI
layout  design  is presented.  Design of an inference mechanism is based on the
"max-min operation" of fuzzy set theory for an  effective  and  real-time  use.
This   inference  mechanism  can  handle  imprecise  and  uncertain  knowledge;
therefore, it  can  represent  human  expert  knowledge  and  simulate  his/her
reasoning  processes.  An inference mechanism has been realized by using custom
CMOS technology which emphasizes simplicity, extensibility and efficiency.  For
example,  all  rules  are  executed  in  parallel  for  efficiency.   Result of
preliminary tests indicates that the inference engine can perform approximately
80,000 Fuzzy Logical Inferences Per Second (FLIPS).

This  chip is designed for the application of rule-based expert system paradigm
in real-time control.   Potential  application  of  such  inference  engine  is
real-time  decision-making  in  the  area  of  command and control, intelligent
robotic system and chemical process control.

------------------------------

Date: 5 February 1986 1529-EST
From: Theona [email-masked]
Subject: Seminar - Intuitionistic Logic Programming Language (CMU)

               JOINT LOGIC COLLOQUIUM (CMU, U of Pgh)

                          Dale Miller
            CIS Department, University of Pennsylvania

Date:  Thursday February 13
Time:  3 pm
Place:  4605 Wean Hall

A Logic Programming Language Based on Intuitionistic Higher-Order Logic.

Dale Miller
CIS Department, University of Pennsylvania

In this talk, we present a programming language whose operational
semantics can be understood as searching for proofs with in a subset of
intuitionistic higher-order logic.  Kripke-models over a universe of
higher-order terms provide a model theoretic semantics for our
programs.  Such models can be computed as least fix points.  This logical
language is a natural extension to Horn clause logic and the
programming language based on it has many features not available in
simple Horn clause based programming languages.  In particular, this
programming language can manipulate higher-order functions in a manner
similar to many functional programming languages.  An interesting notion
of parametric modules is also available by virtue of the behavior of
implication within an intuitionistic logic.  An interpreter for this
language must perform unification of higher-order terms.  If time
permits, we illustrate how this feature makes possible the very clean
implementation of certain kinds of program transformation algorithms.

------------------------------

Date: Tue 4 Feb 86 14:45:07-PST
From: [email-masked]
Subject: Seminars - Minsky and Dreyfus on AI (USantaClara)

Two talks on AI at Mayer Theater, University of Santa Clara;
both talks are free, first come, first served.

Marvin Minsky - "Intelligence and Creativity"
                 Monday, February 10th, 8:00 PM

Hubert Dreyfus - "Limits of AI"
                  Thursday, February 20th, 8:00 PM

  For additional information call Mayer Theater, (408) 554-4015

------------------------------

Date: 31 Jan 1986 10:40:22 EST
From: Martin Marietta <[email-masked]>
Subject: Conference - Intelligent Robotic Systems

                        SPIE's Symposium on

        Advances in Intelligent Robotics Systems, including

                o  Intelligent Robots and Computer Vision Conference

                o  Mobile Robots Conference

                o  Optics, Illumination, and Image Sensing for Machine Vision

                o  Space Station Automation

                o  Automated Inspection and Measurement

The Conference(s) take place October 26-31, 1986, at the Hyatt Regency in
Cambridge, MA.  General Chairman is David Casasent, Carnegie-Mellon University.

Abstract due date:  15 April  (200-300 word abstract)
Manuscript due date:  29 September

For author application or further information, contact
                SPIE Technical Program Committee
                PO Box 10
                Bellingham, WA  98227-0010
                (206) 676-3290

------------------------------

Date: Mon, 3 Feb 86 07:52:16 pst
From: gluck@SU-PSYCH (Mark Gluck)
Subject: Conference - Cognitive Science Society

8th Annual Cognitive Science Society Conference will be held
at U. Mass/Amherst from August 15th to 17th.

Submission Deadline: March 14, 1986

to:  Charles Clifton
     Department of Psychology
     U. Mass.
     Amherst, MA  01003

Include: author's name, address, and telephone number
         up to four keywords
         four copies of abstract (100-250 words)
         four copies of paper (4K words for presentation; 2K for
                               poster)

------------------------------

End of AIList Digest
********************