Dear Dr. Mitola:
Thank you for your constructive comment and for bringing the works of
George Lakoff, Johnson and Rhor, Jackendoff and Tom Ziemke to the
attention of the UAI community. I am very familiar with the work of
George Lakoff, my good friend, and am familiar with the work of Jackendoff.
The issue that you raise---context-dependence of meaning---is of basic
importance. In natural languages, meaning is for the most part
context-dependent. In synthetic languages, meaning is for the most part
context-free. Context-dependence serves an important purpose, namely,
reduction in the number of words in the vocabulary. Note that such
words as small, near, tall and young are even more context-dependent
than the words and phrases cited in your comment.
In the examples given in my message, the information set, I, and the
question, q, are described in a natural language. To come up with an
answer to the question, it is necessary to precisiate the meaning of
propositions in I. To illustrate, in the problem of Vera's age, it is
necessary to precisiate the meaning of "mother's age at birth of a child
is usually between approximately twenty and approximately forty."
Precisiation should be cointensive in the sense that the meaning of the
result of precisiation should be close to the meaning of the object of
precisiation (Zadeh 2008 <http://dx.doi.org/10.1016/j.ins.2008.02.012>).
The issue of cointensive precisiation is not addressed in the literature
of cognitive linguistics nor in the literature of computational
linguistics. What is needed for this purpose is a fuzzy logic-based
approach to precisiation of meaning (Zadeh 2004
<http://www.aaai.org/ojs/index.php/aimagazine/article/view/1778/1676>).
In Precisiated Natural Language (PNL) it is the elasticity of meaning
rather than the probability of meaning that plays a pivotal role. What
this means is that the meaning of words can be stretched, with context
governing elasticity. It is this concept that is needed to deal with
context-dependence and, more particularly, with computation with
imprecise probabilities, e.g., likely and usually, which are described
in a natural language.
In computation with imprecise probabilities, the first step involves
precisiation of the information set, I. Precisiation of I can be
carried out in various ways, leading to various models of I. A model,
M, of I is associated with two metrics: (a) cointension; and (b)
computational complexity. In general, the higher the cointension, the
higher the computational complexity is. A good model of I involves a
compromise.
In the problem of Vera's age, I consists of three propositions. p_1 :
Vera has a daughter in the mid-thirties; p_2 : Vera has a son in the
mid-twenties; and p_3 (world knowledge): mother's age at the birth of
her child is usually between approximately 20 and approximately 40. The
simplest and the least cointensive model, M_1 , is one in which
mid-thirties is precisiated as 30; mid-twenties is precisiated as 20;
approximately 20 is precisiated as 20; approximately 40 is precisiated
as 40; and usually is precisiated as always. In this model, p_1
precisiates as: Vera has a 35 year old daughter; p_2 precisiates as:
Vera has a 25 year old son; and p_3 precisiates as mother's age at the
birth of her child varies from 20 to 40. Precisiated p_1 constrains the
age of Vera as the interval [55, 75]. Since p2 is not independent of
p_1 , precisiated p_2 constrains the age of Vera as the interval [55,
65]. Conjunction (fusion) of the two constraints leads to the answer:
Vera's age lies in the interval [55, 65]. Note that the lower bound is
determined by the lower bound in p_1 while the upper bound is
determined by the upper bound in p_2 .
A higher level of cointension may be achieved by moving from M_1 to M_2
. In M_2 , various terms such as mid-twenties and mid-thirties are
precisiated as intervals, e.g. mid-twenties is precisiated as [24, 26],
with usually precisiated as always. Elementary interval analysis
suffices for computation of Vera's age.
A significantly higher level of cointension may be achieved with M_3 .
In M_3 , various terms are precisiated as fuzzy intervals and, more
particularly, as fuzzy intervals with trapezoidal membership functions,
or tp-sets for short, with usually precisiated as always. For this
model, to compute Vera's age what is needed is fuzzy arithmetic.
The best model is M_4 . M_4 differs from M_3 in that usually is
precisiated as a fuzzy probability represented as a tp-set. To compute
Vera's age what is needed is the machinery of the Generalized Theory of
Uncertainty (Zadeh 2006
<http://www-bisc.cs.berkeley.edu/zadeh/papers/GTU--Principal%20Concepts%20and%20Ideas-2006.pdf>).
Should you be interested, I will be pleased to send you, and anyone else
who is interested, a detailed solution.
In relation to M_4 , Bayesian models are less cointensive and more
computationally complex. The reason is rooted in the fact that
imprecision in natural languages stems from the elasticity of meaning
rather than the probability of meaning.
In summary, when the information set, I, is described in a natural
language, the answer to a question depends on the model that is used to
precisiate I. To achieve a high degree of cointension, what is needed
is a combination of fuzzy logic and probability theory. By itself,
probability theory is not sufficient.
Warm regards to all,
Lotfi
--
Lotfi A. Zadeh
Professor in the Graduate School
Director, Berkeley Initiative in Soft Computing (BISC)
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai