Metric Methods in Logic Programming
by
Melvin Fitting
City University of New York

For most of logic programming's history, the various semantics that have been developed were lattice based. Only recently have metric spaces made an appearance. It is the peculiar role that negation plays in logic programming that complicates matters, and has largely driven the development of semantics. Today the negation of logic programming has come to be seen not as a ``bad'' version of classical negation, but as a ``good'' approach to non-monotonic reasoning, so understanding its behavior takes on added interest. My talk will give a brief sketch of the problems negation brings to lattice based logic programming semantics, and discuss how, at least sometimes, metric based methods can avoid these problems.

Date received: April 12, 1996

Copyright © 1996 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caae-21.