Skip to main content

Cognitive information processing

Abstract

Today, under the “true or false” philosophy, we are confined within the ‘syntactic’ restrictions, in connection with the adoption of the counter-concepts/binary concepts presented by common words and Boolean numbers concerned with logical reasoning based on binary logic. In contrast, truth, according to Brouwer and Heyting (intuitive logic), comes from the future. It, according to Łukasiewicz (multi-valued logic), is neither true nor false. It should be a third option that transcends both, i.e., transcends the ‘syntactic’ restrictions to reach the ‘semantic’ and ‘pragmatic’ descriptions of available data. Truth, in this case, will be formulated in the new form of the meta-concept: true-false which is neither true nor false, likewise the ‘affirmation and denial’ idea of the Indian logic. It becomes a cognitive measure used to describe the human cognitive processing. It turned out that we need not only a new term that transcends limits of words and Boolean numbers to describe meta-concepts, but also a new approach based on new philosophy, logic and mathematics to process cognitive information using both physical and mental data. It refers, in this article, as denotation computing for determining the relative density of sand using CPT data. Instead of the counter-concept, “loose or consolidation or high consolidation” we use the meta-concept, “loose-consolidation-high consolidation” to represent the objective–subjective data. Their processing is developed for certain types of data structures designed for representing information content including cognitive measures depending on perception of engineers to exceed the syntax limits of binary concepts towards their semantic and pragmatic aspects. It is based on the integration of modern philosophy, epistemology, logic, and denotational mathematics.

Introduction

To identify what we consider the so-called objective reality through available data derived from the physical devices, we use traditionally logical reasoning within the ‘syntactic’ restrictions, which is based on the binary philosophy and two-valued logic. It we call the information processing in the ‘syntactic’ level—external information processing using the counter-concept/binary concept: ‘true or false’—the first stage of our relationship with the real world. In contrast, when we experience what we feel a reality, which may extend beyond the boundary of syntax restrictions of language. For example, we have some objects/subjects which we do not know for sure of its existence or non-existence. However, we feel that it is neither existence nor non-existence, but a third option that transcends both. To describe what we have (feel) in our head, we may introduce a new concept originated from intuition and experiences depending on our perception derived from the so-called true-false philosophy according to monism rather than dualism. We cannot use common words with syntax restriction to describe this idea. We may use a new concept presented by existence-nonexistence, which represents both existenceand nonexistence. It we call a meta-concept, which is derived from our intuition, commonsense and experiences. Hidden information containing in this existence-nonexistence concept, we call cognitive information, which represents the semantic and pragmatic aspects of observed object/subject. Thus, we have also a relationship with the real world—the second stage, which is strictly related to cognitive processing using cognitive measures. Then, we need a new technique that studies information as attributes of the real world, which shall be generally abstracted, quantitatively represented and mentally processed.

We propose in this paper, an internal information processing approach based on the integration of modern philosophy, epistemology, logic and denotational mathematics for certain types of data structures designed for representing information content including cognitive measures derived from intuition, commonsense and perception of engineers to exceed the syntax limits of binary concepts towards their semantic and pragmatic aspects. It refers as denotation computing using both physical and mental data to determine the relative density, I\(_\mathrm{D}\), of sands with cognitive measures determined by ‘true-false’ values. Instead of the counter-concept “loose or medium or high consolidation” according to dualism, we use rather the meta-concept, “loose-medium-high” consolidation, determined by both available data and mental data according to monism.

Philosophy of language

Linguists, in the nineteenth century, began to recognize the diversity of human language, and to question about the relationship between language and logic. Different concepts have been introduced, for example, syntactic, semantics, pragmatics, sense and denotation which are presented briefly as below.

Syntactic or syntax, is concerned with the way sentences are constructed from smaller parts, such as words and phrases. Two steps can be distinguished in the study of syntactic. The first step is to identify different types of units in the stream of speech and writing. The second step is to analyze how these units build up larger patterns, and in particular to find general rules that govern the construction of sentences. Syntactic is a branch of semiotics that deals with the formal relations between signs or expressions in abstraction from their signification and their interpreters.

Semantics is the subfield that is devoted to the study of meaning, as inherent at the levels of words, phrases, sentences, and larger units of discourse. A key concern is how meaning attaches to larger chunks of text, possibly as a result of the composition from smaller units of meaning. Traditionally, semantics has included the study of sense and denotation reference, truth conditions, argument structure and discourse analysis. The term semantics is applied to certain types of data structures, specifically designed and used for representing information content. Systems of categories are not objectively “out there” in the world, but are rooted in people’s experiences. Their meaning is not an objective truth, but a subjective construct, learned from experiences.

Pragmatics is the study of the relationships between the symbols of a language, their meaning, and the users of the language. It is a subfield of linguistics which studies the ways in which context contributes to meaning. It studies how the transmission of meaning depends not only on the linguistic knowledge of the speaker and listener, but also on the context of the utterance, knowledge about the status of those involved, the inferred intent of the speaker, and so on. In this respect, pragmatics explains how language users are able to overcome apparent ambiguity, since the meaning relies on the manner, place, time etc., of an utterance. Pragmatic awareness is regarded as one of the most challenging aspects of language learning, and comes only through experiences.

Sense and denotation Frege (1848–1925) [1, 2] developed a theory of sense and denotation into a thoroughgoing philosophy of language. He gave a new and revised account of his logical calculus, and had evolved his now well-known theory of sense and denotation. By the sense of a statement or proposition, Frege understood its content, i.e., ‘the meaning of words’ in the syntactic level. While by denotation of a statement or proposition he understood the meaning, in the semantic and pragmatic levels, that transcends the language description. According to Frege, we can really learn that the statement “the morning star is identical to the morning star” is true by simply linguistic inspection, but, while, in fact both the statements “the morning star” and “the evening star” refer to is the planet namely Venus, we cannot learn the truth that “the morning star is identical to the evening star” simply by linguistic inspection. It is shown in the Fig. 1.

Fig. 1
figure 1

Sense and denotation according to Frege’s view

Counter-concepts/binary-concept

The counter-concepts such as mind or brain, being or nonbeing, objectivity or subjectivity and others are originated from dualism, which was originally created to denote co-eternal binary opposition, a meaning with syntactic restrictions that are preserved in metaphysical and philosophical duality discourse. For example, ‘mind or brain’ dualism claims that neither the mind nor brain can be reduced to each other in any way. This alternative idea, as well as counter-concepts such as being or nonbeing introduced later creates the so-called binary philosophy—Aristotle (344–322 BC, see Barnes, Jonathan). Here, “Being” and its opposition, “Nonbeing”, are expressed in the law of the excluded middle, which states the necessity that either an assertion or its negation must be true or false.

Counter-concepts originating from ‘being or nonbeing’ philosophy are derived from observation, physical testing and logical reasoning based on two-valued logic, in which we have the so-called material implication presented logically in the form:

$$\begin{aligned} \forall _{p,q\in \left\{ {0,1} \right\} }\, p\rightarrow q=0\,\mathrm{or}\,1\,\,(\mathrm{certainly}) \end{aligned}$$
(1)

Meaning of these concepts can be determined by a common language in its syntactic aspects, without its semantic and pragmatic respects depending upon the individualized conscious or actual spiritual state of the observer. Consider, for example, behaviors of explored equipment such as the Cone Penetration Test, CPT, in the complex environments of soil. Available knowledge about soil properties can be obtained from observation of the behavior of the physical “CPT-soil” system and logical reasoning including traditional/deductive mathematics. It is seen as exploration strictly in the framework of the ‘syntactic’ restrictions, depending in no way upon the individual spiritual state of the controller, which is shown in the Fig. 2.

Fig. 2
figure 2

Objective reality derived from available data

Study of the “CPT-soil” system must, in this case, resort to statistical descriptions and what has been determined is seen as ‘objectivity’. Then, the laws of statistics enable us to understand the behavior of a multitude of disorganized complexities.

Meta-concept

Contrary to dualism, monism does not accept any fundamental divisions between physical and mental. It is a doctrine saying that ultimate it reality is entirely ofonesubstance. Monism [3] leads to other concepts named meta-concepts, which were originally created to denote a meaning beyond syntactic restrictions that are preserved in metaphysical, philosophical duality discourse. They are presented as follows.

‘Affirmation-Denial’ Concept: It was found in Indian logic (in the Rigveda 1000 B.C.) in which, we have the four-cornered argumentation including: affirmation X, denial of \(X,\lnot X\), both affirmation and denial, \(X \, \wedge \lnot X\), and neither of them \(\lnot ( {X\,\wedge \lnot X})\). Here, the joint affirmation and denial \(X\,\wedge \lnot X\) represents a third option that transcends both affirmation and denial. It can be represented by a new meta-concept: ‘affirmation-denial’ in the form:

‘affirmation-denial’ is neither affirmation nor denial

It is impossible in two-valued logic, i.e., we cannot use it for logical reasoning based on binary logic. The efforts of Indian logic were concentrated on explaining the unary underlying order of Hindu philosophy. They want to come to adopt neutral monism, the view that the possible reality, which we could recognize by feeling originated from intuition, commonsense, is of one kind including both affirmation and its denial.

‘Discrimination-Nondiscrimination’ Concept: Fundamental undivided nature of reality is found in Zhuang Zhou’s ‘One’ philosophy, (

figure a

-Zhuang Zhou 369–286, in China [4]). It is shown in the Fig. 3.

Fig. 3
figure 3

Zhuang Zhou’s “One” philosophy

The author claimed that the concept of true and the opposition of it, false, is seen as oneness and according to his dynamic thinking: “true becomes false and false becomes true ... we cannot know where is the starting point, where is the end ... as a circle, in which, we cannot distinguish big from small, good from evil, discrimination from non-discrimination and true from false”. The original idea presented in brief in the form: “Discrimination-Nondiscrimination”, is seen as the Zhuang Zhou’s ‘One’ philosophy:

‘Discrimination-Nondiscrimination’ is neither Discrimination nor Nondiscrimination,

which, according to Suzuki [5] (

figure b

Suzuki Daisetz Teitarō 1962), is the most deep philosophical paradox. In fact, the author wanted to turn away from logical reasoning to recognize what originated directly from the observer’s perceptions.

‘Being-Nonbeing’ Concept: The meta-concept: “sac-sac-khong-khong” i.e., being-being-nonbeing-nonbeing or briefly, being-nonbeing is found in the Vietnamese “one” philosophy. That is:

‘being-nonbeing’ is neither being nor nonbeing

but a third option that transcends both. In the framework of Indian logic, using box connective, \(\blacksquare \) (affirmation), and diamond connective, \(\blacklozenge \) (both \(\blacksquare \) and \(\lnot \blacksquare \)), for the four-cornered argumentation: \(\blacksquare ,\,\,\blacklozenge ,\lnot \blacksquare \) and \(\lnot \blacklozenge \), we can represent ‘Being’ by four symbols, \((\blacksquare B,\blacklozenge B,\lnot \blacksquare B,\lnot \blacklozenge B)\), where we have certainty: \(\blacksquare B,\lnot \blacksquare B\) (negation), uncertainty: \(\blacklozenge B\) and \(\lnot \blacklozenge B\) (neither \(\blacksquare B\) nor \(\lnot \blacksquare B)\); similarly, ‘Nonbeing’ by \((\blacksquare N,\blacklozenge N,\lnot \blacksquare N,\lnot \blacklozenge N)\). Then, being-nonbeing reasoning based on Indian logic (four-valued logic) leads to 16 possibilities, which are presented in the form:

Is this “being-nonbeing”?

$$\begin{aligned} \text{ Possible } \text{ replies }: \{\blacksquare B\blacksquare N,&\blacksquare B\blacklozenge N,\blacksquare B\lnot \blacksquare N,\blacksquare B\lnot \blacklozenge N, \\&\blacklozenge B\blacksquare N,\blacklozenge B\blacklozenge N,\blacklozenge B\lnot \blacksquare N,\blacklozenge B\lnot \blacklozenge N, \\&\,\,\,\lnot \blacksquare B\blacksquare N,\lnot \blacksquare B\blacklozenge N,\lnot \blacksquare B\lnot \blacksquare N,\lnot \blacksquare B\lnot \blacklozenge N, \\&\,\,\,\,\,\,\,\,\lnot \blacklozenge B\blacksquare N,\lnot \blacklozenge B\blacklozenge N,\lnot \blacklozenge B\lnot \blacksquare N,\lnot \blacklozenge B\lnot \blacklozenge N\}=2^4\text{ possibilities } \end{aligned}$$

This is a consequence of both the observations that come from the eyes of the observer and his/her perceptions rooted from intuition, commonsense and experiences without logical reasoning, i.e., beyond the syntactic boundaries by a cognitive information processing.

While the counter-concepts ‘being or nonbeing’ are produced by the intercourse of the body senses with objects, the observer can quickly recognize being or non-being by his/her eyes. Consequently, four possibilities obtained from ‘being ornonbeing’ reasoning based on two-valued logic are presented in the form:

Is this “being or nonbeing”?

Possible replies: \(\{BN,B\lnot N,\lnot BN,\lnot B\lnot N\}\) = 2\(^{2}\) possibilities

Thus, with the meta-concept: being-nonbeing, we can recognize many more possibilities, which we cannot obtain by logical reasoning based on two-valued logic. Many possibilities individually exist in the observer’s spirit through actual information and his/her perceptions using ‘to look inside’ information processing—‘true and false’ reasoning rather than ‘true or false’ reasoning.

It is the conscious development [6], which defines the reality of semantic and pragmatic aspects using mental power of consciousness of the observer rather than a reality in terms of syntax derived from “being or non-being” reasoning.

Subject-Objectconcept: According to Hegel, the most important achievement of German idealism, starting with Kant and culminating in his own philosophy, was “the demonstration that reality is shaped through and through by mind and, when properly understood, is mind”. Thus, ultimately the structures of thought and reality, subject and object, are identical. According to Hegel, people do not recognize that, in truth, the identity is different, that is to say, they are “one” —the identity-different.

‘True-false’ Concept: The meta-concept true-false presented in Łukasiewicz’s philosophy (1879–1956) as in [7]: “The truth about the future events is neither true nor false”, i.e., it comes from intuition and commonsense or from the human cognitive processing depending on perceptions rather than ‘true or false’ reasoning in the syntactic framework. It is a cognizable value—‘true-false’ measure, \(\tau \), and the ‘truth’ of judgments or the cognitive measures, which is graphically presented in the form Fig. 4.

Fig. 4
figure 4

Łukasiewicz’s ‘true- false’ philosophy

According to Łukasiewicz, for a cognitive measure, \(\tau ,\tau = \text{ p }, \text{ q }\in \left[ {0, \text{1 }} \right] \), instead of the material implication, we have a strict implication presented as:

$$\begin{aligned} \forall _{p,q\in \left[ {0,\,1} \right] } p\rightarrow q=\min ( {1,\,\,1-p+q})\,\,\,(\mathrm{uncertainly}) \end{aligned}$$
(2)

‘Membership-nonmembership’ concept: It is neither membership nor nonmembership [8], which is developed and leads to Zadeh’s fuzzy logic.

Information Content of Meta-concepts: According to Frege, the denotation of statement, p, must be identified by truth values or an infinite number of thoughts (cognitive processing). That is:

p \(\Rightarrow \) p\(\vert \)Denotation = p\(\vert \) thoughts

Thought that comes to mind quickly without much personal reflection is a consequence derived from intuition, commonsense through perceptions, which is often roughly translated as ‘feeling or to look inside’. It really describes a ‘subjective evaluation’/‘cognitive evaluation’ in the semantic and pragmatic aspects—information content that exists in different ideas: ‘Discrimination-Nondiscrimination’ according to Zhuang Zhou’ philosophy, ‘being-nonbeing’ according to Vietnamese philosophy, ‘identity-different’ according to Hegel’s philosophy, ‘membership-nonmembership’ according to Zadeh’s philosophy, ‘true-false’ according to Lukasiewicz’s philosophy and ‘truth comes from the future’ according to intuitive logic of Brouwer and Heyting [9, 10]. By this way, we can represent the meta-concept affirmation-denial as follows

affirmation-denial \(\vert \)thoughts \(=\) affirmation-denial \(\vert \) cognitive measures

The True-false measure, \(\tau \), referred as cognitive measure enables us to represent the semantic and pragmatic aspects of knowledge through the human pragmatic competences. Data with its cognitive measure, we call intelligent data and the knowledge derived from intelligent data we call the meta-knowledge. These can be estimated by how much it resonates with our being through an internal processing (feeling) of the human mind. We have, according to multi-valued logic, truer if fewer false and vice versa; that is:

$$\begin{aligned} {\textit{True}}-{\textit{false}}&= {\textit{True}}-{\textit{false}} \vert \tau ({\textit{true}})\nonumber \\&\wedge {\textit{True}}-{\textit{false}}\vert \tau ( {{\textit{false}}}) \end{aligned}$$
(3)

In the same way, we have:

Affirmation-denial \(=\) Affirmation-denial \(\vert \) \(\tau \) (affirmation) \(\wedge \) Affirmation-denial \(\vert \) \(\tau \)(denial)

Being-Nonbeing \(=\) Being-Nonbeing \(\vert \) \(\tau \)(being) \(\wedge \) Being-Nonbeing \(\vert \) \(\tau \)(Nonbeing)

These data structures are actually intended to represent the information content through cognitive measures, \(\tau ,\) determined under the epistemological aspect of engineers to expand the syntactic boundaries of available data into the semantic and pragmatic aspects. It is the result of quantity expressed by numbers through cognitive measures, quality expressed by words through meta-concepts and the human thought through cognitive information processing. Their integration held in relation to Frege’s concept of sense and denotation of sentences and Lukasiewicz’s multi-valued logic.

Let us return to geotechnical problems, it is seen as an exploration in the framework that transcends the ‘syntactic’ restrictions, depending on the individual spiritual state of the observer and scientist, which is shown in the Fig. 5.

Fig. 5
figure 5

Meta-knowledge that expresses objective–subjective reality

Cognitive information processing using denotational mathematics

Note, that the symbol \(\tau \), in the framework of the fuzzy philosophy, is called a truth function that expresses the truth according to the degree of truth. In contrast, in the framework of “being-nonbeing” of philosophy, it is called “true-false” function referred as the cognitive measures. Their processing—cognitive measure processing can be mathematically represented as follows.

Definition 1

Borel \(\sigma \)-algebra: let X be a non-empty set, \(\text{ X }\ne \varnothing \); the family \({\mathbb {A}}\) of subsets of the set X is called \(\sigma \) -algebraof subsets of X, if:

$$\begin{aligned}&({\text {X}} \in {\mathbb {A}}) \wedge ({\text {A}} \in {\mathbb {A}} \rightarrow ({\text {X}} - {\text {A}}) \in {\mathbb {A}})\nonumber \\&\quad \wedge \left( {\text {A}}_{{\text {n}}} \in {\mathbb {A}} \rightarrow \bigcup \limits _{{n = 1}}^{\infty } {A_{n} \in {\mathbb {A}}}\right) \end{aligned}$$
(4)

The \(\sigma \) -algebra, which is generated by all open intervals in \(\mathfrak {R}^{\mathrm{n}}\), is called Borel \(\sigma \) -algebra and denoted as ß. The elements of family ß are called Borel sets.

Definition 2

Measure: a function \(\tau :{\mathbb {A}}\Rightarrow \,\overline{\mathfrak {R}}_+ ,\overline{\mathfrak {R}}_+ =\mathfrak {R}\cup \left\{ {+\infty } \right\} \) is called a measure, if:

$$\begin{aligned}&\hbox {(a)} \quad \forall ( {A\in {\mathbb {A}}}):\left\{ {( {\tau (\hbox {A})\ge 0})\wedge ( {\tau (\varnothing )=0})} \right\} \end{aligned}$$
(5)
$$\begin{aligned}&\hbox {(b)} \quad \forall _{A_i \cap A_j =\varnothing ;i\ne j} :\left\{ {\tau \left( {\mathop \cup \limits _{i=1}^\infty A_i }\right) =\sum \limits _{i=1}^\infty {\tau ( {A_i })} } \right\} \end{aligned}$$
(6)

Definition 3

Measure of a set: The function \(\tau ( A),A\in {\mathbb {A}}\) is called a measure of set \(A\); if \(\tau ( A)\) = 0 then \(A\) is called a measurable-zero set, \(\tau :{\mathbb {A}}\rightarrow [0,\infty ]\) is called a set function determined on \({\mathbb {A}}\).

Definition 4

Measurable set: Assume, family \(\mathfrak {I}\) composed of elements in the form of: \(A=B\cup C,B\in \beta ,\tau ( \text{ C })\) = 0; \(\beta \) is a Borel set; each element of set \(\mathfrak {I}\) is called a measurable set (measurable in the sense defined by Lebesgue [11]), if:

$$\begin{aligned} \forall _{\mathrm{A}\in \mathfrak {I}} :\tau (\mathrm{A})=\tau (\mathrm{B}\cup \mathrm{C})=\tau (\mathrm{B}) \end{aligned}$$
(7)

Definition 5

Measurable function: mathematically, let X be a non-empty set, let S be a \(\sigma \) -field of subsets of X, let \(f\) be a partial function from X to , \(\overline{\mathfrak {R}},\,\,\overline{\mathfrak {R}}=\mathfrak {R}\cup \left\{ {-\infty } \right\} \cup \left\{ {+\infty } \right\} \) and let \(A\) be an element of S. We say that \(f\) is measurable on \(A\) iff: for every real number r holds, as in [12].

$$\begin{aligned} \mathrm{A}\cap \mathrm{LE}-\mathrm{dom}(\mathrm{f},\overline{\mathfrak {R}}(\mathrm{r)})\quad \text{ is } \text{ measurable } \text{ on } \text{ S } \end{aligned}$$
(8)

where , the functor LE-dom(\(f\), a) yields a subset of X and is defined by:

$$\begin{aligned} x\in \text{ LE }-\text{ dom }( {f, \text{ a }}){\textit{iff}}\!\!:\!x\in \text{ dom }( f)\wedge \exists \text{ y }\{y\!=\!f( x)\wedge y\!<\! \text{ a }\}\!, \end{aligned}$$
(9)

where \(y\) denotes an extended real number. In other way, let F be a class of all finite non-negative measurable functions defined on a measurable space, (X, \({\mathbb {A}}\)). Moreover, let the set \(\text{ F }_\alpha \) be called an \(\alpha \)-cut of \(f\), \(f\in \text{ F }\). Function \(f: \text{ X }\Rightarrow \overline{\mathfrak {R}}\) is called a measurable function \({\mathrm{i}\textit{ff:}}\) \(\beta \) is a Borel set and:

$$\begin{aligned}&\forall _{B\in \beta } :\left\{ f^{-1}(B)=[x:f(x)\in B]\,\,\mathrm{belonging}\,\,\mathrm{to}\,\,\sigma \right. \nonumber \\&\left. \quad \quad -\mathrm{algebra}\,\,\mathrm{on}\,\,X \right\} \,\,\mathrm{albo} \end{aligned}$$
(10)
$$\begin{aligned}&\{\forall _{\alpha \in \mathfrak {R}} :F_\alpha =\left[ {x:f(x)>\alpha } \right] \} \end{aligned}$$
(11)

Definition 6

Quantitative-qualitative evaluation: Let X be a non-empty set; \(\mathtt{A }\) be an \(\sigma \)-algebra on \(\text{ X };\tau :{\mathbb {A}}\Rightarrow \left[ {0, \text{1 }} \right] \) be a non-negative, real-valued set function defined on \(\mathtt{A }\). \(\tau \) is called a cognitive measure on (X, \({\mathbb {A}}\)) iff:

  1. a.

    \(\tau \) is derived from available data with the respect of semantics and pragmatics.

  2. b.

    \(\tau (\varnothing )=0\) when \(\varnothing \in {\mathbb {A}}\).

  3. c.

    \(\{(\text{ E }\in {\mathbb {A}}, \text{ F }\in {\mathbb {A}})\wedge (\text{ E }\subset \text{ F })\}\) implies \(\tau ( \text{ E })\le \tau ( \text{ F })\).

  4. d.

    \([(\left\{ {\text{ E }_{\mathrm{n}} } \right\} \subset {\mathbb {A}};\cup \left\{ {\text{ E }_{\mathrm{n}} } \right\} \in {\mathbb {A}})\wedge (\cap \left\{ {\text{ E }_{\mathrm{n}} } \right\} \in {\mathbb { A}})]\) then

$$\begin{aligned}{}[\tau (\cup \left\{ {\text{ E }_{\mathrm{n}} } \right\} )=\text{ max }\left\{ {\tau ( {\text{ E }_{\mathrm{n}} })} \right\} ]\wedge \left[ {\tau ( {\cap \left\{ {\text{ E }_{\mathrm{n}} } \right\} })=\text{ min }\{\tau ( {\text{ E }_{\mathrm{n}} })\}} \right] \end{aligned}$$

This number is the quantitative-qualitative evaluation (a cognitive measure) corresponding to both quantity and quality factors in X. Hence, set \(\varnothing \) has a minimum confidence: 0, i.e., \(\tau (\varnothing )=0\) ; total space X has a maximum confidence: 1, i.e., \(\tau \)(X) = 1 (boundary conditions); therefore, for every set of factors \(E\) i \(F\), so that \(\text{ E }\subset \text{ F }\) , the confidence of E cannot be greater than the confidence of F. This means that this measure fulfills the conditions: \(\text{ E }\in {\mathbb {A}}, \text{ F }\in {\mathbb {A}}\) and \(\text{ E }\subset \text{ F }\) implies \(\tau \)(E) \(\le \,\,\tau \)(F) (monotonicity conditions). Measure \(\tau \) corresponding to above conditions is called a true-false measurefuzzy measure in the measurable space (X, \({\mathbb {A}}\)). Compared to a probabilistic measure, the additive condition \((\tau (\text{ E }\cup \text{ F })=\tau ( \text{ E })+\tau ( \text{ F }) \text{ for } \text{ E }\cap \text{ F } =\varnothing )\) has been replaced by condition (c); therefore, we call it (\(\tau )\) a non-additive measure. \(\tau \) is called a lower or upper semi-continuous true-false measure on (\(X, {\mathbb {A}}\)) iff it satisfies the above conditions [a, b and c (continuity from below)] or [a, b and d (continuity from above)], respectively. Both of them are simply called semi-continuous true-false measures. Furthermore, we say that true-false measure or semi-continuous true-false measure, \(\tau \), is regular iff \(X\in {\mathbb {A}}\) and \(\tau (X)\) = 1. A set function \(\tau \) is called true-false -additive measure iff g: \({\mathbb {A}}\rightarrow [0, \text{1 }]\) on space (\(X, {\mathbb {A}}\)) such that \(\tau (\mathop \cup \nolimits _{t\in T} E_{t})=sup_{t \in T} \tau (E_{t})\) for any subclass \(\{E_t \vert t\in T\}\) of \({\mathbb {A}}\) whose union is in \({\mathbb {A}}\), where \(T\) is an arbitrary index set. For any \(E, F\subseteq X\), a true-false measure is:

  1. 1.

    additive: \(\mathop \forall \nolimits _{E\cap F=\varnothing } \,\{\tau (E\cup F) =\tau ( E)+\tau ( F)\};\)

  2. 2.

    supermodular: \(\tau (E\cup F)+\tau (E\cap F)\ge \tau ( E)+\tau ( F);\)

  3. 3.

    submodular: \(\tau (E\cup F)+\tau (E\cap F)\le \tau ( E)+\tau ( F);\)

  4. 4.

    superadditive: \(\mathop \forall \nolimits _{E\cap F=\varnothing } \,\{\tau (E\cup F)+\tau (E\cap F)\ge \tau ( E)+\tau ( F)\};\)

  5. 5.

    subadditive: \(\mathop \forall \nolimits _{E\cap F=\varnothing } \{\tau (E\cup F)+\tau (E\cap F)\le \tau ( E)+\tau ( F)\};\)

  6. 6.

    symmetric: \(\left| E \right| =\left| F \right| \rightarrow \tau ( E)=\tau ( F);\)

  7. 7.

    Boolean: \(\tau ( E)=0\vee \text{1 }\)

It represents the human behavior that transcends the ‘syntactic’ boundaries of variable data with the respect of semantics and pragmatics.

The measure \(\tau \) corresponding to above conditions is called cognitive measure—a true-false measurein the measurable space (X, \({\mathbb {A}}\)), which we call a non-additive measure also. When it is used to define a function such as the Sugeno integral [13], these properties will be crucial in understanding the function’s behavior. Let \(\lambda \ne 0\) and \(\{E_1 ,E_2 ,\ldots ,E_n \}\) be a disjoint class of sets in \({\mathbb {A}}\); we have:

$$\begin{aligned} \tau \left( {\mathop \cup \limits _{i=1}^n E_i }\right) =\frac{1}{\lambda }\left\{ {\prod \limits _{i=1}^n {\left[ {1+\lambda \tau ( {E_i })} \right] -1} } \right\} \end{aligned}$$
(12)

Definition A set function \(\tau \) is called a \(\lambda \) -fuzzy measure on \({\mathbb {A}}\) iff it satisfies the \(\sigma -\lambda \) -rule on \({\mathbb {A}}\), and there at least one set \(E \in {\mathbb {A}}\) such that \(\tau ( E)<\infty \). A set function, \(\tau \), satisfies the \(\lambda \) -rule (on \({\mathbb {A}}\)) iffthere exists:

$$\begin{aligned} \lambda \in ( {-( {1/\sup \tau }),\,\infty })\,\cup \,\left\{ 0 \right\} , \end{aligned}$$
(13)

where, sup \(\tau =\sup _{E\in \text{ A }} \tau (E)\) such that:

$$\begin{aligned}&\mathop \forall \nolimits _{E,F\in \text{ A },E\cup F\in \text{ A },E\cap F\,=\,\varnothing } \{\tau ( {E\cup F})\nonumber \\&\quad =\tau ( E)+\tau ( F)+\lambda \tau ( E)\tau ( F)\} \end{aligned}$$
(14)

\(\tau \) satisfies the finite \(\lambda \)-rule (on \(\mathtt{A }\)) iff there exists the above-mentioned \(\lambda \) such that:

$$\begin{aligned}&\mathop \forall \nolimits _{_{E_i \in \text{ A },i=1,2,\ldots ,n,E_i \cap E_j =\varnothing ,E_i \cup E_j \in \text{ A },i\ne j} } \tau \left( {\mathop \cup \limits _{i=1}^n E_i }\right) \nonumber \\&\quad =\left\{ \begin{array}{l} {\frac{1}{\lambda }\left\{ {\prod \limits _{i=1}^n {\left[ {1+\lambda \tau ( {E_i })} \right] -1} } \right\} \quad \mathrm{as}\,\lambda \ne 0} \\ {\sum \limits _{i=1}^n {\tau ( {E_i }) \quad \mathrm{as}\,\lambda =0} } \\ \end{array} \right. \end{aligned}$$
(15)

\(\tau \) satisfies the finite \(\sigma -\lambda \)-rule (on A) iff there exists the above-mentioned \(\lambda \) such that:

$$\begin{aligned}&\mathop \forall \nolimits _{_{E_i \in \text{ A },i=1,2,\ldots ,n,E_i \cap E_j =\varnothing ,E_i \cup E_j \in \text{ A },i\ne j} } \tau \left( {\mathop \cup \limits _{i=1}^\infty E_i }\right) \nonumber \\&\quad =\left\{ \begin{array}{ll} {\frac{1}{\lambda }\left\{ {\prod \limits _{i=1}^\infty {\left[ {1+\lambda \tau ( {E_i })} \right] -1} } \right\} \quad \mathrm{as}\,\lambda \ne 0} \\ {\sum \limits _{i=1}^\infty {\tau ( {E_i }) \quad \mathrm{as}\,\lambda =0} } \\ \end{array} \right. \end{aligned}$$
(16)

When \(\lambda =0\), the \(\lambda \)-rule, the finite \(\lambda \)-rule and \(\sigma -\lambda \)-rule is the additivity, the finite additivity and the \(\sigma \)-additivity, respectively. Note that if \({\mathbb {A}}\) = \(\mathfrak {R}\) is a non-empty class such that \(E,\,\,F\in \mathfrak {R},\,E\cup F\in \mathfrak {R}\) and \(E-F\in \mathfrak {R}\) and \(g\) satisfies the \(\lambda \)-rule, then \(\tau \) satisfies the finite \(\lambda \)-rule.

Sugeno \(\lambda \) -measure. The Sugeno \(\lambda \)-measure [13], is a special case of fuzzymeasures defined iteratively. It has the following definition: let X = {\(x_{1}, x_{2}\) , ..., x \(_{n}\)} be a finite set and let \(\lambda \in (-\text{1 },+\infty )\). A Sugeno \(\lambda -\)measure is a function \(\tau \) from 2\(^{X}\), (i.e., {0, 1}\(^{X}\) is the set of all functions from \(X\) to {0, 1}) to [0, 1] with properties:

$$\begin{aligned} \tau (X)&= 1\wedge (E,F\subseteq X\wedge E\cap F=\varnothing )\rightarrow \tau (E\cup F)\nonumber \\&= \tau (E)+\tau (F)+\lambda \tau (E)\tau (F) \end{aligned}$$
(17)

where \(\lambda \) is determined by:

$$\begin{aligned} 1+\lambda =\left\{ {\prod \limits _{i=1}^n {\left[ {1+\lambda \tau ( {E_i })} \right] } } \right\} ;\quad \lambda _\in (-1,\infty )\wedge \lambda \ne 0 \end{aligned}$$
(18)

An evaluation undertaken by a single expert is always influenced by his/her subjectivity. However, we can imagine that each quality factor x\(_{i}\) of a given object also has its inherent quality index h(x\(_{i}) \in \) [0, 1], \(i = 1, 2, {\ldots }, n\). That is, we assume the existence of an objective evaluation function \(h\): X \(\rightarrow \) [0, 1]. The most ideal evaluation, E\(^{*}\), for the quality of the object is the fuzzy integral: E\(^{*}\) = \(fh\) d\(g\) of this function \(h \)with respect to the importance measure \(g\), which we call the objective synthetic evaluation. Wang (1984–1992) [14] introduced a generalization of the fuzzy integral. It is non-linear functional, where the integral is defined over measurable sets. Let \(A \in \mathtt{A }\), \(\mathtt{A }\) is a \(\sigma \)-algebra of sets in \(\wp ( X);f\in \) F, F is the class of all finite non-negative measurable functions defined on measurable space (X, \({\mathbb { A}}\)). For any given \(f \in \) F, we write \(F_\alpha =\{x\vert f( x)\ge \alpha \},F_{\alpha +} =\{x\vert f( x)>\alpha \}\), where \(\alpha \in [0,\infty ]\) . Let \(F_\alpha \) and \(F_{\alpha +}\) be called an \(\alpha \)-cut and strict \(\alpha \)-cut of \(f\), respectively. Instead of the importance measure \(g\), the fuzzy integral of \(f\) on \(A\) with respect to true-false measure, \(\tau \), is denoted by \(f_{A} f\) d\(\tau \). To simplify the calculation of the fuzzy integral, for a given (\(X, {\mathbb { A}}, \tau )\), \(f \in \) Fand \(A \in {\mathbb { A}}\), we have:

$$\begin{aligned}&{\int \!\!\!\!\!-}_A \,f\mathrm{d}\tau =\mathop {\sup }\limits _{\alpha \in \mathrm{ALFA}} [\alpha \wedge \tau (\mathrm{A}\cap \mathrm{F}_\alpha )]\end{aligned}$$
(19)
$$\begin{aligned}&\mathrm{ALFA}=\{\alpha \vert \alpha \in [0,\infty ],\tau (\mathrm{A}\cap \mathrm{F}_\alpha )>\tau (\mathrm{A}\,\cap \,\mathrm{F}_\beta ),\nonumber \\&\quad \mathrm{for}-\mathrm{any}:\beta >\alpha \} \end{aligned}$$
(20)

The True-false measure referred as fuzzymeasure enables us to represent the semantic and pragmatic aspects of knowledge through the human pragmatic competences. These can be estimated by how much it resonates with our being through an internal processing (feeling) of the human mind. It is the result of quantity expressed by numbers through cognitive measures, quality expressed by words through meta-concepts and the human thought through cognitive information processing together held in relation to Frege’s concept of sense and denotation of sentences and Lukasiewicz’s multi-valued logic.

Determining the relative density of sands, I\(_\mathrm{D}\), using CPT data

We can use I\(_\mathrm{D}\), for example, to indicate the state of denseness of sand soil. Current knowledge on the subject of sand consolidation is limited and qualitative. For example, soil consolidation states, s, are presented by loose (l—loose/Low consolidation) for 0 \(<\) I\(_\mathrm{D} \quad \le \) 0.33, moderately consolidated (m—medium consolidation) for 0.33 \(<\) I\(_\mathrm{D}\) \(\le \) 0.67, or highly consolidated (h—high consolidation) for I\(_\mathrm{D}\) \(>\) 0.67, which are shown in the Fig. 6.

Fig. 6
figure 6

Presentation of soil consolidation states based on ‘true or false’ philosophy

The counter-concept, loose or medium or high consolidation, is represented logically in the form:

$$\begin{aligned} s\in \left\{ {l\vee m\vee h} \right\} \end{aligned}$$
(21)

where, \(\vee \) denotes alternative operator (or) in two-valued logic. Then, we have loose consolidation for I\(_\mathrm{D}\) = 0.33, medium consolidation for both I\(_\mathrm{D}\) = 0.34 and I\(_\mathrm{D}\) = 0.67. It, however, is hard to recognize, for both I\(_\mathrm{D}\) = 0.34 and I\(_\mathrm{D}\) = 0.67, the same conclusions—medium consolidation.

From engineering experiences, for I\(_\mathrm{D}\) = 0.34, it really is neither loose nor medium consolidation, but a third option determined by cognitive evaluations formulated in the engineer’s head that transcends both loose and medium consolidation depending on his/her intuition and experiences. That is to say, engineers have certainly in mind an infinite number of thoughts, which cannot be expressed by counter-concepts, in the framework of syntactic restriction of the common language, using words, loose or medium consolidation, and Boolean numbers. It we can represent rather by the meta-concept, loose-medium, with its denotation identified by an infinite number of true-false values referred as cognitive measures depending on perceptions originated from intuition and experiences of engineers. For example, for I\(_\mathrm{D}\) = 0.34, according to Eq. (3) we have:

loose-medium \(\vert \tau (\text{ l })\) = 0.8 \(\wedge \) loose-medium \(\vert \tau \)(m) = 0.2.

It is concerned with a new approach to determine the relative density of soil, I\(_\mathrm{D}\), based on true-false philosophy that is presented below in the Sect. 6.2.

Determining relative density of sands using fuzzy philosophy

Traditionally, determining of the relative density of sands, I\(_\mathrm{D}\), using the Cone Penetration Test, CPT, is based on three compressibility qualifiers as low or medium or high. They are presented by interval numbers established depending on the current knowledge of the friction ratio, \(r\), and the compressibility relationship. That are low, L, for \(r\) = [0 \(\div \) 0.3] %, medium, M, for \(r\) = [0.3 \(\div \) 0.7] % and high, H, for \(r \)= [0.7 \(\div \) 1.0] %, in which \(r=f_{s}/q_{c}\) [%], where \(f_{s}\) denotes the sleeve friction, \(q_{c}\) denotes the cone-tip resistance. It refers as three base correlations, which is graphically presented in the Fig. 7.

Fig. 7
figure 7

Sand compressibility in the framework of being or nonbeing philosophy

According to the fuzzy approach, as in [15], three compressibility qualifiers: low (L), medium (M) and high (H) are represented by three fuzzy sets and expressed by three membership functions \(\mu \)(L), \(\mu \)(M) and \(\mu \)(H), which are established on the base of engineering judgments. Those three fuzzy sets low, medium and high are shown in the Fig. 8.

Fig. 8
figure 8

Three levels of compressibility in the framework of membership-non-membership philosophy

To determine I\(_\mathrm{D}\), a weighted aggregation technique has been used to combine three base correlations, determined from the correlations, which are defined for sands of low, medium and high compressibility, respectively. The relative density I\(_\mathrm{D}\) obtained from these base correlations, presented by Juang et. al. [15], is then aggregated as follows:

$$\begin{aligned} \mathrm{I}_\mathrm{D} = \mathrm{I}_\mathrm{D}^\mathrm{L} \mathrm{w}^\mathrm{L}+ \mathrm{I}_\mathrm{D}^\mathrm{M} \mathrm{w}^\mathrm{M}+\mathrm{I}_\mathrm{D}^\mathrm{H} \mathrm{w}^\mathrm{H} \end{aligned}$$
(22)

where, I\(_\mathrm{D}^{k}, k = \) L, M, H are relative densities, determined from the correlations defined for sands of low, medium and high compressibility, respectively (they usually relate the cone-tip resistance (\(q_{c})\) to I\(_\mathrm{D}\) with consideration of effective overburden stress \(( {\sigma ^{\prime } _v })\) and soil compressibility); \(w^{k},\) denotes weights which are determined based on a “similarity” measure of three predefined levels of compressibility. The result based on fuzzy logic, obtained by Juang et al. is I\(_\mathrm{D}^{J}\) = 41 %.

As the above aggregation, Eq. (22), is based on an implicit assumption that these effects of three compressibility levels (L, M, H) are viewed as additive. This assumption, however, is not always reasonable as indicated by Wang and Klir [14]. On the other hand, although the general idea of degrees of membership agrees well with the general idea of true-false/one philosophy, we have to see in this approach that the dividing compressibility of sands into three levels, which are described by three fuzzy sets low, medium and high separately or partly overlapped, does not agree with the “one” philosophy. In this case, saying as Hegel, we are constantly using our one reality to subdivide and rearrange new sets of ones.

Determining relative density of sands based on True-False philosophy

Let a set function, \(\tau \), be employed as a true-false measure/cognitive measure for available data, which is derived from the engineer’s perceptions in the pragmatic and semantic respects depending on their intuition and experiences. It is a qualitative–quantitative evaluation used for the meta-concept, in which, three levels of compressibility, according to Hegel’s philosophy, are undivided and expressed as ‘one’: Low–Medium–High, (L–M–H). It refers as appearance of the so-called meta-state of sand (three states, low, medium and high compressibility together, which is not loose and neither medium nor High). Three levels of compressibility are presented graphically for any value, \(r_{i}\), in the Fig. 9.

Fig. 9
figure 9

Three levels of compressibility in the framework of true-false philosophy

This refers to the appearance of one state L–M–H presented in the form:

$$\begin{aligned} \text{ L }-\text{ M }-\text{ H }=\text{ L }\wedge \text{ M }\wedge \text{ H } \end{aligned}$$
(23)

A set function, \(\tau \)(L–M–H), is employed as a true-false measure (cognitive measure)—non-additive measure, i.e.,

$$\begin{aligned} \tau (\{\text{ L }\cup \text{ M }\cup \text{ H }\})\ne \tau ( \text{ L })+\tau ( \text{ M })+\tau ( \text{ H }). \end{aligned}$$

We can distinguish different states depending on variable true-false measures, which is non-additive measure defined by:

$$\begin{aligned} \tau :R\rightarrow [0,\,1] \end{aligned}$$
(24)

It is a qualitative–quantitative evaluation of \(R\), \(R=\left\{ {r_i } \right\} ,\,i=1,\,2,\,\ldots ,\,n\), for compressibility of sands in terms of multiple quality factors expressed by true-false measures, \(\tau \), As a result, the compressibility level of sands is low–medium–high, in which we can recognize low from medium, medium from high and vice versa through variable true-false measures \(\tau (k)\), \(k\) = L, M, H and true-false analysis, as in [16]. A true-false value of each predefined level of compressibility (low, medium, high) in respect of the given or actual compressibility, \(r_{a}\), is determined on the base of “difference” of \(r_{a}\) and the numbers represented the low, medium, high levels of compressibility, respectively. For most NC sands, according to Robertson and Campanella (1985), the predefined value of \(r\) for medium compressibility \(r^{*}\)(M) is about 0.5 %, but for sands of low compressibility \(r^{*}(\mathrm{L}) \approx \) 0 % and for sands of high compressibility it is \(r^{*}\)(H) \(\approx \) 1 %. Hence, the difference of \(k\)-level compressibility and number representing the given or actual compressibility, \(r_{a}\), (diff\(_{ra}(k))\) is defined as follows:

$$\begin{aligned} \mathrm{diff}_{ra} ( k)&= \left| {r_a -r^*(k); \tau ( {r^{*} ( k)})=\text{ maximum }} \right| ;\nonumber \\&r^{*} (k)\in k\subset R \end{aligned}$$
(25)

This is a distance between number, \(r_{a}\), representing the actual compressibility and number \(r^*(k)\), which represents the most probable value that reaches a maximum value for sand of low, medium and high compressibility. This distance is used as a means of measuring how close the actual compressibility is to each of the predefined levels of compressibility. For subjective evaluation: \(\tau ( {r_1 })=\tau ( {r_2 })=\cdots =\tau ( {r_n }),\,(r_x \in k_j ,x= 1,\,2,\,\ldots ,n)\) we have:

$$\begin{aligned} \mathrm{diff}_{ra} ( k)=0 \end{aligned}$$
(26)

Smaller distance indicated a higher degree of similarity, and the level of compressibility corresponding to a higher is assigned a greater value of truth, which is represented as true-false function, \(\tau \):

$$\begin{aligned} \tau ( k)=1-\mathrm{diff}_{ra} ( k) \end{aligned}$$
(27)

From that we can construct the \(\lambda \)-true-false measure for all the other subsets of set \(X\), \(X\) = {L \(\cup \) M \(\cup \) H} using Sugeno \(\lambda \)-measure. Then, we can calculate the \(\lambda \)-true-false measures, {\(\tau \)(L \(\cup \) M), \(\tau \)(L \(\cup \) H) and \(\tau \)(M \(\cup \) H)} by

$$\begin{aligned} \tau ( R)&= \tau ( {\left\{ {\mathrm{L}\cup \mathrm{M}\cup \mathrm{H}} \right\} })=1\nonumber \\&= \frac{1}{\lambda }\left\{ {\prod \limits _{i=1}^n {\left[ {1+\lambda \tau ( {\left\{ {k_j } \right\} })} \right] -1} } \right\} \end{aligned}$$
(28)

From that, value \(\lambda \) can be found by:

$$\begin{aligned}&\lambda =\left\{ {\prod \limits _{i=1}^n {\left[ {1+\lambda \tau ( {\left\{ {k_j } \right\} })} \right] } } \right\} -1\end{aligned}$$
(29)
$$\begin{aligned}&\tau ( {k_i \cup k_j })=\tau ( {k_i })+\tau ( {k_j })+\lambda \tau ( {k_i })\tau ( {k_j })\nonumber \\&\quad \mathrm{for}\,k_i ,\,k_j \in R,\,k_i \cap k_j =\varnothing \end{aligned}$$
(30)

i.e., sand, having the compressibility level \(k\) is intuitively assigned to this true-false measure (cognitive measure) \(\tau (k)\). From that, we can construct the \(\lambda \)-true-false measure for all the other subsets of set \(X,X=\{\text{ L }\cup \text{ M }\cup \text{ H }\}\). Then, we can calculate the \(\lambda \)-true-false measures, \(\{\tau (\text{ L }\cup \text{ M }),\tau (\text{ L }\cup \text{ H }) \,\text{ and }\,\tau (\text{ M }\cup \text{ H })\}\) by Eqs. (28, 29, 30) for different subsets {(\(L \cup M)\), (\(L \cup H)\) and (\(M \cup \) \(H)\)}. In addition, we support here the given evaluations by three experts expressed by: \(\tau ^*_{\mathrm{i}} ( k), i = 1, 2, 3\). The relative densities, I\(_\mathrm{D}(k)\) are determined from the correlation defined for sands of low, medium and high compressibility, respectively. Scores of these may be regarded as a measurable function \(f(k)\) defined on \((R,\wp ( R))\) such that \(f(k) \in \) [0, 1] for each \(k \in R\). Then, relative density, I\(_\mathrm{D}\), by a cognitive processing with both physical and mental data using Sugeno type integral, as in [13], of a measurable function f(\(k)\), \(f(k) \in F_\alpha \) with respect to the true-false measure, \(\tau \), in the form:

$$\begin{aligned} \mathrm{I}_{\mathrm{D}} = {\int \!\!\!\!\!-} \,f(k)\mathrm{d}\tau =\mathop {\mathrm{sup}}\limits _{\alpha \in \left[ {0,\infty } \right] } \left[ {\alpha \wedge \tau ( {{R}\cap {F}_\alpha })} \right] , \end{aligned}$$
(31)

where,

$$\begin{aligned} F_\alpha =\left\{ {k\vert f(k)\ge \alpha } \right\} ,\quad k\subset R; \end{aligned}$$
(32)

in which, \(R\) = {L, M, H}; L, M, H represent the loose, medium and high states of sands. The evaluations of three experts are shown in the following table.

Table 1 CPT data from Texas A&M University site (Gibbens and Briaud 1994)
Table 2 Determination of relative density, I\(_\mathrm{D}\), by \(\tau _\lambda \)-fuzzy measure and fuzzy integral and I\('_\mathrm{D}\) by Juang’s et al. method (Texas A&M university site)

Data and results:

  1. 1.

    Data from the Texas A&M University National Geotechnical Experimentation Site (Gibbens and Briaud 1994), four CPT sounding are obtained at this site. The data from four CPT sounding along with other pertinent data used for determining relative density are listed in Table 1.

Numerical data: \(\sigma {'}_\nu \)= 46.5 (kPa), \(q_{c}\) = 6260 (kPa), \(f_{s}\) = 38 (kPa) and the given friction ratio, \(r_{a}\) = 0.61 %, are used for determining relative density, I\(_\mathrm{D}\) of sand and to illustrate the new approach.

According to Robertson and Campanella [15], the value, \(r\), increases with increasing sand compressibility. For most NC sands, the \(r^{*}_{m}\) value for medium compressibility is about 0.5 %, but the \(r^{*}_{L}\) value is almost 0 for sands of low compressibility and \(r^{*}_{H}\) = 1 % (or more) for sands of high compressibility. For purpose of verifying the proposed model, the CPT data at the depth of 3 m are considered to be appropriate. Difference of low level compressibility (\(L)\) and the number represented the actual compressibility, \(r_{a}\), \(r_{a}\) = 0.61 %, for example, is determined as follows:

$$\begin{aligned} \mathrm{diff}(L)_{0.61} = 0.61 - 0.0= 0.61 \end{aligned}$$

Then, from Eq. 27 we have:

$$\begin{aligned} \tau (L) = 1 - 0.61 = 0.39 \end{aligned}$$

Repeating this process for all other levels of compressibility, we obtain \(\tau ({M})\) = 0.89, and \(\tau (H)\) = 0.61. From that we can construct the \(\tau \lambda \)-fuzzymodal measure for all other subsets of set \(R\), \(R\) = {\(L\), \(M\), \(H\)} as follows: firstly, \(\lambda \) parameter is determined using Eq. 29 as:

$$\begin{aligned} \lambda +1=(1+0.39\lambda )(1+0.89\lambda )(1+0.61\lambda ) \end{aligned}$$

The solution of this equation according to the unique root greater than \(-1\) is \(-0.99\). And the \(\tau _{\lambda }\)-fuzzy measures for other subsets of set \(R\) are defined using Eq. 28, for example,

$$\begin{aligned} \tau (\mathrm{L}\cup \mathrm{M})=0.39+0.89-0.99( {0.39})0.89=0.93 \end{aligned}$$

By similar ways, we can obtain \(\tau (L \, \cup \, H) = 0.76; \tau (M \, \cup H) =0.96\). Finally, value I\(_\mathrm{D}\) is calculated by Eqs. (31), (32). For example, for value \(r_{a}\) = 0.61 and various values of relative densities for separately states: loose, medium and high: I\(_\mathrm{D}^{\mathrm{L}}\) = 0.526, I\(_\mathrm{D}^{\mathrm{M}}\) = 0.549, I\(_\mathrm{D}^{\mathrm{H}}\) = 0.575, determined from the correlations defined for sand of low, medium, and high compressibility, respectively, we have:

$$\begin{aligned} \mathrm{I}_\mathrm{D}=\int \!\!\!\!\!- f(k)\mathrm{d}\tau&= \left[ {0.526\wedge \tau ( {\mathrm{L}\cup \mathrm{M}\cup \mathrm{H}})} \right] \\&\vee \left[ {0.549\wedge \tau ( {\mathrm{M}\cup \mathrm{H}})} \right] \\&\vee \left[ {0.575\wedge \tau ( H)} \right] \\&= (0.526\wedge 1)\vee (0.549\wedge 0.96)\\&\vee (0.575\wedge 0.61)=0.575. \end{aligned}$$

where ‘\(\wedge \)’ and ‘\(\vee \)’ denote ‘min’ and ‘max’ operations, respectively. The above process is repeated for data from other CPTs and the complete results are shown in Table 2.

In which, I\(_\mathrm{D}\) values is determined by the proposed model using cognitive measures and fuzzy/true-false integral, \(I\)\(_\mathrm{D}\) values are the results obtained from Juang et al. (1996). Thus, I\(_\mathrm{D}\) values determined by the proposed model in all four CPTs examined here agree well with the results obtained by Juang et al. [15].

  1. 2.

    Data from two sites, the Hunter’s point, California site with their scores, for example, are given for available CPT data: \(\sigma '_\nu \) = 81 (kPa), \(q_{c}\) = 5,030 (kPa), \(f_{s}\) = 3 (kPa) and the given friction ratio, \(r_{a}\) = 0.06 % are used for determining relative density, I\(_\mathrm{D}\) of sand.

Details on the Hunter’s point, California site are described in a Federal Highway Administration (FHwA) report by Dimillio et al. (1987) represented in Juang et al. [15], which documents the results of a pile prediction event. Although a thorough site investigation including several field tests was conducted, only those data required in the present study are summarized here. By the same way presented for Texas site, the predicted \(\mathrm{I}^{*}_\mathrm{D}\) values obtained from the proposed model using \(\lambda \)-true-false measures and fuzzy/true-false integral. To study the influence of subjective biases of the individual experts and to get a more reasonable evaluation, we can use an arithmetic average of scores given by a number of experts. We support, for this case, the given evaluations by three experts expressed by: \(\tau _\mathrm{i} ^*(k), i = 1, 2, 3\). From that we can construct the \(\lambda \)-true-false measure for all the other subsets of set \(X,X=\{\mathrm{L}\cup \mathrm{M}\cup \mathrm{H}\}\). Then, we can calculate the \(\lambda \)-true-false measures for different subsets \(\{(\mathrm{L}\cup \mathrm{M}),(\mathrm{L}\cup \mathrm{H}) \text{ and } (\mathrm{M}\cup \mathrm{H})\}\) and the true-false measures of subsets {\(\tau \)(L \(\cup \) M), \(\tau \)(L \(\cup \) H) and \(\tau \)(M \(\cup \) H)} by Eqs. (28, 29, 30), and \(I^{*}_\mathrm{D}\) by Eqs. (31, 32). Three given expert’s evaluations and obtained results are shown in the following Table 3.

Table 3 Qualitative–quantitative evaluations and numerical results, I\(_\mathrm{D}^{*}\)

Obviously, the changes of results I\(_\mathrm{D}^{*}\), depending on changes of {\(\tau ^*\)(L), \(\tau ^{*}\)(M), \(\tau ^{*}\)(H), \(\tau \)(L\(\cup \)M), \(\tau \)(L\(\cup \)H), \(\tau \)(M\(\cup \)H)}, confirm the requirement that the relative true-false measures, \(\tau \), of the compressibility are taken into account in the true-false-integral operator. To reduce the influence of qualitative biases of independent experts and to obtain a more reasonable evaluation of I\(_\mathrm{D}^{*}\), we can use an arithmetic average of the results obtained from the three experts. That is:

$$\begin{aligned} (0.41 + 0.428 + 0.428)/3 = 42.2\,{\%}. \end{aligned}$$

Although those I\(_\mathrm{D}^{*}\) values based on “one” philosophy agree well with the results based on fuzzy logic, as in [15], I\(_\mathrm{D}^{J}\) = 41 %. These results of both methods are depended on the expert’s qualitative–quantitative evaluations also, which we can improve by a process of inductive thinking.

Conclusions

To recognize the real world, we are confined by syntactic limits in the framework of binary philosophy. It is only a matter of habit, which we should change in the future from dualism with counter-concepts to a monism with new concepts named meta-concepts. It is really that, to describe the real systems like soil systems, a formulation of the counter-concept loose or consolidation based on available data resulted from physical experiments is insufficient. We need meta-concepts that transcend limitations of both common words and Boolean numbers. The meta-concept: low–medium–high, derived from perceptions of engineers rather than logical reasoning, represents a third option that transcends both low, medium and high.

These expressive needs require a theory of cognitive measures, a new field of mathematics for denotation computing and their integration with the achievements of modern information and communication technologies to create the so-called cognitive processing of information for various fields of science. These areas of research that require more intelligence and contemplation for “the truth that comes from the future” should require being–nonbeing philosophy and multi-valued logic.

Generally we represent, in this paper, a new approach for cognitive information processing to expand the syntactic boundaries under the respects of semantics and pragmatics of the available data. It is applied to recognize the unknown reality of the real world rather than application of an approximation approach to improve the known reality through external information processing. It is based rather on the integration of modern philosophy, epistemology, logic, denotational mathematics and cognitive informatics using engineer’s perceptions rooted from intuition, commonsense and experiences without logical reasoning based on binary logic.

References

  1. Frege, F.L.G.: Über Sinn und Bedeutung. In: Zeitschrift für Philosophie und philosophische Kritik, vol. 100, pp. 25–50 (Translated as ‘On Sense and Reference’ by M. Black in Translations from the Philosophical Writings of Frege, G., Geach, P., Black, M. (eds. and trans.) 3rd edn. Blackwell, Oxford (1980))

  2. Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/entries/frege

  3. Thuc, N.D.: Lich su triet hoc dong Phuong (History of Eastern philosophy). Nha xuat ban van hoa, Hanoi, Viet Nam (1963)

  4. Giang, T., Can. N.D.: Trang Tu (- Zhuang Zhou)-Nam Hoa Kinh t.1, 2; nha xuat ban Hanoi, Viet Nam (1992)

  5. Suzuki, D.T.: C’est ici le paradoxe philosophique le plus profond; L’Essence du Bouddhisme, p. 88, Paris (1962)

  6. Hunefeldt, T., Brunetti, R.: Artificial intelligence as “theoretical psychology” : Christopher Longguet-Higgins’ contribution to cognitive science. Cognitive Processing International Quarterly of Cognitive Science, Marta Olivetti Belardinelli and Springer (2004)

  7. Łukasiewicz, J.: O logice trójwartościowej (about three-valued logic). Ruch Filozoficzny (Philosophical movement), No. 5, pp. 169–170 (1920) (in Poland)

  8. Zadeh, L.A.: Fuzzy sets. Inf. Contr. 8(3), 338–353 (1965)

  9. Heyting, A.: Intuitionism, An Introduction (Amsterdam, 1965) (1965)

  10. Heyting, A. (ed.): L E J Brouwer, Collected Works 1. Philosophy and Foundations of Mathematics (Amsterdam, 1975) (1975)

  11. Perrin, L.: Henri Lebesgue: Renewer of Modern Analysis. In: Le Lionnais, François. Great Currents of Mathematical Thought, vol. 1, 2nd edn. Courier Dover Publications. Plato J.V.: Creating Modern Probability, Its Mathematics. Physics and Philosophy in Historical Perspective. Cambridge Uni. Press 1994 (2004)

  12. Kharazishvili, A.B.: On almost measurable real-valued functions. Studia Scientiarum Mathematicarum Hungarica 47(2), 257–266 (2010) NULL

  13. Sugeno, M.: Fuzzy Measures and Fuzzy Integrals: A Survey, pp. 89–102. North-Holland, Fuzzy Automata and Decision Processes. Amsterdam (1977)

  14. Wang, Z., Klir, G.J.: Fuzzy Measure Theory. Plenum Press, N.Y. (1992)

    Book  MATH  Google Scholar 

  15. Juang, C.H., Huang, X.H., Holtz, R.D., Chen, J.W.: Determining relative density of sands from CPT using fuzzy sets. J. Geol. Eng. 122, 1–5 (1996)

  16. Tran, C.: Dealing With Geotechnical Uncertainties by Being-Non-Being Philosophy and Multi-Valued Logic. (book) pub. WM Univ, Olsztyn, Poland (2012)

Download references

Acknowledgments

I would like to express many thanks for the support of the National Center of Sciences in Krakow and WM University of Olsztyn, Poland, grant nr. NN 506 215 440.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Chi Tran.

Rights and permissions

This article is published under license to BioMed Central Ltd.Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Tran, C. Cognitive information processing. Vietnam J Comput Sci 1, 207–218 (2014). https://doi.org/10.1007/s40595-014-0019-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s40595-014-0019-4

Keywords

  • Geotechnical engineering
  • Counter-concept
  • Meta-concept
  • Cognitive measure
  • Cognitive information processing
  • Denotational mathematics