Open access peer-reviewed chapter - ONLINE FIRST

Towards a Fuzzy Context Logic

By Hedda Schmidtke

Submitted: September 12th 2020Reviewed: December 22nd 2020Published: February 1st 2021

DOI: 10.5772/intechopen.95624

Downloaded: 24

Abstract

A key step towards trustworthy, reliable and explainable, AI is bridging the gap between the quantitative domain of sensor-actuator systems and the qualitative domain of intelligent systems reasoning. Fuzzy logic is a well-known formalism suitable for aiming at this gap, featuring a quantitative mechanism that at the same time adheres to logical principles. Context logic is a two-layered logical language originally aimed at pervasive computing systems for reasoning about and within context, i.e., changing logical environments. Both logical languages are linguistically motivated. This chapter uncovers the close connection between the two logical languages presenting two new results. First, a proof is presented that context logic with a lattice semantics can be understood as an extension of fuzzy logic. Second, a fuzzification for context logic is proposed. The resulting language, which can be understood as a two-layered fuzzy logic or as a fuzzified context logic, expands both fields in a novel manner.

Keywords

  • intelligent systems
  • fuzzy logic
  • context logic
  • context

1. Introduction

Fuzzy logic has been employed successfully in intelligent systems, sensor-actuator systems, expert systems, and machine learning techniques for more than 50 years [1]. Being a tool for inference at both the logical and the sensor-actuator systems level its use for reliable and explainable autonomous systems has become a focus of recent research [2, 3, 4, 5]. One key building block for this has been a growing understanding of fuzzy logic semantics over the past 20 years [6] and the position this family of logics assumes within the field of logics in general. In particular, the connection to residuated lattices plays an important role for novel perspectives [7, 8]. One such new perspective is the connection to context logic, which is developed in this chapter.

Context logic was introduced in [9, 10, 11] as a logic for representing context-dependency and context phenomena in pervasive computing systems. Recent developments in context logic focus on a logical actuator control mechanism [12, 13, 14]. This chapter presents the logic with a fuzzy logic lattice semantics highlighting the close relation between the two formalisms and the close relation between context logic and the sensory and machine learning components of intelligent sensor actuator systems (ISAS), such as robotics and autonomous vehicles. We show that context logic can be understood as a fuzzy logic since it can be given an algebraic semantics like that of fuzzy logic as based upon lattice structures.

2. Fuzzy logic and context logic

We briefly review the basics of how fuzzy logic handles quantitative information and contrast this with the approach chosen in context logic. Here, it may appear we go into basic aspects at a greater depth than what may seem necessary. However, to bring the two logics together, establishing the common ground conceptually is a critical first step.

Fuzzy logic [15] was developed as a linguistically motivated logic that was to be more akin to how human beings reason with uncertain information and how experts analyze alternatives and act upon them [16]. Its main cognitive motivation was that human beings are able to relay, for instance, control information without the use of numerical values. In fact, human language outside scientific and technical contexts rarely employs quantities to express relations regarding a scale, amounts, or probabilities. We prefer to say, e.g., rarely rather than giving an estimate about a concrete percentage, or give a color term, such as yellow, instead of providing RGB values and we reason with such information. We “compute with words” [17]. One reason for this is the inherent uncertainty of perceptual or sensory information and the presence of intersubjective differences. Rules we receive or provide verbally benefit from this vagueness, as they have a wide applicability, allow a concise formulation, and allow for intersubjective differences: two people may disagree whether a certain fruit is yellow or rather a light orange, but they will agree that to at least some degree, something that has a light orange color is yellow. A rule given by an expert to a novice, such as “if a fruit is yellow, then it is ripe,” is easy to understand for a human being, and accordingly fuzzy expert systems, fuzzy sensor-actuator systems, and the output of some fuzzy learning systems, can be understood and verified by human beings better than purely numerical systems that operate with numerical equations.

In natural language, human beings convey information about continuous sensory domains, such as color or height, by use of adjectives. The phenomena of vagueness, uncertainty, and context-dependency are the main challenges for formalization from a linguistic point of view [18]. Adjectives can be used in several different ways. The main categories are:

Positive: Anne is tall (for her age).

Comparative: Anne is taller than Betty.

Equative: Ann is as tall as Betty.

Superlative: Ann is the tallest (girl on the team).

While the comparative and equative use are most easily mapped to a corresponding ordering and equivalence relation for the dimension in question (here: height), the positive and superlative can change their applicability depending on context. If we talk about children, 1.50 m (5 ft) may be tall. If we talk about the average European female adult, this is comparatively small. Likewise, the superlative changes with the context: Ann may be the smallest person in the room and still be called the tallest while the current topic is her team. Context logic is interesting from a cognitive science perspective as it enables the modeling of such influence of the context.

From a cognitive science point of view, fuzzy logic is an interesting formalism as it addresses issues of vagueness and uncertainty that appear especially in the semantics of adjectives. But it is also one of only few approaches bridging logical reasoning and machine learning [19].

Fuzzy logic goes beyond multi-valued logics [20] by proposing semantics for approximate reasoning. In particular, [15, p.424] proposes to “[view] the process of inference […] as the solution of a system of relational assignment equations.” This emphasizes the connection to both sensor-actuator systems and classical methods of system modeling and evaluation with recent advances reaching from explainable machine learning [5] to advanced uncertainty mechanisms for ontology design [21]. Combining the two languages promises to make the full expressiveness of natural language adjectives available for modeling, reasoning, and explanation in ISAS design.

3. Fuzzy logic as a logical language

While the linguistic background facilitates usability of fuzzy logic, it is easier to see logical connections with respect to a more restrictive and conventional logic syntax. We therefore use a simple propositional logical language as a classical background language in this chapter. We adopt the following syntax for the set of all formulae LFbased on a set of variables VFand a set of predicate symbols PF.

For PPF and xVF,Px is an atomic formula.For any formula ϕLF,¬ϕ is a formula.For any formulae ϕ,ψLF,ϕψ,ϕψ,and ϕψ are formula.

Using this syntax, we can formalize a proposition similar to the above example as:

YellowcolorRiperipeness.

We can use the usual semantics for predicate logics to interpret this sentence based on a structure UIiViP. Here Uis the universe of discourse, which needs to contain in this example: the referents for the constants, i.e., concrete colors, e.g., as RGB values, and degrees of ripeness, e.g., as sets of tuples containing percentage of sugar and other substances indicative of degrees of ripeness. The term interpretation function iV:VFUmaps the variable symbols ripeness and color to elements from U, distinct measurement values in a measurement value space. Predicate symbols are interpreted by the function iP:VP2Umapping out regions in U. The classical formula interpretation function I:LF01maps formulae to values in 01.

3.1 Interpretation of predicates based on fuzzy sets

A fundamental point where fuzzy logic differs from classical predicate logic is in the interpretation of the predicates and predication: classical logic considers IYellowcoloras true iff iVcoloriPYellow, realizing predication by set membership (). Fuzzy logic, in contrast, interprets predicate symbols such as Yellowwith fuzzy sets μP:U01, e.g., μYellow:U01, i.e., as functions into 01. It then can replace the classical membership function (of type U×2U01), with a fuzzy set membership function μ:U×U0101that simply applies the fuzzy set membership function: μuμPμPu. Being based on fuzzy sets μP, formulae LFin fuzzy logic can then be interpreted with a fuzzy semantics using a suitable function I:LF01for complex formulae.

3.2 Interpretation of connectives based on t-norms

To evaluate complex formulae, fuzzy logic requires extended semantics for the propositional connectives that can handle arbitrary values in 01, while remaining true to the classical interpretation in the cases 01. A general strategy in fuzzy logic is to allow different semantics to take the place of the classical semantics for propositional connectives (¬,,,), in particular, as t-norms (functions t:01×0101) with corresponding t-conorms (functions s:01×0101), and their residuals (r:01×0101), respectively [6]. These functions are described and discussed in more detail below. A t-norm based semantics interprets the logical language we defined above in the following way:

For QPF and xVF:IQx=μiVxiPQ=μQiVxFor any formula ϕLF:I¬ϕ=1IϕFor any formulae ϕ,ψLF:Iϕψ=tIϕIψIϕψ=sIϕIψIϕψ=rIϕIψ

3.3 Properties of t-norms

If the semantics for ∧ are based on a t-norm, this guarantees that important semantic properties of the classical conjunction are retained. A t-norm 01201is a commutative (1), associative (2), and monotone function (3), with a neutral element 1(4).

txy=tyxE1
ttxyz=txtyzE2
If xy then txztyzE3
t1x=xE4

Examples are the minimum t-norm (5), used in Gödel logics, and the product t-norm (6), used in probability theory:

tminab=minabE5
tprodab=abE6

The corresponding t-conorms, denoted by the symbol sand accordingly also called s-norms, can be obtained by applying De Morgan’s laws assuming the semantics of negation of a value tto be 1t. Their neutral element is 0.

sab=1t1a1bE7

The corresponding s-norms for the above example t-norms are then smin, the minimum s-norm (8), and the product s-norm sprod(9):

sminab=maxabE8
sprodab=a+babE9

There are several ways to interpret the implication and different approaches are suitable for different purposes (cf. [22], for a detailed overlook and comparison). As with other operators, fuzzy implication should be conservative for values in 01. A widely used notion is the left-residual [23]:

rab=supz01tazbE10

The relation between the residual and the t-norm/s-norm are covered by two additional axioms, continuity (11) and pre-linearity (12):

txyz iff xryzE11
srxyrys=1E12

For the above two t-norms tmin,tprodthe following are corresponding residuals:

rminab=1 iff abb otherwise.E13
rprodab=1 iff abb/a otherwise.E14

3.4 Generalized t-norms: the set-theoretic lattice

The most widely used examples of functions μPmap elements of Uto values in 01, with, e.g., the minimum or product t-norm. However, fuzzy logic can be given a generalized t-norm semantics based on residuated lattices, i.e., other lattice structures Linstead of 01. A particularly interesting residuated lattice for the purposes of comparison with context logic is L=2B, where Bis a given base set and U=B. Given this structure, we can define interpretation functions iV:VFBfor variable symbols as before. But we can now interpret predicates not with classical 01-fuzzy sets but with generalized L-fuzzy sets μP:B2B, so that I:LF2Bfor formulae:

IPx=μPiVx,with μP:U2BE15
I¬ϕ=2BIϕE16
Iϕψ=IϕIψE17
Iϕψ=IϕIψE18
Iϕψ=Iψ2BIϕE19

The intuition behind this is to map elements xUto, e.g., sets of points, i.e., spatial regions or temporal or sensory values intervals. Instead of saying xis Pto a degree of 0.5, for instance, we could thus distinguish xas in a specific area of space, time, or sensor value space. E.g., we can assign a function μYellowto map measured RGB colors xto sets that form a filter around the color #FFFF00. Measuring an orange xand a lime ywe could determine they are yellow to the same degree as μYellowxand μYellowyyielding the same large region around the core value #FFFF00. We could say xis as yellow as yis yellow, since with IYellowx=IYellowyholds IYellowxYellowy=2B. This would be the same result as with classical fuzzy sets, but we would be able to additionally avoid comparing incompatible contexts, e.g.: while a red apple zmay be as aubergine as an orange is yellow with classical fuzzy sets, the set theoretic interpretation yields IYellowxAuberginezIYellowxYellowy, as the regions for IYellowxand IAuberginezoverlap but are distinct. In contrast to the strictly ordered 01, the partially ordered 2Bthus allows higher expressiveness.

Partial orders and corresponding lattice structures are at the heart of the semantics for context logic, and the two languages can on this basis be combined in a natural manner.

4. An overview of context logic

We now specify the context logic language and describe a semantics similarly in terms of a predicate logical language, which in turn can be related to lattice structures and thus fuzzy logical semantics.

4.1 Contextualization in context logic

Context logic has only one type of basic entity, context variables, and a single partial order relation (part of or sub-context): the city of London, for instance, is a sub-context of England, and March 2017 is a sub-context of the year 2017:

LondonEngland
March2017Year2017

The language provides three term operators (intersection), (sum), and (complement).

Since any pre-order can be expressed as a sub-relation of a partial order relation, and be extended to a partial order relation over its equivalence classes, the single sub-context relation together with the operators allows the specification of arbitrarily many different partial order relations [24]. More accurately we may, for instance, want to say that the city of London is a spatial sub-context or a sub-region of England, and that March 2017 is a temporal sub-context or a sub-interval of the year 2017.

LondonSpaceEngland
March2017TimeYear2017

This and the following examples feature one simple spatial sub-context and one temporal sub-context relation. We can in the same manner however express, for instance, directional relations [25], temporal ordering relations (bi-directionally branching), and class hierarchies [9]. Ordering relations between thematic values, such as expressed by the comparative use of adjectives (Section 2) can also be added in the same way. The main purpose of the language is to facilitate expressing the common partial order core of all these theories, including the tractable fragments of these theories in a unified syntax.

A syntactic shorthand reflects – linguistically speaking – a topicalized adverbial position:

c:abdefcab
Space:LondonEngland
Time:March2017Year2017

Spatially, London is a sub-context of England. Temporally, March 2017 is a sub-context of the year 2017. For entities such as cities or months, this may seem redundant. But contexts, such as a birthday party, which have both temporal and spatial extent can thus be located temporally within one context and spatially within another:

Space:JohnsBirthdayLondon
Time:JohnsBirthdayMarch2017

We can also reflect that speakers may choose to topicalize the other way around [26], as the last two sentences are logically equivalent to the following:

JohnsBirthday:SpaceLondon
JohnsBirthday:TimeMarch2017

or, leveraging the propositional second layer,

JohnsBirthday:SpaceLondonTimeMarch2017

where, for any propositional junctor :

c:ϕ1ϕ2defc:ϕ1c:ϕ2andc:¬ϕdef¬c:ϕ

Regarding John’s birthday party: the location is in London, the time is in March 2017. Moreover, we can allow contexts to be stacked or combined, in order to express more complex contextualization:

MarySays:JohnsBirthday:TimeMarch2017
TomSays:JohnsBirthday:TimeAugust2017

Similarly to how we would express conflicting opinions in natural language, we can equivalently state:

JohnsBirthdayTime:MarySaysMarch2017TomSaysAugust2017
d:c:abd:cabdcab

Regarding John’s birthday party and the time, Mary says in March 2017 and Tom says in August 2017. Context logic thus allows to reflect colloquial contextualizations well, but also to represent conflicting information.

4.2 Context logic as a logical language

Context logic thus employs two syntactic layers: the term layer with the term operators ,,and the propositional layer with the logic connectives (,,¬,). Context terms TCare defined over a set of variables VC:1

Any context variable vVC and the special symbols  and are atomic context terms.
If c is a context term,thenc is a context term.
If c and d are context terms then cd and cd are context terms.

Context formulae LCare defined as follows:

If c and d are context terms then cd is an atomic context formula.
If ϕ is a context formula,then¬ϕ is a context formula.
If ϕ and ψ are context formulae then ϕψ,ϕψ and ϕψ arecontext formulae.

We further define:

c=ddefcddcE20
cddefcd¬dcE21

Different variant semantics have been proposed [10, 11, 26]. The different approaches slightly differ in the resulting semantics, but all three employ a lattice structure for specifying the meanings of context terms, assigning a partial order to give a semantics to . Here, we give a semantics by mapping the language to a predicate logic with a single binary predicate P, describing a pre-order relation, to give the fundamental its semantics. We use a function τCLPL:LC×VPLP, where LCis the set of context logic formulae, VPis a vocabulary of predicate logic variables, and LPis the set of predicate logic formulae. We also employ VC, the set of variables, as the set of constants for LP, and require VPVC=:

τCLPLm=E22
τCLPLm=E23
τCLPLvm=Pmv,for vVCE24
τCLPLcm=τCLPLcm for cTCE25
τCLPLcdm=τCLPLcmτCLPLdmE26
τCLPLcdm=m,Pmm:m,Pmm:τCLPLcmτCLPLdmwhere m and m are new variables.E27
τCLPLcdm=m,Pmm:τCLPLcmτCLPLdmwhere m is a new variable.E28
τCLPL¬ϕm=¬τCLPLϕmE29
τCLPLϕψm=τCLPLϕmτCLPLψmE30
τCLPLϕψm=τCLPLϕmτCLPLψmE31
τCLPLϕψm=τCLPLϕmτCLPLψmE32

We note that although we introduce new variables m,min (27) and (28), each new variable is only used together with the variable last introduced – mwith m, mwith mbut not with m–, not with any other variables introduced before. This means, we can alternate between two variables and reuse mafter m, i.e., that VP=mm. We also note, that the context variables vVCare constants with respect to the predicate logic and that they only appear in the second position of Pin (24). This property allows us to reformulate any binary expression Pmvfor vVCusing a different monadic predicate Pvfor each vVC, and write Pvminstead of Pmv.

Consequently, the fragment of predicate logic required in application of τCLPLalone is in the two-variable fragment known to be decidable. Moreover, the variables, such as mand m, only occur together in the atomic guard, as Pmm, suggesting that the language as defined so far is in the so-called guarded fragment GF [27] defined as [cited after 28, p.1664f]:

Every atomic formula belongs to GF.
GF is closed under¬,,,,.

If x, y are tuples of variables, α(x, y) is an atomic formula, ψ(x,y) is in GF, and free (ψ ⊆ free (α) = {x,y}, where free (ϕ) is the set of the free variables of ϕ, then the formulae

y:αxyψxyy:αxyψxy
belong to GF.

In order to obtain the reasoning capabilities, however, we would need to add pre-order axioms for P, so as to be able to specify as a partial order relation:

x,y,z:PxyPyzPxzE33
x:PxxE34

and we see that transitivity (13) cannot be axiomatized in the two-variable fragment, as it requires three variables. Fortunately, [28, 29] have shown that for GF2 + PG – the guarded fragment limited to two variables and a single binary pre-order that can only appear in the guard – is in 2-EXPTIME. Moreover, this result is a loose upper bound, since the language under inspection here can be expressed using the transitive binary relation Pin only one direction – namely from wholes to parts –, using otherwise only the monadic predicates Pv,vVC, placing the translation of context logic with the axioms for into the class MGF2+TG, the two-variable monadic guarded fragment with one-way transitive guards, which is decidable and whose satisfiability problem is in EXPSPACE [28].

In addition to the pre-order axioms, we can also add a localized guarded variant of the so-called weak supplementation principle [30, Ch. 3] for ensuring a minimal homogeneity constraint over v1,v2VC:2

x:xPxx:Pxv1Pxv2xPxx:Pxv2¬Pxv1xPxx:Pxv2¬xPxx:Pxv1.E35

The principle says that, if for any xall its parts xthat are in v1are also in v2, but there is a part xthat is in v2but not in v1(paraphrasing: v1is a proper part of v2), then there is a part xof v2that has no parts in v1(i.e.: xdoes not overlap v1), i.e., is completely outside of v1. Axiom 35 ensures that the entities described by v1,v2VCdo not have, e.g., singular points that are not entities themselves in the domain under inspection. This axiom is required for proving several of the lattice laws. Note that we thus characterize a weak supplementation principle only for , that we, however, cannot formulate a weak supplementation principle for Pwithout leaving the guarded fragment.

In order to do this, however, we have to employ v1,v2VCas schema variables, i.e., we have to formally see this actually not as one axiom but VC2axioms. This means that for infinite VC, the axiomatization becomes infinite. For practical, finite knowledge bases, VCwill be finite. If an infinite vocabulary VCis employed, a practical realization would be to use a unification mechanism suitable for the particular language VCemployed.

Intuitively, the meaning of abis that all parts of aare part of b. The reading thus corresponds to a universal quantification, and the properties expressed by contexts in this statement describe homogenous properties inherited from wholes to their parts. Correspondingly, ¬abexpresses an existential quantification, stating that not all parts of aare parts of b, which means that there is a part of athat is not part of b, or that does not have property b. We can thus express heterogeneity.

The complement c, is interpreted with respect to the pseudo-0-element : the atomic formula ais interpreted as equivalent to a, meaning that no part is in a, implying universal quantification. There are thus two types of negation ¬on the logical level and on the context level. is a pseudo-element, it disappears in the translation when applying (28). We do not need to assume that an empty element exists:

τCLPLcmm,Pmm:τCLPLcmτCLPLmm,Pmm:τCLPLcmm,Pmm:¬τCLPLcm¬m,Pmm:τCLPLcmE36

A crucial consequence of adopting weak supplementation (35) is (2). It says that if all parts mof a part mhave a part mthat is part of a, this is equivalent to mbeing part of a:

m,Pmm:m,Pmm:PmaPmaE37

Proof (⫤): this holds immediately with the reflexivity (34) and transitivity (33) of P: if Pmathen all parts mof mfulfill Pmaby transitivity, and therefore there is a part mof m, namely mitself, by reflexivity, so that Pma.

Proof (): we prove the reverse direction by contradiction, applying (35). Assume m,Pmm:m,Pmm:Pmaand not Pma, i.e., that there is an m1that has m,Pmabut not Pm1a. Then by (35) there has to be a part m2of mthat does not have a part mwhere Pma. But this is prevented by the premise m,Pmm:m,Pmm:Pma.

It can be shown (Section 4.4) that the definition of τCLPLtogether with the two pre-order axioms and the local guarded variant of the weak supplementation principle is sufficient to characterize context terms as spanning a bounded lattice. We note that with a different axiomatization other types of lattice structures could be realized for different application domains.

4.3 A fuzzy logic perspective on context logic

This section shows context logic as specified above is a two-layered language with a generalized t-norm-based fuzzy logic at the term level and a classical 01-based semantics at the formula level. From there it is a small step to also add a 01-based multivalued semantics to the formula level, so as to obtain a full two-layered fuzzy logic in Section 5.

To see that the context terms TCcan be viewed as a generalized t-norm, we set the intersection , the meet operation of the lattice, as the monoid operation and the term as the identity element of the monoid. The monoid properties associativity and identity element are fulfilled by any lattice (see Section 4.4, (44) and (46)). For the generalized fuzzy logic semantics, the lattice meet-operation will be shown to fulfill the properties of a t-norm, the join-operation , those of the corresponding s-norm. Both are required to be commutative (1), associative (2), and support an identity element (4) and monotonicity (3) (for the full proofs see Section 4.4). We prove monotonicity for (38) and (39):

τCLPLacbdabcdmmPmm:PmaPmcmPmm:PmbPmdmPmm:PmaPmbPmcPmdE38
τCLPLacbdabcdmmPmm:PmaPmcmPmm:PmbPmdm,Pmm:mPmm:mPmm:PmaPmbmPmm:mPmm:PmcPmdE39

Proof (3): if every mthat is part of ais in cand every mthat is part of bis in d, then every mthat is part of aand bis also in both cand d. Proof (4): we see that it follows from this condition also that any mthat exists as part of any min aor bmust also be part of cor din m.

The generalized De Morgan law connects t-norms with s-norms (7). It follows for the translations of and directly from the De Morgan laws in predicate logic.

τCLPLab=abmm,Pmm:(m,Pmm:m,Pmm:PmaPmb)¬m,Pmm:¬mPmm:Pma¬mPmm:PmbE40

The residual can then be derived from its characterization:

rab=supztazb.

The operation with the definition

abdefabE41

has the required property tazb(with the t-norm and , the lattice partial order ).3

τCLPLaabbmm,Pmm:(m,Pmm:m,Pmm:¬mivPmivm:PmivaPmb)PmaPmbE42

We prove that for any m,Pmm:

m,Pmm:m,Pmm:¬mivPmivm:PmivaPmbPmaPmb

and the term abexpresses the maximal element local to mwith this property.

Proof: assume the antecedent is true, then because of transitivity of P(33) and the conjunct Pma, there can be no mpart of mfor which all parts miv, including mitself fulfill ¬Pmiva. Therefore the second disjunct Pmbmust be true. But if we know that for all mwith Pmmexists m, so that Pmb, we know by (2), a consequence of the localized guarded variant of the weak supplementation principle (35), that Pmb. To see that it is maximal, assume there is m1outside of aband Pm1aand Pm1b. To be outside of ab, there would have to be an m,Pmm1so that for all m,Pmmthere is miv, so that Pmivmand Pmivaand ¬Pmb, but this cannot be, because Pmm1and by the assumption Pm1b, thus by transitivity (33) Pmb.

This result indicates that, at least with respect to the supplementation property expressed through (35), abfulfills the characterization of a residual. We can also show continuity (54) and pre-linearity (55) (Section 4.4).

We are thus justified to say that context logic terms have a generalized t-norm semantics and we can give a t-norm-based semantics to context logic.

We obtain: a t-norm-based classical semantics for context logic is a structure IiaLT1Tts, where the terms are interpreted by i:TCLTtogether with the function a:VCLTassigning context terms and variables, respectively, to elements of a lattice LT, and the formulae, by the classical interpretation function I:LC01:

iv=av,for vVC
ic=1Tic,

With 1Ticthe pseudo-complement of the lattice

icd=ticid
icd=sicid
Icd=1 iff icid
I¬ϕ=1Iϕ
Iϕψ=minIϕIψ
Iϕψ=maxIϕIψ

It only remains to show that the context term operators indeed support the lattice requirements.

4.4 Proof: context logic with local, guarded weak supplementation characterizes a bounded lattice

For the purpose of completeness, the proofs are listed here in detail. However, the results are part of basic, fundamental lattice theory and no novelty is claimed.

We prove that and fulfill the laws for a bounded lattice. We start by showing that fulfills the laws of a semilattice: is idempotent (7), associative (8), commutative (9), and has as its neutral element (46).

aa=aE43
abc=abcE44
ab=baE45
a=aE46

These properties hold, since directly translates into :

τCLPLcdm=τCLPLcmτCLPLdm

We show the translations:

τCLPLaa=amPmm:PmaPmaPmaτCLPLabc=abcmPmm:PmaPmbPmcPmaPmbPmcτCLPLab=bamPmm:PmaPmbPmbPmaτCLPLa=amPmm:PmaPma

We can see that all translations of properties are tautologies and follow directly from the properties of . The semantics of requires a closer look. We first note that a basic requirement of extensionality holds:

τCLPLamPmam,Pmm:PmaPmm:τCLPLamE47

The property (47) holds because Pmaentails Pmafor all Pmmbecause of transitivity of P. Also, for all m,Pmm: Pmaentails Pma, since Pis reflexive.

We can now prove the semilattice laws for .

aa=aE48
abc=abcE49
ab=baE50
a=aE51

When we translate idempotency (48):

τCLPLaa=amm,Pmm:(m,Pmm:m,Pmm:PmaPma)Pmam,Pmm:(m,Pmm:m,Pmm:Pma)Pma

we see that the translation of provides one direction of the proof. With (2), a consequence of weak supplementation, we obtain the other direction.

The other laws follow in a similar manner. We show associativity (49):

τCLPLabc=abcmm,Pmm:m,Pmm:m,Pmm:Pmamiv,Pmivm:mv,Pmvmiv:PmvbPmvcm,Pmm:m,Pmm:(miv,Pmivmmv,Pmvmiv:PmvaPmvbPmc

By proving the following for any mfrom which the above then follows directly via the associativity and commutativity of :

m,Pmm:m,Pmm:Pmamiv,Pmivm:mv,Pmvmiv:PmvbPmvcm,Pmm:m,Pmm:PmaPmbPmc

We prove in two steps.

Proof (): assume we choose an arbitrary m,Pmm. The antecedent says that if there is an m,Pmmso that Pmaor there is Pmmso that for all its parts miv, we can find mv, so that Pmvbor Pmvc. If there is an m,Pma, the consequent holds. If there is no such m,Pma, there must be an m, so that all its parts mivhave a part mvin bor c. Since each such mvis also a part of m, we can conclude that for all m,Pmmthere is an m– namely, the mvwe identified –, so that PmbPmc.

Proof (⫤): assume we have for each m,Pmm: m,Pmm:PmaPmbPmcand the consequent is false. In this case, there must be an m1, so that Pmamust be false for all m,Pmm1and that there is a part of any such mso that all its subparts are neither in bnor in c. By the premise however, we know that m1must have a part m1so that Pm1bPm1c. But since Pis transitive we know that for all parts m1ivof m1holds either Pm1ivbor Pm1ivc. By reflexivity we moreover know that each m1ivhas a part, namely itself, for which Pm1ivbor Pm1ivchold.

Applying this result twice via the associativity and commutativity of , we can conclude (49) must hold:

m,Pmm:m,Pmm:Pmamiv,Pmivm:mv,Pmvmiv:PmvbPmvcm,Pmm:m,Pmm:PmaPmbPmcm,Pmm:m,Pmm:(miv,Pmivmmv,Pmvmiv:P(mvaPmvbPmc

Theorem 14 holds immediately given the definition of the translation for and the commutativity of :

τCLPLab=ba(m,Pmm:m,Pmm:m,Pmm:PmaPmb)(m,Pmm:m,Pmm:m,Pmm:PmbPma)

Proving the neutral element property (51) requires (35).

τCLPLa=amm,Pmm:(m,Pmm:m,Pmm:τCLPLamτCLPLm)τCLPLamm,Pmm:mPmm:mPmm:PmaPmam,Pmm:mPmm:mPmm:PmaPma

The proof follows immediately by (2).

In summary, we needed (35) for proving idempotency (48) and the neutral element (51). Associativity (49) and commutativity (50) were proven without using (35).

We have thus shown that and each create a semilattice structure over the xVC. When we prove the absorption laws, we see that the absorption law (52) can be proven without requiring (35), while the proof for the absorption law (53) uses it:

aab=aE52
aab=aE53

For (52):

τCLPLaab=amm,Pmm:(Pmam,Pmm:mPmm:PmamPmm:Pmb)Pma

we show that for any m:

Pmam,Pmm:mPmm:PmamPmm:PmbPma

Proof (⫤): this holds because of transitivity (33) and reflexivity (34) of P. If Pma, is true, we know m,Pmm:mPmm:Pmais also true and thus also the disjunct. Therefore, the whole consequent must be true.

Proof (): here we already know Pmain the antecedent, so the consequent cannot be false.

We prove (53):

τCLPLaab=amm,Pmm:(m,Pmm:mPmm:PmamPmm:PmaPmb)Pma

by showing for any m:

m,Pmm:mPmm:PmamPmm:PmaPmbPma

Proof (): m,Pmm:mPmm:PmamPmm:PmaPmbis true iff m,Pmm:mPmm:Pmais true, and this entails Pmaby (2). Proof (⫤): this holds by transitivity and reflexivity.

The relation between the residual and the t-norm were covered by two additional axioms above: continuity (11) and pre-linearity (12):

xyz iff xyzE54
xyyx=E55

We prove continuity (54) by translation using τCLPL.

τCLPLxyzmτCLPLxyzm translates into:m,Pmm:PmxPmyPmzm,Pmxm,Pmm:m,Pmm:¬mivPmivm:PmivyPmz

Proof (): assume the antecedent holds, and Pmxfor some m. Then, for m,Pmm:Pmzto be false, there must be an m1,Pm1m, so that m,Pmm1:mivPmivm:Pmivyand m,Pmm1:¬Pmz. However, if m,Pmm1:mivPmivm:Pmivyholds then by (2), Pm1yand by transitivity also Pm1xand by the assumption thus Pm1z, which cannot hold since all parts mof m1including by reflexivity m1itself fulfill ¬Pmz.

Proof (⫤): assume the antecedent m,Pmx:Pmzholds. For m,Pmm:PmxPmyPmzto be false, there must be m1,Pm1m, so that Pm1xand Pm1ymust hold, but Pm1zmust be false. But then we also know that m,Pmm:¬mivPmivm:Pmivycannot hold for any m,Pmm1. Thus, m,Pmm:Pmzmust hold for all m, and thus by (2) Pm1z.

We prove pre-linearity (55):

τCLPLxyyx=mm,Pmm:[m,Pmm:m,Pmm:miv,Pmivm:¬mvPmvmiv:PmvxPmivy][m,Pmm:m,Pmm:miv,Pmivm:¬mvPmvmiv:PmvyPmivx]

by showing for any m,Pmm:

¬[m,Pmm:m,Pmm:miv,Pmivm:¬mvPmvmiv:PmvxPmivy][m,Pmm:m,Pmm:miv,Pmivm:¬mvPmvmiv:PmvyPmivx]

Proof: we obtain for the antecedent:

m,Pmm:m,Pmm:miv,Pmivm:mvPmvmiv:Pmvx¬Pmivy

Since this holds for all m,Pmmit also holds for mitself, i.e., it follows that:

m,Pmm:miv,Pmivm:mvPmvmiv:Pmvx¬Pmivy

We rename the variables to better show the structure:

m,Pmm:m,Pmm:¬PmymivPmivm:Pmivxm,Pmm:mPmm:¬PmymPmm:mivPmivm:Pmivx

and by (2):

m,Pmm:¬mPmm:PmyPmx.

We now know that mhas a part mthat is in xand none of its parts is in y. With Pmx, however we also know by transitivity of Pthat all parts m,Pmmfulfill Pmx, and thus by reflexivity of Pthat there is an miv,Pmivm, namely miv=m, for each m, which fulfills Pmivx. Moreover, since all parts mv,Pmvmivare by transitivity also parts of m, we know that ¬mv,Pmvmiv:Pmivyand thus:

m,Pmm:m,Pmm:miv,Pmivm:¬mvPmvmiv:PmvyPmivx,

which entails the consequent.

4.5 A note on mereological and ontological status

The mereologically interested reader may notice that adding even the weakened variant of the weak supplementation principle is sufficient to collapse context logic term structures to a single level by (2). The reason for this is that the weak supplementation principle considerably strengthens the expressiveness of negation, which given the principle always ensures the existence of a fully negative individual. This is the case, although our system mereologically speaking is an MM system, i.e., supports M1-M4 [30] only, with M4 acting as an axiom schema.

We may note also, that we need not ensure product (M5) or sum (M6) to exists, nor do we need or posit a universal or null object to exist. The symbols ,,,,are, so to speak, “syntactic sugar” only. The assumed mereology thus is slightly weaker than MM and ontologically careful and minimalistic. For a deeper discussion, cf. [30, 31].

4.6 Example: set-theoretical model

To make the discussion more concrete, we briefly sketch a set-theoretical interpretation. An example of a suitable model is the set-theoretic lattice, assuming the set of all subsets of a base universe as the universe for the interpretation of the translation τCLPLϕmof a context formula ϕ, and mapping tto (17), sto (18), and the residual raccording to (19). Note that, within this interpretation, the variables m,m,etc., as well as the constants a,b,c, etc. of the translation τCLPLϕmrange over sets, not elements, of the base universe. With a set-theoretical model IiaUB, where U2Bfor B, the base set, we get:

iv=av for vVC
ic=1Tic=Bic
icd=ticid=icid
icd=sicid=icid
Icd=1 iff icid
I¬ϕ=1Iϕ
Iϕψ=minIϕIψ
Iϕψ=maxIϕIψ

We can show that, if the canonical interpretation IiaUBis a model for formula ϕ, then there is a corresponding predicate logic model for τCLPLϕmwith interpretations for m,mfrom U2B, interpreting Pas and individuals vVCusing an assignment function a:VC2B. While we allow the constants vVCto be empty, the variables used to describe their extension cannot.

The pre-order axioms for Pobviously hold for . Also, the weak supplementation principle holds for :

x:xx:xaxbxx:xb¬xaxx:xb¬xx:xa.

Proof: assume a set xxsupports that xaimplies xb, and there is a set x1xsupporting x1bbut not x1a. We can then construct x2xas x2=x1a, which supports that x2band none of its subsets x2x2supports x2a.

We prove that ,,over non-empty sets m,m,mfulfill the characteristic properties for translations for ,,, respectively:

mabmambE56
mabmm:mm:mambE57
mamm:¬mm:maE58

The case of (20) is immediately clear. For (21), we look at the definition of in terms of elements PB, which we call points:

mabPm:PaPbmm:Pm:PaPbmm:mm:mamb

Proof (): if the points in mare in aor in bin the first step, then, since the mare non-empty, it follows that each mmhas a point either in aor in b. In the second step, if there is a point Pin each m, that is in aor in b, then there is a set mm, namely the singleton containing P, for which maor mbmust hold.

Proof (⫤): assume that for every m, there is a non-empty mm, with maor mb, then, since mnon-empty, it must have a point Paor Pb. Since this holds for all non-empty sets m, including all singleton sets, which have only one element, it must hold for all points Pm.

For (22), we similarly look at the definition of in terms of elements of m, i.e., points:

maPm:¬Pamm:¬Pm:Pamm:¬mm:ma

Proof (): the property carries over to all parts mof min the second step. The third step follows, because any set mmmust be non-empty, and if it contains a point, macannot be true, since no point in mis in aand is transitive.

Proof (⫤): as in the proof for , we can argue over singleton sets. If for all sets m, no subset mis subset of a, then this also holds for the singletons, and thus no set mhas a point Pin a, but this again holds also for singleton sets mm, and thus all points of mare outside a.

We have thus seen that the set-thoretical standard model is a concrete example of a structure for interpreting context terms and formulae.

5. A fuzzy context logic

The key to the proposed fuzzy context logic is to additionally provide a fuzzy interpretation for the atomic formulae, via the symbol . To do that, we need a residual that takes two elements from the context lattice and produces a fuzzy value in 01. Then we can apply one of the well-known standard fuzzy semantics to the formula level.

The fuzzy semantics is defined by two lattices: a bounded lattice LTTtTsT1Tfor the term level, and another bounded lattice LFFsFtFrF1F, where LF=01for the formula level together with the interpretation functions a:VCLTfor context variables, i:TCLTfor terms, and I:LCLFfor formulae. We interpret the terms as before based on LT:

iv=av,for vVC
ic=1Tic,

with the 1Ticterm-level pseudo-complement

icd=tTicidicd=sTicid.

We will need to characterize a fuzzified variant of Tto obtain atomic formulae that can have a value outside of {0, 1}:

Icd=TF(ic,id.

On this basis, the interpretation of formulae can then follow one of the standard models of fuzzy logic in LF:

I¬ϕ=1FIϕIϕψ=tFIϕIψIϕψ=sFIϕIψ

The key is to provide a function TF:LT×LTLFfor connecting the fuzzy term and formula layers. As usual, we want the relation to be conservative with respect to the classical partial order relation on the classical cases:

TFxy=1Fiff xTy.TFxx=1Fholds for all xLT.IfTFxy=1F andTFyx=1Ffor x,yLT then x=y.IfTFxy=1F andTFyz=1F then alsoTFxz=1F.

What is a good choice depends on both LTand LF, and given a particular choice, different functions may support this weak restriction. A candidate for spatial applications for LT=2Bfor a base set Band LF=01is a fuzzified variant of the qualitative granular relation systems proposed in [32]. Here, several types of granular relations between regions are distinguished based on an absolute ranking of sizes, such as the largest circle a spatial region is contained in, or its diameter, or the length of an interval. Complementing topological notions, such as part-of or overlap, granular relations can be defined [32]:

  • Two regions are adjacent iff they overlap but only in a part smaller than grain-size.

  • Two regions are spatially indistinguishable iff they differ only in a part smaller than grain-size.

  • Two regions relevantly overlap iff they overlap in a part larger than grain-size and differ in a part larger than grain-size.

We can generalize this notion using a 01perspective instead of a discrete partitioning of the space of possible overlap-relations. For the example of a set-theoretical model, we could proceed, e.g., to find a fuzzification of into a function TFmapping to 01by assessing the largest difference between two arguments x,yin comparison to the diameter of x. The intervals 1446and 1446, for instance differ only in boundary points. The intervals x=1134and y=1236overlap in xy=1234. With the overlap xy=1234=12and x=1134=13, this is an overlap of xy/x=12/13=92%.

Generally, we can employ a granularity function γ:LTR+to compute a mapping from entities of LTto R+. Based on this, we can use a suitable function r:LTLFto make the transition between the term layer and the formula layer in such a way that it also connects appropriately to the basic properties of the residual rF, e.g., by employing rFitself:

TFxy=rFγxγxy.

We obtain a fully specified family of fuzzy context logics. Note that with rF=rprod, we receive the conditional probability:

rprodγxγxy=γxyγx=1if xyγxyγxotherwise

For rF=rminwe obtain:

rminγxγxy=1iff xyγxyotherwise.

Among the potential applications, a two-layered fuzzy logic can help to reason about fuzzy logic systems. The base logic being decidable for the classical semantics, we can, at least for the classical case, make absolute guarantees for a given system. We can prove whether a given fuzzy system, e.g., the output of a machine learning mechanism, such as an ANFIS, together with a description of possible situations in the domain and desirable properties yields a tautology, thus proving that the system has the desirable properties under all possible circumstances. If we are interested in gaining an understanding of systems that are not tautological in this sense, so as to obtain, e.g., degrees of possibility of failure under certain circumstances, more advanced fuzzy proof methods are required.

6. Conclusions

This chapter illustrated that the lwo-layered logic context logic and fuzzy logic can be combined in a meaningful way. We first mapped both logics to a predicate logical background language, so as to highllight their commonalities and differences and to obtain a background compatible with both. In both cases, we discussed a common set-theoretical model that can be used to interpret the background language. We formally proved that the lattice-based generalized t-norms of fuzzy logic provide a suitable semantics for the term-layer of context logic. To do this, we expressed context logic in terms of a single pre-order relation that additionally supports the weak supplementation principle and showed that, with this translation providing semantics, context logic fulfills the properties of a residuated lattice. We also derived that the language is decidable in EXPSPACE.

The formula-layer of context logic could then additionally be imbued with a 01-based fuzzification. Proposals for adding either the product t-norm or the minimum t-norm for the formula layer on top of the lattice-based generalized t-norm of the context term layer were suggested, and a mechanism for combining this with granularity to further expand expressiveness was discussed.

Acknowledgments

This work was financially supported by the Hanse-Wissenschaftskolleg, Delmenhorst, Germany; and received infrastructural support from the University of Bremen, Germany.

Notes

  • We leave out brackets as possible applying the following precedence: ∼,⊓,⊔,⊑,:,¬,∧,∨,→,↔. The scope of quantifiers is to be read as maximal.
  • The interested reader may find a brief discussion on mereological and ontological properties in Section 4.5.
  • To understand the meaning of a⇒b, we can translateτCLPL⊤⊑∼a⊔bx≡∀m′,Pm′m:∃m″,Pm″m′:¬∃m‴Pm‴m″:Pm‴a∨Pm″b≡∀m′,Pm′m:¬∀m″Pm″m′:∃m‴Pm‴m″:Pm‴a∨∃m″,Pm″m′:Pm″b≡∀m′,Pm′m:∀m″Pm″m′:∃m‴Pm‴m″:Pm‴a→∃m″,Pm″m′:Pm″b≡∀m′,Pm′m:Pm′a→∃m″,Pm″m′:Pm″b≡∀m′,Pm′m:Pm′a→Pm′b,

Download for free

chapter PDF

© 2021 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution 3.0 License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Hedda Schmidtke (February 1st 2021). Towards a Fuzzy Context Logic [Online First], IntechOpen, DOI: 10.5772/intechopen.95624. Available from:

chapter statistics

24total chapter downloads

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More About Us