Searching for authors named Francis Jeffry Pelletier – sorted by Relevance.
-
A Problem for Goldman on Rationality
- The central concern of Knowledge in a Social World is to restore the notion of Truth to the rightful place of glory that it had before the onslaught of those pragmatic, cultural-studying, social constructing, critical legalistic and feministic postmodernists (PoMo’s, for short). As G sees it, these
- Add To MetaCart
-
Problem Corner: Seventy-Five Problems for Testing Automatic Theorem Provers
- ) From (a)-(d) prove (Ax) WtntW)~ 4 210 FRANCIS JEFFRY PELLETIERE 68. (8pts) Replace (c) with (Ax
- Add To MetaCart
-
What should default reasoning be, by default
- This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any
- Cited by 13 (4 self) – Add To MetaCart
-
A Brief History of Natural Deduction
- this article is to give a history of the development of this method of doing logic and to characterize what sort of thing is meant nowadays by the name. My view is that the current connotation of the term functions rather like a prototype: there is some exemplar that the term most clearly applies to
- Cited by 7 (0 self) – Add To MetaCart
-
Did Frege believe Frege’s principle
- In this essay I will consider two theses that are associated with Frege, and will investigate the extent to which Frege “really ” believed them. Much of what I have to say will come as no surprise to scholars of the historical Frege. But Frege is not only a historical figure; he also occupies a site
- Cited by 3 (1 self) – Add To MetaCart
-
Automated natural deduction in thinker
- Cited by 1 (0 self) – Add To MetaCart
-
Context dependence and compositionality
- Abstract: Some utterances of sentences such as ‘Every student failed the midterm exam ’ and ‘There is no beer ’ are widely held to be true in a conversation despite the facts that not every student in the world failed the midterm exam and that there is, in fact, some beer somewhere. For instance, th
- Cited by 3 (0 self) – Add To MetaCart
-
On an Argument against Semantic Compositionality
- Abstract. James Higginbotham (1986) presents a theory of semantic interpretation which violates the principle of semantic compositionality. He gives an argument by means of an example construction in favor of his contention. I show that compositioinal theories have more resources than some researche
- Cited by 6 (1 self) – Add To MetaCart
-
The Principle of Semantic Compositionality
- The Principle of Semantic Compositionality is the principle that the meaning of an expression is a function of, and only of, the meanings of its parts together with the method by which those parts are combined. 1 As stated, The Principle is vague or underspecified at a number of points such as "
- Cited by 3 (0 self) – Add To MetaCart
-
An Erratum for Some Errata to ATP Problems
- > :Pf(f(sk2)) Pf(sk1) + Pf(sk2) + :Psk1 + :Psk2 Pf(sk1) + :Psk1 + :Pf(f(sk2)) Pf(sk2) + :Psk2 + :Pf(f(sk1)) (The Negated Conclusion CNF is TPTP problem SYN084-2.p) Problem 62 is one of four variations on the same problem, the others being Problems 17, 33, 38 in []. A full discussion of the relat
- Add To MetaCart

