#15318The 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).
tech,0-10-P84-1064,ak
of a
<term>
fuzzy syllogism
</term>
.
<term>
Syllogistic reasoning with dispositions
</term>
has an important bearing on
<term>
#15400The 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,3-1-P84-1064,ak
under implementation . Informally , a
<term>
disposition
</term>
is a
<term>
proposition
</term>
which
#15173Informally, adisposition is a proposition which is preponderantly, but not necessarily always, true.
tech,18-8-P84-1064,ak
proposition
</term>
, p , is represented as a
<term>
procedure
</term>
which tests , scores and aggregates
#15361In 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.
other,19-3-P84-1064,ak
disposition
</term>
may be viewed as a
<term>
proposition
</term>
with
<term>
implicit fuzzy quantifiers
#15229An 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,8-6-P84-1064,ak
transforming a
<term>
disposition
</term>
into a
<term>
proposition
</term>
is referred to as
<term>
explicitation
#15309The process of transforming a disposition into aproposition is referred to as explicitation or restoration.
other,6-1-P84-1064,ak
Informally , a
<term>
disposition
</term>
is a
<term>
proposition
</term>
which is preponderantly , but not
#15176Informally, a disposition is aproposition which is preponderantly, but not necessarily always, true.
other,8-2-P84-1064,ak
. For example , birds can fly is a
<term>
disposition
</term>
, as are the
<term>
propositions
</term>
#15196For 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
#15397The paper closes with a description of an approach to reasoning with dispositions which is based on the concept of afuzzy syllogism.
other,10-8-P84-1064,ak
</term>
, the
<term>
meaning
</term>
of a
<term>
proposition
</term>
, p , is represented as a
<term>
procedure
#15353In 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,10-7-P84-1064,ak
representing the
<term>
meaning
</term>
of a
<term>
proposition
</term>
through the use of
<term>
test-score
#15328Explicitation sets the stage for representing the meaning of aproposition through the use of test-score semantics (Zadeh, 1978, 1982).
other,13-3-P84-1064,ak
described in this paper is that a
<term>
disposition
</term>
may be viewed as a
<term>
proposition
#15223An 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,ak
women . The process of transforming a
<term>
disposition
</term>
into a
<term>
proposition
</term>
is
#15306The process of transforming adisposition into a proposition is referred to as explicitation or restoration.
tech,13-6-P84-1064,ak
proposition
</term>
is referred to as
<term>
explicitation
</term>
or
<term>
restoration
</term>
.
<term>
#15314The process of transforming a disposition into a proposition is referred to asexplicitation or restoration.
other,27-11-P84-1064,ak
concept which plays an important role in
<term>
human cognition
</term>
and is of relevance to
<term>
default
#15450As 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,20-10-P84-1064,ak
management of uncertainty
</term>
in
<term>
expert systems
</term>
. As a simple application of the
#15420Syllogistic reasoning with dispositions has an important bearing on commonsense reasoning as well as on the management of uncertainty inexpert systems.
other,17-11-P84-1064,ak
paper , we formulate a definition of
<term>
typicality
</term>
-- a concept which plays an important
#15440As 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,15-7-P84-1064,ak
proposition
</term>
through the use of
<term>
test-score semantics
</term>
( Zadeh , 1978 , 1982 ) . In this
#15333Explicitation sets the stage for representing the meaning of a proposition through the use oftest-score semantics (Zadeh, 1978, 1982).
tech,9-10-P84-1064,ak
</term>
has an important bearing on
<term>
commonsense reasoning
</term>
as well as on the
<term>
management
#15409Syllogistic reasoning with dispositions has an important bearing oncommonsense reasoning as well as on the management of uncertainty in expert systems.
tech,15-6-P84-1064,ak
to as
<term>
explicitation
</term>
or
<term>
restoration
</term>
.
<term>
Explicitation
</term>
sets the
#15316The process of transforming a disposition into a proposition is referred to as explicitation orrestoration.