The FOL Project

The FOL Notes Series

The following is the first installment of a series of notes that will describe the FOL project, develop the foundational aspects, and provide a wide range of examples.

Caveat: These notes are Living Documents , and will evolve from time to time. The basic ideas are stable, but more and better explanation and examples will no doubt help the reader to understand. Your comments and questions are welcome!

Examples

Wristwatch an FOL theory of time.

Other FOL Stuff

An FOL talk given at U Maryland, January 2003.

Here is a bibtex bibliography of FOL papers.

Towards a theory of mechanizable theories: Part I FOL Contexts---the extensional view by Richard Weyhrauch and Carolyn Talcott. A paper presented at the 1990 ECAI conference in Stockholm, Sweden.

Ideas on Building Conscious Artifacts by Richard Weyhrauch. A paper presented at the 1991 Consciousness Workshop, held in Venice Italy.

Using Abstract Resources to Control Reasoning by Richard Weyhrauch, Marco Cadoli, and Carolyn Talcott.

Towards a Theory of Solving Problems by Richard Weyhrauch and Carolyn Talcott.

An Inconsistent Theory of Beliefs by Richard Weyhrauch, Marco Cadoli, and Carolyn Talcott.


FOL Contacts

Carolyn Talcott
clt@cs.stanford.edu

Richard Weyhrauch
rww@ippi.com


Last updated 13 June 2004 by clt.