tech,34-11-P84-1064,ak cognition </term> and is of relevance to <term> default reasoning </term> . This report describes <term> Paul
other,3-1-P84-1064,ak under implementation . Informally , a <term> disposition </term> is a <term> proposition </term> which
other,8-2-P84-1064,ak . For example , birds can fly is a <term> disposition </term> , as are the <term> propositions </term>
other,13-3-P84-1064,ak described in this paper is that a <term> disposition </term> may be viewed as a <term> proposition
other,5-6-P84-1064,ak women . The process of transforming a <term> disposition </term> into a <term> proposition </term> is
other,12-9-P84-1064,ak approach to <term> reasoning </term> with <term> dispositions </term> which is based on the concept of
model,26-8-P84-1064,ak tests , scores and aggregates the <term> elastic constraints </term> which are induced by p. The paper
tech,20-10-P84-1064,ak management of uncertainty </term> in <term> expert systems </term> . As a simple application of the
tech,13-6-P84-1064,ak proposition </term> is referred to as <term> explicitation </term> or <term> restoration </term> . <term>
tech,0-7-P84-1064,ak </term> or <term> restoration </term> . <term> Explicitation </term> sets the stage for representing the
other,21-3-P84-1064,ak viewed as a <term> proposition </term> with <term> implicit fuzzy quantifiers </term> which are approximations to all and
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,7-7-P84-1064,ak sets the stage for representing the <term> meaning </term> of a <term> proposition </term> through
other,7-8-P84-1064,ak approach to <term> semantics </term> , the <term> meaning </term> of a <term> proposition </term> , p ,
tech,18-8-P84-1064,ak proposition </term> , p , is represented as a <term> procedure </term> which tests , scores and aggregates
other,6-1-P84-1064,ak Informally , a <term> disposition </term> is a <term> proposition </term> which is preponderantly , but not
other,19-3-P84-1064,ak disposition </term> may be viewed as a <term> proposition </term> with <term> implicit fuzzy quantifiers
other,20-4-P84-1064,ak fuzzy quantifier </term> most in the <term> proposition </term> most birds can fly . Similarly ,
other,8-6-P84-1064,ak transforming a <term> disposition </term> into a <term> proposition </term> is referred to as <term> explicitation
other,10-7-P84-1064,ak representing the <term> meaning </term> of a <term> proposition </term> through the use of <term> test-score
hide detail