scholarly journals Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

Author(s):  
Meghyn Bienvenu ◽  
Camille Bourgaux

In this paper, we explore the issue of inconsistency handling over prioritized knowledge bases (KBs), which consist of an ontology, a set of facts, and a priority relation between conflicting facts. In the database setting, a closely related scenario has been studied and led to the definition of three different notions of optimal repairs (global, Pareto, and completion) of a prioritized inconsistent database. After transferring the notions of globally-, Pareto- and completion-optimal repairs to our setting, we study the data complexity of the core reasoning tasks: query entailment under inconsistency-tolerant semantics based upon optimal repairs, existence of a unique optimal repair, and enumeration of all optimal repairs. Our results provide a nearly complete picture of the data complexity of these tasks for ontologies formulated in common DL-Lite dialects. The second contribution of our work is to clarify the relationship between optimal repairs and different notions of extensions for (set-based) argumentation frameworks. Among our results, we show that Pareto-optimal repairs correspond precisely to stable extensions (and often also to preferred extensions), and we propose a novel semantics for prioritized KBs which is inspired by grounded extensions and enjoys favourable computational properties. Our study also yields some results of independent interest concerning preference-based argumentation frameworks.

2018 ◽  
Vol 46 (4) ◽  
pp. 305-314 ◽  
Author(s):  
Everett L. Worthington

I examine religious humility, which is one content area of intellectual humility. Intellectual humility is the subtype of humility that involves taking a humble stance in sharing ideas, especially when one is challenged or when an idea is threatening. I position religious humility within the context of general humility, spiritual humility, and relational humility, and thus arrive at several propositions. People who are intensely spiritually humble can hold dogmatic beliefs and believe themselves to be religiously humble, yet be perceived by others of different persuasions as religiously dogmatic and even arrogant. For such people to be truly religiously humble, they must feel that the religious belief is core to their meaning system. This requires discernment of which of the person’s beliefs are truly at the core. But also the religiously humble person must fulfill the definition of general humility, accurately perceiving the strengths and limitations of the self, being teachable to correct weaknesses, presenting oneself modestly, and being positively other-oriented. Humility thus involves (1) beliefs, values, and attitudes and (2) an interpersonal presentational style. Therefore, intellectually humble people must track the positive epistemic status of their beliefs and also must present with convicted civility.


2014 ◽  
Vol 21 (1-2) ◽  
pp. 20-57
Author(s):  
Annette Weissenrieder ◽  
Gregor Etzelmüller

In this paper we take issue with George H. van Kooten’s recent argument that Paul’s concept of inner human being has a background in ancient philosophical treatises as a metaphor of the soul. We argue that its Greco-Roman physiological meaning was decisive in its adoption by Paul and that the split between ancient medicine and philosophy was not essential in antiquity. Ancient medical-philosophical texts did not focus on the core or center of a person but rather sought a deep understanding of his or her inner aspects. These texts sought to understand how it is that we can discover bodily information about this inner person and to what degree the relationship between the inner and outer person can be interpreted. At the same time, however, we are discussing Walter Burkert’s evolutionary understanding of Pauline’s concept of the inner and outer human being. Paul’s definition of the inner human being corresponds to recent anthropological concepts of embodiment insofar as the visible outer human being has an inside which, according to Paul, is not detached from the body, but must be grasped from a physical perspective.


2012 ◽  
Vol 241-244 ◽  
pp. 1700-1704
Author(s):  
Qing Quan Meng ◽  
Jun Ling Kan

The relationship was analyzed among dependability of core attribute and other mono-attributes in terms of mono-attribute dependability and the definition of core attribute based on the method of discernibility matrix to find the core, and the correction was made that the mono-attribute for maximum dependability is not always the core attribute through theory and practice, the value of mono-attribute dependability is independent of its classification capacity on the basis of previous study on the summary of the two extreme properties of mono-attribute dependability.


Author(s):  
Kevin Gray ◽  
Susan Francis Gray

Titles in the Core Text series take the reader straight to the heart of the subject, providing focused, concise, and reliable guides for students at all levels. This chapter introduces a number of concepts that are fundamental to an understanding of the contemporary law of land in England and Wales. It discusses: definition of ‘land’ as physical reality; the notion of abstract ‘estates’ in land as the medium of ownership; the relationship between law and equity; the meaning of ‘property’ in land; the impact of human rights on property concepts; the ambivalence of common law perspectives on ‘land’; the statutory organisation of proprietary rights in land; and the underlying policy motivations that drive the contemporary law of land.


2021 ◽  
Vol 4 (2) ◽  
pp. 19-46
Author(s):  
Cary Nelson

Abstract The examples listed in the International Holocaust Remembrance Alliance’s Working Definition of Antisemitism suggests that some political views common in humanities and social science disciplines are antisemitic. In some disciplines, these views are well estab­lished in both teaching and publication. Yet the American Association of University Pro­fessors has long used prevailing disciplinary views as a guide to which faculty statements cannot be sanctioned. What should universities do when not just individual faculty, but entire disciplines have been captured by radical antizionism, when students are taught that Israel has no moral legitimacy and must be eliminated? How should personnel decisions be affected? Should this evolving situation lead us to rethink the relationship between advo­cacy and indoctrination? Can universities keep the search for the truth at the core of their mission in the wake of disciplinary solidarity behind antisemitism?


2018 ◽  
Vol 4 (1) ◽  
pp. 96-111
Author(s):  
Tamás Csönge

AbstractThe essay’s aim is to examine the relationship between perspective and nonlinear temporal structure in Attila Janisch’s 2004 film, Másnap, which is loosely based on Alain Robbe-Grillet’s Le Voyeur (1955). My analysis revolves around the understanding of two important narratological distinctions, that between a nonlinear presentation of events and a paradoxical plot, and that between narrative focalizalization and textual focalization. According to David Bordwell, the most widespread definition of linearity is when the successive events of A, B and C are presented in the narrative in their chronological order. Any other form of their presentation results in a nonlinear narrative. But Másnap is a special type of narrative, which highlights the limitation of such traditional dichotomies, because a consistent order of events cannot be reconstructed. Many critics tried to grasp the core of the film’s narrative by trying to put together the original timeline of events, relying on false indicators of logic and coherence, while they failed to recognize the narrative’s real rhetorical purpose in preventing a consistent and unambiguous plot to be established. The narrative’s complexity lies in the fact that both assumptions – that it depicts a subjective experience of time and a storyworld with strange temporality – are necessary to explain the film’s unusual, fragmented structure and interpret its events. I point out how the film requires us to reinterpret the meanings attached to the familiar techniques of continuity editing and how it converts the practices of the early Nouveau Roman, which marginalizes traditional plot-structures, the notion of character, and conventional descriptions of objects, to interact with a subjective vision governed by a fictional mind.


2019 ◽  
Vol 64 ◽  
pp. 563-644 ◽  
Author(s):  
Meghyn Bienvenu ◽  
Camille Bourgaux ◽  
François Goasdoué

Several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases. The first contribution of this paper is a practical approach for computing the query answers under three well-known such semantics, namely the AR, IAR and brave semantics, in the lightweight description logic DL-LiteR. We show that query answering under the intractable AR semantics can be performed efficiently by using IAR and brave semantics as tractable approximations and encoding the AR entailment problem as a propositional satisfiability (SAT) problem. The second issue tackled in this work is explaining why a tuple is a (non-)answer to a query under these semantics. We define explanations for positive and negative answers under the brave, AR and IAR semantics. We then study the computational properties of explanations in DL-LiteR. For each type of explanation, we analyze the data complexity of recognizing (preferred) explanations and deciding if a given assertion is relevant or necessary. We establish tight connections between intractable explanation problems and variants of SAT, enabling us to generate explanations by exploiting solvers for Boolean satisfaction and optimization problems. Finally, we empirically study the efficiency of our query answering and explanation framework using a benchmark we built upon the well-established LUBM benchmark.


Much of the analysis and argument in the first half of the book has focused more on architects than on engineers, simply because architects, with their fondness for art and imagination, often seem closer to the core of design activity and education than engineers, with their fondness for science and rationality. Moreover, industrial designers have not entered the discussion at all. Therefore, a review of the argument with a focus on both engineering and industrial design seems useful at this point. It is also time to look more closely at the relationship between imagination and rationality, since a full illumination of that relationship in regard to design is the ultimate aim of this entire project, culminating in Chapter 10. The key to achieving this understanding is Aristotle, who, it must be remembered, offered the first definition of design as techne, or knowledge gained by doing – as opposed to episteme, or knowledge gained by thinking. Aristotle also called this distinction practical knowledge as opposed to theoretical knowledge. It should be remembered too that Aristotle regarded theoretical knowledge – of which the beauty sought by artists and the truth sought by scientists are perfect examples – as “higher” than practical knowledge, because they are manifested as universal ideas and they exist as ends in themselves. Design, as we have seen repeatedly, is concerned with physical particulars, and it is mainly utilitarian. Just the same, Aristotle stated that the practical knowledge of techne, like the theoretical knowledge of episteme, is achieved through rationality. This is where the problem occurs, as far as design is concerned.


1974 ◽  
Vol 68 (2) ◽  
pp. 547-560 ◽  
Author(s):  
Glenn Tinder

This article belongs in the area of what Karl Jaspers calls “existential elucidation.” It is concerned less with political ideals than with the relationship of the person to those ideals and to the realities that often contradict them.During recent centuries political activity has been increasingly governed by the confidence that history is under human control. The tragedies and disappointments of the twentieth century, however, cast serious doubt on this confidence. Thus it is incumbent on us to reconsider man's whole stance in relation to history. The core of the article is the definition of an alternative stance, which I call “civility.”The clue to civility was provided by Plato when he suggested, in The Republic, that although the ideal city probably could not be realized in history, its form might be reproduced here and there in the souls of individuals. In pursuance of this clue, civility is defined, on the one hand, as partial detachment from action, and from the ideological preoccupations frequently accompanying action, and, on the other hand, as concentration on governance of the self. Although such governance entails historical independence, it does not set one apart from others; on the contrary, its fundamental principle is openess to the totality of the human.


Author(s):  
Ross Cranston ◽  
Emilios Avgouleas ◽  
Kristin van Zweiten ◽  
Theodor van Sante ◽  
Christoper Hare

This chapter focuses on the customer and the services which banks offer to customers. It begins by filling in some of the details about the customers of banks and modern banking services. In this context it gives attention to how the relationship between banks and their customers may be characterized as a matter of law. Contract emerges from this as the overarching feature of the relationship; thus, the second and third sections of the chapter discuss banking contracts and their regulation. The final section turns to a specific banking service, the taking of deposits. Historically this has been the core banking service, and deposit-taking has been central to any definition of banking.


Sign in / Sign up

Export Citation Format

Share Document