tech,9-10-P84-1064,bq |
</term>
has an important bearing on
<term>
|
commonsense reasoning
|
</term>
as well as on the
<term>
management
|
#13693
Syllogistic reasoning with dispositions has an important bearing oncommonsense reasoning as well as on the management of uncertainty in expert systems. |
other,34-11-P84-1064,bq |
cognition
</term>
and is of relevance to
<term>
|
default reasoning
|
</term>
. This report describes
<term>
Paul
|
#13741
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,3-1-P84-1064,bq |
implementation
</term>
. Informally , a
<term>
|
disposition
|
</term>
is a
<term>
proposition
</term>
which
|
#13457
Informally, adisposition is a proposition which is preponderantly, but no necessarily always, true. |
other,8-2-P84-1064,bq |
. For example , birds can fly is a
<term>
|
disposition
|
</term>
, as are the
<term>
propositions
</term>
|
#13480
For example, birds can fly is adisposition, as are the propositions Swedes are blond and Spaniards are dark. |
other,13-3-P84-1064,bq |
described in this paper is that a
<term>
|
disposition
|
</term>
may be viewed as a
<term>
proposition
|
#13507
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. |
other,5-6-P84-1064,bq |
women . The process of transforming a
<term>
|
disposition
|
</term>
into a
<term>
proposition
</term>
is
|
#13590
The process of transforming adisposition into a proposition is referred to as explicitation or restoration. |
tech,20-10-P84-1064,bq |
management of uncertainty
</term>
in
<term>
|
expert systems
|
</term>
. As a simple application of the
|
#13704
Syllogistic reasoning with dispositions has an important bearing on commonsense reasoning as well as on the management of uncertainty inexpert systems. |
other,13-6-P84-1064,bq |
proposition
</term>
is referred to as
<term>
|
explicitation
|
</term>
or
<term>
restoration
</term>
.
<term>
|
#13598
The process of transforming a disposition into a proposition is referred to asexplicitation or restoration. |
other,0-7-P84-1064,bq |
</term>
or
<term>
restoration
</term>
.
<term>
|
Explicitation
|
</term>
sets the stage for representing the
|
#13602
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,15-4-P84-1064,bq |
interpreted as the result of suppressing the
<term>
|
fuzzy quantifier
|
</term>
most in the
<term>
proposition
</term>
|
#13555
For example, birds can fly may be interpreted as the result of suppressing thefuzzy quantifier most in the proposition most birds can fly. |
other,22-3-P84-1064,bq |
<term>
proposition
</term>
with implicit
<term>
|
fuzzy quantifiers
|
</term>
which are approximations to all and
|
#13516
An idea which underlies the theory described in this paper is that a disposition may be viewed as a proposition with implicitfuzzy quantifiers which are approximations to all and always, e.g., almost all, almost always, most, frequently, etc. |
other,21-9-P84-1064,bq |
which is based on the concept of a
<term>
|
fuzzy syllogism
|
</term>
.
<term>
Syllogistic reasoning with
|
#13681
The paper closes with a description of an approach to reasoning with dispositions which is based on the concept of afuzzy syllogism. |
other,27-11-P84-1064,bq |
concept which plays an important role in
<term>
|
human cognition
|
</term>
and is of relevance to
<term>
default
|
#13734
As a simple application of the techniques described in this paper, we formulate a definition of typicality -- a concept which plays an important role inhuman cognition and is of relevance to default reasoning. |
tech,16-10-P84-1064,bq |
reasoning
</term>
as well as on the
<term>
|
management of uncertainty
|
</term>
in
<term>
expert systems
</term>
. As
|
#13700
Syllogistic reasoning with dispositions has an important bearing on commonsense reasoning as well as on themanagement of uncertainty in expert systems. |
other,7-7-P84-1064,bq |
sets the stage for representing the
<term>
|
meaning
|
</term>
of a
<term>
proposition
</term>
through
|
#13609
Explicitation sets the stage for representing themeaning of a proposition through the use of test-score semantics (Zadeh, 1978, 1982). |
other,7-8-P84-1064,bq |
approach to
<term>
semantics
</term>
, the
<term>
|
meaning
|
</term>
of a
<term>
proposition
</term>
, p ,
|
#13634
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. |
other,6-1-P84-1064,bq |
Informally , a
<term>
disposition
</term>
is a
<term>
|
proposition
|
</term>
which is preponderantly , but no
|
#13460
Informally, a disposition is aproposition which is preponderantly, but no necessarily always, true. |
other,19-3-P84-1064,bq |
disposition
</term>
may be viewed as a
<term>
|
proposition
|
</term>
with implicit
<term>
fuzzy quantifiers
|
#13513
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,20-4-P84-1064,bq |
fuzzy quantifier
</term>
most in the
<term>
|
proposition
|
</term>
most birds can fly . Similarly ,
|
#13560
For example, birds can fly may be interpreted as the result of suppressing the fuzzy quantifier most in theproposition most birds can fly. |
other,8-6-P84-1064,bq |
transforming a
<term>
disposition
</term>
into a
<term>
|
proposition
|
</term>
is referred to as
<term>
explicitation
|
#13593
The process of transforming a disposition into aproposition is referred to as explicitation or restoration. |