منابع مشابه
Statistical Relational Learning with Soft Quantifiers
Quantification in statistical relational learning (SRL) is either existential or universal, however humans might be more inclined to express knowledge using soft quantifiers, such as “most” and “a few”. In this paper, we define the syntax and semantics of PSL, a new SRL framework that supports reasoning with soft quantifiers, and present its most probable explanation (MPE) inference algorithm. ...
متن کاملDynamic Reasoning with Qualified Syllogisms
A gualij%e~ syllogism is a classical Aristoteiean syllogism that has been “qualified” through the use of fuzzy quantifiers, likelihood modifiers, and usuality modifiers, e.g., “Most birds can Ry; Tweety is a bird; therefore, it is likely that Tweety can fly.” This paper introduces a formal logic Q of such syllogisms and shows how this may be employed in a system of nonmonotonj~ reasoning. In pr...
متن کاملOn residuated lattices with universal quantifiers
We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...
متن کاملParry Syllogisms
Parry discusses an extension of Aristotle’s syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic. 1 Background and motivation Parry [2] discusses an extension of the syllogistic in which sentenc...
متن کاملWholly Hypothetical Syllogisms
In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the 'mixed hypothetical syllogisms'. The other type is the one to which the present paper is devoted. These arguments went by the name of 'wholly hypothetical syllogisms'. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1986
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636527