leff%smu@csnet-relay.UUCP.UUCP (02/02/87)
TI Computer Science Center Lecture Series
LOGIC PROGRAMMING: A TOOL FOR THINKING
(OR WHY THE JAPANESE WERE RIGHT)
Dr. Leon Sterling
Case Western Reserve University
10:00 am, Friday, 6 February 1987
Semiconductor Building Main Auditorium
Logic programming, or the design, study and implementation of logic
programs, will be significant in software developments of the future.
Logic programming links the traditional uses of logic in program
specification and database query languages with newer uses of logic as
a knowledge representation language for artificial intelligence and as
a general-purpose programming language. A logic program is a set of
axioms, or truths about the world. A computation of a logic program
is the use of axioms to make logical deductions. This talk will
discuss the value of logic programming for artificial intelligence
applications. It will demonstrate how a well-written logic program
can clearly reflect the problem solving knowledge of a human expert.
Examples will be given of AI programs in Prolog, the most developed of
the languages based on logic programming.
BIOGRAPHY
Leon Sterling received his Ph.D. in computational group theory from
the Australian National University in 1981. After three years as a
research fellow in the Department of Artificial Intelligence at the
University of Edinburgh, and one year as the Dov Biegun Postdoctoral
Fellow in the Computer Science Department at the Weizmann Institute of
Science, he joined the faculty at Case Western Reserve University in
1985. In 1986 he became Associate Director of the Center for
Automation and Intelligent Systems Research at Case Western. He is
co-author, with Ehud Shapiro, of the recent textbook on Prolog,
"The Art of Prolog."
ReSent-Date: Sun 1 Feb 87 22:52:30-PST
ReSent-From: Ken Laws <Laws@SRI-STRIPE.ARPA.#Internet>
ReSent-To: post-ailist@UCBVAX.Berkeley.EDU.#Internet
ReSent-Message-ID: <12275754324.14.LAWS@SRI-STRIPE.ARPA>
Visitors to TI should contact Dr. Bruce Flinchbaugh (214-995-0349) in
advance and meet at the north lobby of the SC Building by 9:45 am.