tech,9-10-P84-1064,bq <term> Syllogistic reasoning with dispositions </term> has an important bearing on <term> commonsense reasoning </term> as well as on the <term> management of uncertainty </term> in <term> expert systems </term> .
other,34-11-P84-1064,bq As a simple application of the techniques described in this paper , we formulate a definition of <term> typicality </term> -- a concept which plays an important role in <term> human cognition </term> and is of relevance to <term> default reasoning </term> .
other,3-1-P84-1064,bq Informally , a <term> disposition </term> is a <term> proposition </term> which is preponderantly , but no necessarily always , true .
other,8-2-P84-1064,bq For example , birds can fly is a <term> disposition </term> , as are the <term> propositions </term> Swedes are blond and Spaniards are dark .
other,13-3-P84-1064,bq An idea which underlies the theory described in this paper is that a <term> disposition </term> may be viewed as a <term> proposition </term> with implicit <term> fuzzy quantifiers </term> which are approximations to all and always , e.g. , almost all , almost always , most , frequently , etc .
other,5-6-P84-1064,bq The process of transforming a <term> disposition </term> into a <term> proposition </term> is referred to as <term> explicitation </term> or <term> restoration </term> .
tech,20-10-P84-1064,bq <term> Syllogistic reasoning with dispositions </term> has an important bearing on <term> commonsense reasoning </term> as well as on the <term> management of uncertainty </term> in <term> expert systems </term> .
other,13-6-P84-1064,bq The process of transforming a <term> disposition </term> into a <term> proposition </term> is referred to as <term> explicitation </term> or <term> restoration </term> .
other,0-7-P84-1064,bq The process of transforming a <term> disposition </term> into a <term> proposition </term> is referred to as <term> explicitation </term> or <term> restoration </term> . <term> Explicitation </term> sets the stage for representing the <term> meaning </term> of a <term> proposition </term> through the use of <term> test-score semantics </term> ( Zadeh , 1978 , 1982 ) .
other,15-4-P84-1064,bq For example , birds can fly may be interpreted as the result of suppressing the <term> fuzzy quantifier </term> most in the <term> proposition </term> most birds can fly .
other,22-3-P84-1064,bq An idea which underlies the theory described in this paper is that a <term> disposition </term> may be viewed as a <term> proposition </term> with implicit <term> fuzzy quantifiers </term> which are approximations to all and always , e.g. , almost all , almost always , most , frequently , etc .
other,21-9-P84-1064,bq The paper closes with a description of an approach to <term> reasoning with dispositions </term> which is based on the concept of a <term> fuzzy syllogism </term> .
other,27-11-P84-1064,bq As a simple application of the techniques described in this paper , we formulate a definition of <term> typicality </term> -- a concept which plays an important role in <term> human cognition </term> and is of relevance to <term> default reasoning </term> .
tech,16-10-P84-1064,bq <term> Syllogistic reasoning with dispositions </term> has an important bearing on <term> commonsense reasoning </term> as well as on the <term> management of uncertainty </term> in <term> expert systems </term> .
other,7-7-P84-1064,bq <term> Explicitation </term> sets the stage for representing the <term> meaning </term> of a <term> proposition </term> through the use of <term> test-score semantics </term> ( Zadeh , 1978 , 1982 ) .
other,7-8-P84-1064,bq In this approach to <term> semantics </term> , the <term> meaning </term> of a <term> proposition </term> , p , is represented as a procedure which tests , scores and aggregates the elastic constraints which are induced by p.
other,6-1-P84-1064,bq Informally , a <term> disposition </term> is a <term> proposition </term> which is preponderantly , but no necessarily always , true .
other,19-3-P84-1064,bq An idea which underlies the theory described in this paper is that a <term> disposition </term> may be viewed as a <term> proposition </term> with implicit <term> fuzzy quantifiers </term> which are approximations to all and always , e.g. , almost all , almost always , most , frequently , etc .
other,20-4-P84-1064,bq For example , birds can fly may be interpreted as the result of suppressing the <term> fuzzy quantifier </term> most in the <term> proposition </term> most birds can fly .
other,8-6-P84-1064,bq The process of transforming a <term> disposition </term> into a <term> proposition </term> is referred to as <term> explicitation </term> or <term> restoration </term> .
hide detail