Propositional and First-Order Logic
Last Update: 8 September 2008
Note:
or
material is highlighted
Shapiro, Stuart C.
,
"Foundations of Logic and Inference"
Website that contains links to articles, tutorials, and Lisp code for first-order predicate logic.
Thomason, Richmond
(1998), "Crash Course in the Theory of Logic"
PDF
Some references on translating from English to logic
Representing English Sentences in FOL
Some references on logic and AI:
Rapaport, William J. (1992),
"Logic"
, in
Stuart C. Shapiro
(ed.),
Encyclopedia of Artificial Intelligence, 2nd edition
(New York:
John Wiley
): 851-853
Rapaport, William J. (1992),
"Logic, Predicate"
, in
Stuart C. Shapiro
(ed.),
Encyclopedia of Artificial Intelligence, 2nd edition
(New York:
John Wiley
): 866-873
Rapaport, William J. (1992),
"Logic, Propositional"
, in
Stuart C. Shapiro
(ed.),
Encyclopedia of Artificial Intelligence, 2nd edition
(New York:
John Wiley
): 891-897
Some references on logic and computer science/software engineering:
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; & Vianu, Victor (2001),
"On the Unusual Effectiveness of Logic in Computer Science"
,
Bulletin of Symbolic Logic
7(2): 213-236.
Henderson, Peter B.
(2003),
"Mathematical Reasoning in Software Engineering Education"
,
Communications of the ACM
46(9) (September 2003): 45-50.
Extracts from other AI textbooks:
Bender, Edward A. (1996),
Mathematical Methods in Artificial Intelligence
(Los Alamitos, CA: IEEE Computer Society Press):
Ch. 3: "The Concepts of Predicate Logic"
Coppin, Ben (2004),
Artificial Intelligence Illuminated
(Sudbury, MA: Jones and Bartlett):
Ch. 7: "Propositional and Predicate Logic", and Ch. 8: "Inference and Resolution for Problem Solving"
Nilsson, Nils J. (1998),
Artificial Intelligence: A New Synthesis
(San Francisco: Morgan Kaufmann):
Ch. 13: "The Propositional Calculus", and Ch. 14: "Resolution in the Propositional Calculus"
Proper Subformula
Rules for SEND and RETURN
Rules for
and
PDF
Paradoxes of the Material Conditional
Wang's Algorithm
Satisfaction of a Quantified WFF
PDF
HTML
FOL "Pragmatics" à la Brachman & Levesque
PDF
Many-Valued Logics
Modal Logic
Mental Models
Some on-line references about Johnson-Laird's "mental-model" theory of how humans reason, and on the controversy between his theory and Rips's "syntactic" theory.
FOL as a KRR System
Some
Wikipedia
articles:
Propositional Calculus
First-Order Predicate Calculus
Copyright © 2006-2008 by
William J. Rapaport
(
rapaport@cse.buffalo.edu
)
http://www.cse.buffalo.edu/~rapaport/663/F08/fol.html-20080908