cathy@scye.turing.ac.uk (Cathy Waite) (05/31/91)
The Turing Institute will be hosting 4 seminars in the week 3rd-7th June:
Tuesday 4th June : "Selection Processes in Learning"
2 p.m Paul Scott
University of Essex
Thursday 6th June : "Introduction to the Theory of FAC-Learnability"
2 p.m. Rob Holte
University of Ottawa
Firday 7th June : "The Fifth Generation Computer Project: towards
12.30 p.m. large-scale Knowledge Information Processing."
Dr Koichi Furukawa
ICOT Centre, Tokyo
(Admission by Ticket Only)
Friday 7th June : Sixth Turing Memorial Lecture
6 p.m. "Logic Programming as a Unified Principle.
Dr Koichi Furukawa
ICOT Centre, Tokyo
(Admission by Ticket Only)
Details of how to acquire free tickets for memorial lectures, abstracts and
details of venues are given below :
___________________________________________________________________________
Tuesday 4th June
2 p.m.
Turing Institute Seminar Room
36 North Hanover Street
Glasgow G1 2AD
Paul D. Scott
Department of Computer Science,
University of Essex,
Selection Processes In Learning
One of the major achievements of artificial intelligence research has been
the recognition of the central role of knowledge in problem solving. This
has led to a widespread belief that correct knowledge is always beneficial,
or at worst of neutral value, to a problem solver. However, under some
circumstances, adding knowledge to a knowledge based problem solving system
has a detrimental effect: this can take the form of either reduction in the
quality of solutions or degradation of the problem solving process. Such
knowledge may be termed 'harmful knowledge'. The existence harmful knowledge
has important implications for the design of machine learning systems, since
it is obviously desirable that they avoid acquiring such knowledge.
In this talk I will describe work, carried out by Shaul Markovitch (now at
the Technion) and myself, which addresses this problem. A general framework
for selectivity in knowledge acquisition and utilization will be described,
that identifies the various stages in the process of learning and problem
solving at which 'filters' may be inserted to remove potentially harmful
knowledge. The utility of this framework will then be demonstrated by
descriptions of a number of learning programs we have developed ourselves,
and by showing how it encompasses other research on the problem of harmful
knowledge.
_________________________________________________________________________
Thursday 6th June
2 p.m.
Venu:
Turing Institute Seminar Room
36 North Hanover Street
Glasgow G1 2AD
Rob Holte
Department of Computer Science,
University of Ottawa,
"Introduction to the Theory of FAC-Learnability"
in 1989 Tom Dietterich defined "FAC-learnability" as a more realistic
theoretical framework for machine learning than PAC-learnability. In this
talk I introduce FAC-learnability and present some theoretical results,
including a simple demonstration disproving Dietterich's conjecture that
no algorithm can FAC-learn more than log(H) concepts (where H is the
cardinality of the algorithm's hypothesis space).
__________________________________________________________________________
The Turing Institute in association with
University of Strathclyde
Friday 7th June
12.30 p.m.
Venue :
University of Strathclyde
The Court Senate Room
Collins Building
Richmond Street
Glasgow G1 1XQ
Dr. Koichi Furukawa
ICOT Centre, Tokyo, Japan
(Tickets Required : See end for details)
"The Fifth Generation Computer Project: towards large-scale Knowledge
Information Processing"
In our project, we succeeded in inventing a concurrent logic programming
language, GHC, and its extension, KL1. We are now developing the target
parallel hardware, PIM, and application programs in KL1 on VLSI CAD,
genetic information processing, case based reasoning, parrallel theorem
proving and so on, which we hope, will run efficiently on PIM.
__________________________________________________________________________
The Turing Institute in association with
University of Strathclyde
The Sixth Turing Memorial Lecture
Friday 7th June
6.00 p.m.
Venue :
University of Strathclyde
Lecture Room 1
McCance Building
16 Richmond Street
Glasgow G1 1XQ
Dr. Koichi Furukawa
ICOT Centre, Tokyo, Japan
(Tickets Required : See end for details)
"Logic Programming as a Unified Principle"
The Fifth Generation Computer Project based itself on a single principle:
Logic Programming, both as a formalization of a powerful concurrent
programming language, and to express specifications for multi-processor
architectures. Logic Programming unifies the ideas of retrieval and
computation, Both can be regarded as deduction.
Recently the ideas of abduction and induction have attracted the attention
in program semantics, hypothetical reasoning and machine learning. This
lecture presents the concepts and results of the Fifth Generation Computer
Project. It also charts future directions based on a paradigm shift from
deduction to abduction/induction.
__________________________________________________________________________
Free Tickets for the Turing Memorial Lecture, and the associated seminar
can be obtained by contacting:
Tanya Oliver,
The Turing Institute
George House,
36 North Hanover Street,
Glasgow G1 2AD.
Tel: (041) 552 6400
Fax: (041) 552 2985
Please state the seminar you require tickets for, and the number of
tickets required, your name, address and telephone number.
Please note places are restricted.
__________________________
Cathy Waite cathy@uk.ac.turing
The Turing Institute
George House
36 North Hanover Street Fax : (041) 552 2985
Glasgow G1 2AD Tel : (041) 552 6400