| other,13-3-P84-1064,ak | described in this paper is that a <term> | disposition | </term> may be viewed as a <term> proposition | #15223 An idea which underlies the theory described in this paper is that adisposition may be viewed as a proposition with implicit fuzzy quantifiers which are approximations to all and always, e.g., almost all, almost always, most, frequently, etc. | |
| tech,20-10-P84-1064,ak | management of uncertainty </term> in <term> | expert systems | </term> . As a simple application of the | #15420 Syllogistic reasoning with dispositions has an important bearing on commonsense reasoning as well as on the management of uncertainty inexpert systems. | |
| tech,13-6-P84-1064,ak | proposition </term> is referred to as <term> | explicitation | </term> or <term> restoration </term> . <term> | #15314 The process of transforming a disposition into a proposition is referred to asexplicitation or restoration. | |
| other,10-7-P84-1064,ak | representing the <term> meaning </term> of a <term> | proposition | </term> through the use of <term> test-score | #15328 Explicitation sets the stage for representing the meaning of aproposition through the use of test-score semantics (Zadeh, 1978, 1982). | |
| tech,21-9-P84-1064,ak | which is based on the concept of a <term> | fuzzy syllogism | </term> . <term> Syllogistic reasoning with | #15397 The paper closes with a description of an approach to reasoning with dispositions which is based on the concept of afuzzy syllogism. | |
| other,15-7-P84-1064,ak | proposition </term> through the use of <term> | test-score semantics | </term> ( Zadeh , 1978 , 1982 ) . In this | #15333 Explicitation sets the stage for representing the meaning of a proposition through the use oftest-score semantics (Zadeh, 1978, 1982). | |
| other,4-8-P84-1064,ak | 1978 , 1982 ) . In this approach to <term> | semantics | </term> , the <term> meaning </term> of a <term> | #15347 In this approach tosemantics, the meaning of a proposition, p, is represented as a procedure which tests, scores and aggregates the elastic constraints which are induced by p. | |
| other,17-11-P84-1064,ak | paper , we formulate a definition of <term> | typicality | </term> -- a concept which plays an important | #15440 As a simple application of the techniques described in this paper, we formulate a definition oftypicality -- a concept which plays an important role in human cognition and is of relevance to default reasoning. | |
| tech,9-10-P84-1064,ak | </term> has an important bearing on <term> | commonsense reasoning | </term> as well as on the <term> management | #15409 Syllogistic reasoning with dispositions has an important bearing oncommonsense reasoning as well as on the management of uncertainty in expert systems. | |
| tech,34-11-P84-1064,ak | cognition </term> and is of relevance to <term> | default reasoning | </term> . This report describes <term> Paul | #15457 As a simple application of the techniques described in this paper, we formulate a definition of typicality -- a concept which plays an important role in human cognition and is of relevance todefault reasoning. | |
| other,13-2-P84-1064,ak | <term> disposition </term> , as are the <term> | propositions | </term> Swedes are blond and Spaniards are | #15201 For example, birds can fly is a disposition, as are thepropositions Swedes are blond and Spaniards are dark. | |
| tech,10-9-P84-1064,ak | with a description of an approach to <term> | reasoning | </term> with <term> dispositions </term> which | #15386 The paper closes with a description of an approach toreasoning with dispositions which is based on the concept of a fuzzy syllogism. | |
| other,10-8-P84-1064,ak | </term> , the <term> meaning </term> of a <term> | proposition | </term> , p , is represented as a <term> procedure | #15353 In this approach to semantics, the meaning of aproposition, p, is represented as a procedure which tests, scores and aggregates the elastic constraints which are induced by p. | |
| other,8-2-P84-1064,ak | . For example , birds can fly is a <term> | disposition | </term> , as are the <term> propositions </term> | #15196 For example, birds can fly is adisposition, as are the propositions Swedes are blond and Spaniards are dark. | |
| other,3-1-P84-1064,ak | under implementation . Informally , a <term> | disposition | </term> is a <term> proposition </term> which | #15173 Informally, adisposition is a proposition which is preponderantly, but not necessarily always, true. | |
| other,12-9-P84-1064,ak | approach to <term> reasoning </term> with <term> | dispositions | </term> which is based on the concept of | #15388 The paper closes with a description of an approach to reasoning withdispositions which is based on the concept of a fuzzy syllogism. | |
| tech,0-10-P84-1064,ak | of a <term> fuzzy syllogism </term> . <term> | Syllogistic reasoning with dispositions | </term> has an important bearing on <term> | #15400 The paper closes with a description of an approach to reasoning with dispositions which is based on the concept of a fuzzy syllogism.Syllogistic reasoning with dispositions has an important bearing on commonsense reasoning as well as on the management of uncertainty in expert systems. | |
| other,7-8-P84-1064,ak | approach to <term> semantics </term> , the <term> | meaning | </term> of a <term> proposition </term> , p , | #15350 In this approach to semantics, themeaning of a proposition, p, is represented as a procedure which tests, scores and aggregates the elastic constraints which are induced by p. | |
| tech,0-7-P84-1064,ak | </term> or <term> restoration </term> . <term> | Explicitation | </term> sets the stage for representing the | #15318 The process of transforming a disposition into a proposition is referred to as explicitation or restoration.Explicitation sets the stage for representing the meaning of a proposition through the use of test-score semantics (Zadeh, 1978, 1982). | |
| other,20-4-P84-1064,ak | fuzzy quantifier </term> most in the <term> | proposition | </term> most birds can fly . Similarly , | #15276 For example, birds can fly may be interpreted as the result of suppressing the fuzzy quantifier most in theproposition most birds can fly. |
