other,17-11-P84-1064,ak paper , we formulate a definition of <term> typicality </term> -- a concept which plays an important
other,8-2-P84-1064,ak . For example , birds can fly is a <term> disposition </term> , as are the <term> propositions </term>
other,10-8-P84-1064,ak </term> , the <term> meaning </term> of a <term> proposition </term> , p , is represented as a <term> procedure
other,4-8-P84-1064,ak 1978 , 1982 ) . In this approach to <term> semantics </term> , the <term> meaning </term> of a <term>
tech,20-10-P84-1064,ak management of uncertainty </term> in <term> expert systems </term> . As a simple application of the
tech,15-6-P84-1064,ak to as <term> explicitation </term> or <term> restoration </term> . <term> Explicitation </term> sets the
tech,21-9-P84-1064,ak which is based on the concept of a <term> fuzzy syllogism </term> . <term> Syllogistic reasoning with
tech,34-11-P84-1064,ak cognition </term> and is of relevance to <term> default reasoning </term> . This report describes <term> Paul
other,15-7-P84-1064,ak proposition </term> through the use of <term> test-score semantics </term> ( Zadeh , 1978 , 1982 ) . In this
other,27-11-P84-1064,ak concept which plays an important role in <term> human cognition </term> and is of relevance to <term> default
tech,9-10-P84-1064,ak </term> has an important bearing on <term> commonsense reasoning </term> as well as on the <term> management
tech,0-10-P84-1064,ak of a <term> fuzzy syllogism </term> . <term> Syllogistic reasoning with dispositions </term> has an important bearing on <term>
tech,16-10-P84-1064,ak reasoning </term> as well as on the <term> management of uncertainty </term> in <term> expert systems </term> . As
other,5-6-P84-1064,ak women . The process of transforming a <term> disposition </term> into a <term> proposition </term> is
other,3-1-P84-1064,ak under implementation . Informally , a <term> disposition </term> is a <term> proposition </term> which
other,8-6-P84-1064,ak transforming a <term> disposition </term> into a <term> proposition </term> is referred to as <term> explicitation
other,13-3-P84-1064,ak described in this paper is that a <term> disposition </term> may be viewed as a <term> proposition
other,20-4-P84-1064,ak fuzzy quantifier </term> most in the <term> proposition </term> most birds can fly . Similarly ,
other,15-4-P84-1064,ak interpreted as the result of suppressing the <term> fuzzy quantifier </term> most in the <term> proposition </term>
other,7-7-P84-1064,ak sets the stage for representing the <term> meaning </term> of a <term> proposition </term> through
hide detail