other,10-7-P84-1064,bq |
<term>
Explicitation
</term>
sets the stage for representing the
<term>
meaning
</term>
of a
<term>
proposition
</term>
through the use of
<term>
test-score semantics
</term>
( Zadeh , 1978 , 1982 ) .
|
#13612
Explicitation sets the stage for representing the meaning of aproposition through the use of test-score semantics (Zadeh, 1978, 1982). |
other,10-8-P84-1064,bq |
In this approach to
<term>
semantics
</term>
, the
<term>
meaning
</term>
of a
<term>
proposition
</term>
, p , is represented as a procedure which tests , scores and aggregates the elastic constraints which are induced by p.
|
#13637
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,13-2-P84-1064,bq |
For example , birds can fly is a
<term>
disposition
</term>
, as are the
<term>
propositions
</term>
Swedes are blond and Spaniards are dark .
|
#13485
For example, birds can fly is a disposition, as are thepropositions Swedes are blond and Spaniards are dark. |
tech,10-9-P84-1064,bq |
The paper closes with a description of an approach to
<term>
reasoning with dispositions
</term>
which is based on the concept of a
<term>
fuzzy syllogism
</term>
.
|
#13670
The paper closes with a description of an approach toreasoning with dispositions which is based on the concept of a fuzzy syllogism. |
other,15-6-P84-1064,bq |
The process of transforming a
<term>
disposition
</term>
into a
<term>
proposition
</term>
is referred to as
<term>
explicitation
</term>
or
<term>
restoration
</term>
.
|
#13600
The process of transforming a disposition into a proposition is referred to as explicitation orrestoration. |
other,4-8-P84-1064,bq |
In this approach to
<term>
semantics
</term>
, the
<term>
meaning
</term>
of a
<term>
proposition
</term>
, p , is represented as a procedure which tests , scores and aggregates the elastic constraints which are induced by p.
|
#13631
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. |
tech,0-10-P84-1064,bq |
The paper closes with a description of an approach to
<term>
reasoning with dispositions
</term>
which is based on the concept of a
<term>
fuzzy syllogism
</term>
.
<term>
Syllogistic reasoning with dispositions
</term>
has an important bearing on
<term>
commonsense reasoning
</term>
as well as on the
<term>
management of uncertainty
</term>
in
<term>
expert systems
</term>
.
|
#13684
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,15-7-P84-1064,bq |
<term>
Explicitation
</term>
sets the stage for representing the
<term>
meaning
</term>
of a
<term>
proposition
</term>
through the use of
<term>
test-score semantics
</term>
( Zadeh , 1978 , 1982 ) .
|
#13617
Explicitation sets the stage for representing the meaning of a proposition through the use oftest-score semantics (Zadeh, 1978, 1982). |
other,17-11-P84-1064,bq |
As a simple application of the techniques described in this paper , we formulate a definition of
<term>
typicality
</term>
-- a concept which plays an important role in
<term>
human cognition
</term>
and is of relevance to
<term>
default reasoning
</term>
.
|
#13724
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. |