Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 020
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 <gideon%edai.edinburgh.ac.uk@cs.ucl.ac.uk>
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: admin%cogsci@berkeley.edu (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 <Tim%upenn.csnet@CSNET-RELAY.ARPA>
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 Stefanis@A.CS.CMU.EDU
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: HOFFMANN@SRI-KL.ARPA
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 <MMDA@USC-ISI.ARPA>
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
********************
