| 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. | |
| other,6-1-P84-1064,ak | Informally , a <term> disposition </term> is a <term> | proposition | </term> which is preponderantly , but not | #15176 Informally, a disposition is aproposition which is preponderantly, but not necessarily always, true. | |
| 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,18-8-P84-1064,ak | proposition </term> , p , is represented as a <term> | procedure | </term> which tests , scores and aggregates | #15361 In this approach to semantics, the meaning of a proposition, p, is represented as aprocedure which tests, scores and aggregates the elastic constraints which are induced by p. | |
| 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,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. | |
| other,7-7-P84-1064,ak | sets the stage for representing the <term> | meaning | </term> of a <term> proposition </term> through | #15325 Explicitation sets the stage for representing themeaning of a proposition through the use of test-score semantics (Zadeh, 1978, 1982). | |
| 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. | |
| 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,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. | |
| 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. | |
| 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). | |
| 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,15-4-P84-1064,ak | interpreted as the result of suppressing the <term> | fuzzy quantifier | </term> most in the <term> proposition </term> | #15271 For example, birds can fly may be interpreted as the result of suppressing thefuzzy quantifier most in the proposition most birds can fly. | |
| 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. | |
| 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. | |
| 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,19-3-P84-1064,ak | disposition </term> may be viewed as a <term> | proposition | </term> with <term> implicit fuzzy quantifiers | #15229 An idea which underlies the theory described in this paper is that a disposition may be viewed as aproposition with implicit fuzzy quantifiers which are approximations to all and always, e.g., almost all, almost always, most, frequently, etc. | |
| other,21-3-P84-1064,ak | viewed as a <term> proposition </term> with <term> | implicit fuzzy quantifiers | </term> which are approximations to all and | #15231 An idea which underlies the theory described in this paper is that a disposition may be viewed as a proposition withimplicit fuzzy quantifiers which are approximations to all and always, e.g., almost all, almost always, most, frequently, etc. | |
| 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. |
