tech,9-10-P84-1064,bq </term> has an important bearing on <term> commonsense reasoning </term> as well as on the <term> management
other,34-11-P84-1064,bq cognition </term> and is of relevance to <term> default reasoning </term> . This report describes <term> Paul
other,3-1-P84-1064,bq implementation </term> . Informally , a <term> disposition </term> is a <term> proposition </term> which
other,8-2-P84-1064,bq . For example , birds can fly is a <term> disposition </term> , as are the <term> propositions </term>
other,13-3-P84-1064,bq described in this paper is that a <term> disposition </term> may be viewed as a <term> proposition
other,5-6-P84-1064,bq women . The process of transforming a <term> disposition </term> into a <term> proposition </term> is
tech,20-10-P84-1064,bq management of uncertainty </term> in <term> expert systems </term> . As a simple application of the
other,13-6-P84-1064,bq proposition </term> is referred to as <term> explicitation </term> or <term> restoration </term> . <term>
other,0-7-P84-1064,bq </term> or <term> restoration </term> . <term> Explicitation </term> sets the stage for representing the
other,15-4-P84-1064,bq interpreted as the result of suppressing the <term> fuzzy quantifier </term> most in the <term> proposition </term>
other,22-3-P84-1064,bq <term> proposition </term> with implicit <term> fuzzy quantifiers </term> which are approximations to all and
other,21-9-P84-1064,bq which is based on the concept of a <term> fuzzy syllogism </term> . <term> Syllogistic reasoning with
other,27-11-P84-1064,bq concept which plays an important role in <term> human cognition </term> and is of relevance to <term> default
tech,16-10-P84-1064,bq reasoning </term> as well as on the <term> management of uncertainty </term> in <term> expert systems </term> . As
other,7-7-P84-1064,bq sets the stage for representing the <term> meaning </term> of a <term> proposition </term> through
other,7-8-P84-1064,bq approach to <term> semantics </term> , the <term> meaning </term> of a <term> proposition </term> , p ,
other,6-1-P84-1064,bq Informally , a <term> disposition </term> is a <term> proposition </term> which is preponderantly , but no
other,19-3-P84-1064,bq disposition </term> may be viewed as a <term> proposition </term> with implicit <term> fuzzy quantifiers
other,20-4-P84-1064,bq fuzzy quantifier </term> most in the <term> proposition </term> most birds can fly . Similarly ,
other,8-6-P84-1064,bq transforming a <term> disposition </term> into a <term> proposition </term> is referred to as <term> explicitation
hide detail