originally created as instantiation (concretization) of
one of the following basic linguistic proto-forms:
knowing([document(s):x] is about [subject(s):sub])
believing([document(s):x] is about [subject(s):sub])
possible([document(s):x] is about [subject(s):sub])
or another proto-form, complementary to the above
enumerated ones.
It is worth of mentioning that for a fixed document
x and a fixed subject sub (a simple subject or a bi-
nary conjunction of simple subjects) one and only one
proto-form should be instantiated as proper represen-
tation of epistemic state. Namely, such constraint fol-
lows from common sense, natural language pragmat-
ics rule, saying that knowing, believing and finding
something only as possible (in the epistemic sense)
are mutually exclusive, different states of the same
mental epistemic attitude. Thus, in our research an
adequate extraction of natural language alerts from
IF system’s knowledge base (or more strictly: proper
and adequate choice and further instantiation of proto-
form) becomes a fundamental issue to be elaborated,
on both technical and theoretical levels.
In conclusion, similarly to other natural language
statements, three aspects of alerts need to be taken
into account: propositional element, modality, and
temporal frame. As it has just been mentioned above,
the propositional element is given by predication,
which on written (or vocalized) level is referred to
by elements of sets K S and K B. The alerts’ tem-
poral dimension is quite apparent. Namely, they are
stated in the present grammatical time. A more prob-
lematic issue is the alerts’ modality choice, which in
our case should reflect a kind of epistemic uncertainty
of IF system, itself. An important question, of both
theoretical and technical nature, is how to properly
choose adequate modality markers, in order to ex-
tend written (or vocalized) representation of predica-
tion (applied to incoming documents). This question
is strongly supported by an original theory of ground-
ing of modal epistemic statements, briefly presented
below.
3.2 Applying the Theory of Epistemic
Modality Grounding to Alerts’
Production
The decision rules for proper choice of an adequate
modal proto-form, its instantiation (and further pre-
sentation to an end user in a written and/or vocalized
form) follow from an original theory of grounding,
presented elsewhere. Namely, for the case of sim-
ple subject-based predication the introductory theo-
retical results can be found in (Katarzyniak, 2005),
for binary conjunctive subject-based predication in
(Katarzyniak, 2006b; Katarzyniak, 2006a).
It is assumed in the theory (following multiple
models of language production (Evans and Green,
2006; Stachowiak, 2013; Wlodarczyk, 2013)) that
particular epistemic operators of modality are related
to summarized empirical experience, supporting re-
lated language proto-forms. However, these proto-
forms are never stored and processed as separate en-
tities, for they are conceptually (mentally) related to
their complementary counterparts. In particular, such
complexes of complementary proto-forms constitute
linguistic holons, which in our technical approach are
strongly related to the concept of mental language
holons, defined in the previous sections. In conse-
quence, to each linguistic proto-form, always related
to one and only one part of a relevant mental language
holon, certain intensity of summarized (embodied)
experience of a subject (or binary conjunctive subject)
is assigned. In the theory of grounding this intensity
is numerically represented by the relative grounding
strength.
According to the theory of simple modali-
ties grounding, the proper choice of adequate
linguistic proto-form is possible if and only
if a proper system of the so-called modality
thresholds is applied (and technically realized
in a system). In our case the system needs to
consist of two interrelated sub-systems of thresh-
olds {λ
KS
Know
, λ
KS
maxBel
, λ
KS
minBel
, λ
KS
maxPos
, λ
KS
minPos
} and
{λ
∧
Know
, λ
∧
maxBel
, λ
∧
minBel
, λ
∧
maxPos
, λ
∧
minPos
}, for effec-
tive control of simple-subject predication instantia-
tion and conjunctive subject predication instantiation,
respectively.
An interesting result from the theory of ground-
ing, for the practice perhaps the most important one,
is that the system of modality thresholds cannot be
freely chosen. Namely, in order to guarantee common
sense consistency of (written and verbal) language be-
haviour the system of modality thresholds has to ful-
fil some predefined set of requirements, accepted in
the theory of grounding, as a reflection of common
sense pragmatics applied in actual contexts to natural
language operators of knowledge, belief, and possi-
bility. The fact that written and/or verbal behaviour,
produced by a technical system based on the theory
of grounding, is actually consistent, from the semi-
otic and pragmatic point of view, can be analytically
proved and verified
2
.
Moreover, within the numerical scope which is
permissible according to the theory of grounding, val-
ues for thresholds can be chosen in an arbitrary man-
ner (Katarzyniak, 2005). However, for the case of
2
Some of the results can be found in (Katarzyniak, 2005;
Katarzyniak, 2006b; Katarzyniak, 2006a).
ICEIS 2016 - 18th International Conference on Enterprise Information Systems
516