Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Belief merging is an important but difficult problem in Artificial Intelligence, especially when sources of information are pervaded with uncertainty. Many merging operators have been proposed to deal with this problem in possibilistic logic, a weighted logic which is powerful for handling inconsistency and deal-ing with uncertainty. They often result in a possibilistic knowledge base which is a set of weighted formulas. Although possibilistic logic is inconsistency tolerant, it suffers from the well-known "drowning effect". Therefore, we may still want to obtain a consistent possibilistic knowledge base as the result of merging. In such a case, we argue that it is not always necessary to keep weighted information after merging. In this paper, we define a merging operator that maps a set of possibilistic knowledge bases and a formula representing the integrity constraints to a classical knowledge base by using lexicographic ordering. We show that it satisfies nine postulates that generalize basic postulates for propositional merging given in [11]. These postulates capture the principle of minimal change in some sense. We then provide an algorithm for generating the resulting knowledge base of our merging operator. Finally, we discuss the compatibility of our merging operator with propositional merging and establish the advantage of our merging operator over existing semantic merging operators in the propositional case.

Almost all quantum states have nonclassical correlations

Quantum discord quantifies nonclassical correlations in a quantum system including those not captured by entanglement. Thus, only states with zero discord exhibit strictly classical correlations. We prove that these states are negligible in the whole Hilbert space: typically a state picked out at random has positive discord and, given a state with zero discord, a generic arbitrarily small perturbation drives it to a positive-discord state. These results hold for any Hilbert-space dimension and have direct implications for quantum computation and for the foundations of the theory of open systems. In addition, we provide a simple necessary criterion for zero quantum discord. Finally, we show that, for almost all positive-discord states, an arbitrary Markovian evolution cannot lead to a sudden, permanent vanishing of discord.

Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases

There is extensive theoretical work on measures of inconsistency for arbitrary formulae in knowledge bases. Many of these are defined in terms of the set of minimal inconsistent subsets (MISes) of the base. However, few have been implemented or experimentally evaluated to support their viability, since computing all MISes is intractable in the worst case. Fortunately, recent work on a related problem of minimal unsatisfiable sets of clauses (MUSes) offers a viable solution in many cases. In this paper, we begin by drawing connections between MISes and MUSes through algorithms based on a MUS generalization approach and a new optimized MUS transformation approach to finding MISes. We implement these algorithms, along with a selection of existing measures for flat and stratified knowledge bases, in a tool called mimus. We then carry out an extensive experimental evaluation of mimus using randomly generated arbitrary knowledge bases. We conclude that these measures are viable for many large and complex random instances. Moreover, they represent a practical and intuitive tool for inconsistency handling.

The solvable Lie group N_{6, 28}: an example of an almost C_0(\mathcal{K})-C*-algebra

Motivated by the description of the C*-algebra of the affine automorphism group N6,28 of the Siegel upper half-plane of degree 2 as an algebra of operator fields defined over the unitary dual View the MathML source of the group, we introduce a family of C*-algebras, which we call almost C0(K), and we show that the C*-algebra of the group N6,28 belongs to this class.

A class of almost C_0(K)-C*-algebras

We consider in this paper the family of exponential Lie groups Gn,µ, whose Lie algebra is an extension of the Heisenberg Lie algebra by the reals and whose quotient group by the centre of the Heisenberg group is an ax + b-like group. The C*-algebras of the groups Gn,µ give new examples of almost C0(K)-C*-algebras.

Almost nothing, almost anywhere: the metal shed in Ireland

This paper argues that the modern barn in Ireland is a complex social and architectural phenomena that is without, or has yet to find, a satisfactory discourse. Emerging in the middle third of the twentieth century, the modern barn – replete with corrugated iron and I-sections – continues to represent a presence in the Irish landscape whose ubiquity is as emphatic as its flexibility. It is, however, its universal properties that begin to suggest connections with wider narratives. The modernising aspects of the barn that appear in the 1920s and 30s begin to conflate with a rhetoric of architectural modernism which was simultaneously appearing across Europe. But while the relationship between high modernism’s critique of what it divined as the inspirational qualities of utilitarian buildings – Walter Gropius on grain silos, Le Corbusier on aircraft hangers etc. – has been well-documented, in Ireland this relationship perhaps contains another layer of complexity.
The barn’s consolidation as a modern type coincided with the search for a nation’s cultural identity after centuries of colonial rule. This tended to be an introspective vision that prioritised rural space over urban space, agriculture over industry, and imagined the small farm as a central tenet in the construction of a new State. This paper suggests that the twentieth-century barn – as a product of the mechanisation of agriculture promoted by the new administrations – is an iconic structure, emblematic of attempts to reconcile the contradictory forces and imagery of modernity with the mores of a traditional society. Moreover, given a cultural purview that was often ambivalent or even hostile to the ideologies and forms of modernity, the barn in Ireland is, perhaps, not so much the inspiration but the realisation of an architectural modernism in that country at its most pervasive, enduring and unself-conscious.

A Characteristic Function Approach to Inconsistency Measures for Knowledge Bases.

Knowledge is an important component in many intelligent systems.
Since items of knowledge in a knowledge base can be conflicting, especially if
there are multiple sources contributing to the knowledge in this base, significant
research efforts have been made on developing inconsistency measures for
knowledge bases and on developing merging approaches. Most of these efforts
start with flat knowledge bases. However, in many real-world applications, items
of knowledge are not perceived with equal importance, rather, weights (which
can be used to indicate the importance or priority) are associated with items of
knowledge. Therefore, measuring the inconsistency of a knowledge base with
weighted formulae as well as their merging is an important but difficult task. In
this paper, we derive a numerical characteristic function from each knowledge
base with weighted formulae, based on the Dempster-Shafer theory of evidence.
Using these functions, we are able to measure the inconsistency of the knowledge
base in a convenient and rational way, and are able to merge multiple knowledge
bases with weighted formulae, even if knowledge in these bases may be
inconsistent. Furthermore, by examining whether multiple knowledge bases are
dependent or independent, they can be combined in different ways using their
characteristic functions, which cannot be handled (or at least have never been
considered) in classic knowledge based merging approaches in the literature.