Search
Skip to Search Results- 12Pelletier, Francis J.
- 1Elio, Renée
- 1Ferenz, Nicholas
- 1Lee, Yun Sup.
- 1Linsky, Bernard
- 1Lounsbury, Michael
- 14Philosophy, Department of
- 8Philosophy, Department of/Journal Articles (Philosophy)
- 7Graduate and Postdoctoral Studies (GPS), Faculty of
- 7Graduate and Postdoctoral Studies (GPS), Faculty of/Theses and Dissertations
- 5Philosophy, Department of/Book Reviews (Philosophy)
- 2Toolkit for Grant Success
-
[Review of the book Everything Linguists Have Always Wanted to Know About Logic, by JcCawley]
Download1983
Introduction: James McCawley is a noted linguist whose concern with semantic matters in dealing with linguistic issues is well-known amongst philosophers of language. McCawley's goal here was to write a textbook that surveyed all those areas of logic he thinks are potentially of use in analyzing...
-
[Review of the book Formal Methods in Artificial Intelligence, by Aamsay]
1996
Introduction: Many universities teach artificial intelligence (AI) by having one undergraduate course that introduces students to a very wide variety of topics, usually including search and search heuristics, representational systems (including formal logic), problem solving, vision, expert...
-
1991
Pelletier, Francis J., Schubert, Lenhart
Introduction: This very short book is apparently intended as a supplementary text in a graduate AI course. The author describes it as a \"text and reference work on the applications of non-standard logics to artificial intelligence (AI).\" It gives short and concise (too short and too concise, in...
-
[Review of the book Representation and Inference for Natural Language: A First Course in Computational Semantics, by Plackburn, & Jos]
Download2006
Introduction: Computational semantics is the study of how to represent meaning in a way that computers can use. For the authors of this textbook, this study includes the representation of the meaning of natural language in logic formalisms, the recognition of certain relations that hold within...
-
1974
Introduction: In the preface of this book, Copi explains that he has \"tried to give an account of the Theory of Logical Types which shall not be so technical as to repel the non-specialist nor so informal as to disappoint the serious student who wants to see exactly what it is and how it works\"...
-
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...