Search
Skip to Search Results- 24Logic
- 7Reasoning (Psychology)
- 5Book Reviews
- 2ATP systems
- 2Artificial Intelligence
- 2Language and logic
- 12Pelletier, Francis J.
- 1Berkeley, Istvan S. N.
- 1Bickersteth, Patrick.
- 1Elio, Renée
- 1Ferenz, Nicholas
- 1Gavanski, Igor
- 14Philosophy, Department of
- 13Graduate and Postdoctoral Studies (GPS), Faculty of
- 13Graduate and Postdoctoral Studies (GPS), Faculty of /Theses and Dissertations
- 8Philosophy, Department of/Journal Articles (Philosophy)
- 5Philosophy, Department of/Book Reviews (Philosophy)
- 2Toolkit for Grant Success
-
1995
Pelletier, Francis J., Sutcliffe, Geoff
Introduction: In 1986 Pelletier published an annotated list of logic problems, intended as an aid for students, developers, and researchers to test their automated theorem proving (ATP) systems. The 75 problems in the list are subdivided into propositional logic (Problems 1-17), monadic-predicate...
-
1997
Pelletier, Francis J., Elio, Renée
This study examines the problem of belief revision, defined as deciding which of several initially accepted sentences to disbelieve, when new information presents a logical inconsistency with the initial set. In the first three experiments, the initial sentence set included a conditional...
-
Fall 2015
The first chapter of the thesis presents Frank P. Ramsey [1960]’s seminal treatment of “If ... , then ...” statements. We also explain how Stalnaker and Thomason [1970] picked up on Ramsey’s idea and undertook the task of giving truth conditions for counterfactual conditionals in contrast to...
-
1982
Pelletier, Francis J., Schubert, Lenhart K.
Introduction: We describe an approach to parsing and logical translation that was inspired by Gazdar's work on context-free grammar for English. Each grammar rule consists of a syntactic part that specifies an acceptable fragment of a parse tree, and a semantic part that specifies how the logical...