Oesterreichisches Forschungsinstitut fuer Artificial Intelligence (OeFAI)
Schottengasse 3, A-1010 Wien
Tel.+43-1-53532810,5336112
-------------------------------------------------------------------------
VORTRAG
*******
Prof.Dr.Joerg SIEKMANN
Deutsches Forschungszentrum fuer
Kuenstliche Intelligenz GmbH
Saarbruecken
New Directions in Automated Deduction
-------------------------------------
An automated theorem prover of the classical kind searches through a
(very large) space of possible inference steps: its strength is derived
from intricate representation techniques and strategies that guide the
search.
Currently the field witnesses a paradigm change: the search for a proof
is no longer an (exhaustive) search at the object level of representa-
tion, but the result of a multi-level planning process that simulates
the planned approach based on specialized proof techniques of a human
mathematician.
Zeit: Montag, 28.Oktober 1996, 18:30 Uhr pktl.
Ort: OeFAI, Schottengasse 3, 1010 Wien 1.