scholarly journals Explainable Certain Answers

Author(s):  
Giovanni Amendola ◽  
Leonid Libkin

When a dataset is not fully specified and can represent many possible worlds, one commonly answers queries by computing certain answers to them. A natural way of defining certainty is to say that an answer is certain if it is consistent with query answers in all possible worlds, and is furthermore the most informative answer with this property. However, the existence and complexity of such answers is not yet well understood even for relational databases. Thus in applications one tends to use different notions, essentially the intersection of query answers in possible worlds. However, justification of such notions has long been questioned. This leads to two problems: are certain answers based on informativeness feasible in applications? and can a clean justification be provided for intersection-based notions? Our goal is to answer both. For the former, we show that such answers may not exist, or be very large, even in simple cases of querying incomplete data. For the latter, we add the concept of explanations to the notion of informativeness: it shows not only that one object is more informative than the other, but also says why this is so. This leads to a modified notion of certainty: explainable certain answers. We present a general framework for reasoning about them, and show that for open and closed world relational databases, they are precisely the common intersection-based notions of certainty.

Author(s):  
Amélie Gheerbrant ◽  
Cristina Sirangelo

Answering queries over incomplete data is ubiquitous in data management and in many AI applications that use query rewriting to take advantage of relational database technology. In these scenarios one lacks full information on the data but queries still need to be answered with certainty. The certainty aspect often makes query answering unfeasible except for restricted classes, such as unions of conjunctive queries. In addition often there are no, or very few certain answers, thus expensive computation is in vain. Therefore we study a relaxation of certain answers called best answers. They are defined as those answers for which there is no better one (that is, no answer true in more possible worlds). When certain answers exist the two notions coincide. We compare different ways of casting query answering as a decision problem and characterise its complexity for first-order queries, showing significant differences in the behavior of best and certain answers.We then restrict attention to best answers for unions of conjunctive queries and produce a practical algorithm for finding them based on query rewriting techniques.


2020 ◽  
Author(s):  
Morena Deriu

The aim of this book is to shed new light on the connections between the islands of the Odyssey, setting aside the common perspectives which fully contrast Ithaka to the isles of Odysseus’s travels. Indeed, on a close reading, the idea of ‘otherness’ frequently associated to these isles can be perceived as the result of shared traits. The book first offers an introductory survey on the studies about islands and insularity (not only) in the Odyssey. Then, it analyses how and in which terms the Odyssean representations of the islands are elaborated by means of references to the characters’ senses and actions. These representations are frequently parts of archipelagos of memories, and all bear witness to the fact that fantastic and realistic traits are intermingled and can permeate each other on all the Odyssean islands. Thus, the isles of these travels can be perceived as marginal and mixed places which are also meaningfully part of the archipelago of thematic and formal relations which links all Odyssean islands. The second section of the book examines this archipelagic scenario by using the concepts of utopia and heterotopia. The section shows how the islands of the Odyssey and, especially, the islands the hero encountered on his travels should not be considered utopias in the strict sense of the word. It then goes on to show how M. Foucault’s heterotopia can help to highlight a series of insular aspects, which, otherwise, could pass unnoticed. These lands stand at the margins of the world of the Odyssey and are, at the same time, connected to all the other islands. As a result, they work like mirrors which reflect images of different and possible worlds. In particular, the Odyssean isles of women mirror different and possible relationships between Odysseus and the lady of the island and help to enlighten the place which the hero perceives as the perfect home among all the possible choices. Finally, a brief analysis of the prophecy about the hero’s future last adventure shows that there is no chance of Odysseus feeling at home on that ‘other’ place of this last journey.


Author(s):  
Etienne Toussaint ◽  
Paolo Guagliardo ◽  
Leonid Libkin

Answering queries over incomplete data is based on finding answers that are certainly true, independently of how missing values are interpreted. This informal description has given rise to several different mathematical definitions of certainty. To unify them, a framework based on "explanations", or extra information about incomplete data, was recently proposed. It partly succeeded in justifying query answering methods for relational databases under set semantics, but had two major limitations. First, it was firmly tied to the set data model, and a fixed way of comparing incomplete databases with respect to their information content. These assumptions fail for real-life database queries in languages such as SQL that use bag semantics instead. Second, it was restricted to queries that only manipulate data, while in practice most analytical SQL queries invent new values, typically via arithmetic operations and aggregation. To leverage our understanding of the notion of certainty for queries in SQL-like languages, we consider incomplete databases whose information content may be enriched by additional knowledge. The knowledge order among them is derived from their semantics, rather than being fixed a priori. The resulting framework allows us to capture and justify existing notions of certainty, and extend these concepts to other data models and query languages. As natural applications, we provide for the first time a well-founded definition of certain answers for the relational bag data model and for value-inventing queries on incomplete databases, addressing the key shortcomings of previous approaches.


Author(s):  
Mauro Rocha Baptista

Neste artigo analisamos a relação do Ensino Religioso com a sua evolução ao longo do contexto recente do Brasil para compreender a posição do Supremo Tribunal Federal ao considerar a possibilidade do Ensino Religioso confessional. Inicialmente apresentaremos a perspectiva legislativa criada com a constituição de 1988 e seus desdobramentos nas indicações curriculares. Neste contexto é frisado a intenção de incluir o Ensino Religioso na Base Nacional Curricular Comum, o que acabou não acontecendo. A tendência manifesta nas duas primeiras versões da BNCC era de um Ensino Religioso não-confessional. Uma tendência que demarcava a função do Ensino Religioso em debater a religião, mas que não permitia o direcionamento por uma vertente religioso qualquer. Esta posição se mostrava uma evolução da primeira perspectiva histórica mais associada à catequese confessional. Assim como também ultrapassava a interpretação posterior de um ecumenismo interconfessional, que mantinha a superioridade do cristianismo ante as demais religiões. Sendo assim, neste artigo, adotaremos o argumento de que a decisão do STF, de seis votos contra cinco, acaba retrocedendo ante o que nos parecia um caminho muito mais frutífero.Palavras-chave: Ensino Religioso. Supremo Tribunal Federal. Confessional. Interconfessional. Não-confessional.Abstract: On this article, we analyze the relation between Religious education and its evolution along the currently Brazilian context in order to understand the position of the Supreme Court in considering the possibility of a confessional Religious education. Firstly, we are going to present the legislative perspective created with the 1988 Federal Constitution and its impacts in the curricular lines. On this context it was highlighted the intention to include the Religious Education on the Common Core National Curriculum (CCNC), which did not really happened. The tendency manifested in the first two versions of the CCNC was of a non-confessional Religious Education. A tendency that delineated the function of the Religious Education as debating religion, but not giving direction on any religious side. This position was an evolution of the first historical perspective more associated to the confessional catechesis. It also went beyond the former interpretation of an inter-confessional ecumenism, which kept the superiority of the Christianity over the other religions. As such, in this paper we adopt the argument that the decision of the Supreme Court, of six votes against five, is a reversal of what seemed to be a much more productive path on the Religious Education.Keywords: Religious Education. Brazilian Supreme Court. Confessional. Inter-confessional. Non- confessional.Enviado: 23-01-2018 - Aprovado e publicado: 12-2018


2019 ◽  
Vol 62 (6) ◽  
pp. 88-99
Author(s):  
Andrey A. Lukashev

The typology of rationality is one of major issues of modern philosophy. In an attempt to provide a typology to Oriental materials, a researcher faces additional problems. The diversity of the Orient as such poses a major challenge. When we say “Oriental,” we mean several cultures for which we cannot find a common denominator. The concept of “Orient” involves Arabic, Indian, Chinese, Turkish and other cultures, and the only thing they share is that they are “non-Western.” Moreover, even if we focus just on Islamic culture and look into rationality in this context, we have to deal with a conglomerate of various trends, which does not let us define, with full confidence, a common theoretical basis and treat them as a unity. Nevertheless, we have to go on trying to find common directions in thought development, so as to draw conclusions about types of rationality possible in Islamic culture. A basis for such a typology of rationality in the context of the Islamic world was recently suggested in A.V. Smirnov’s logic of sense theory. However, actual empiric material cannot always fit theoretical models, and the cases that do not fit the common scheme are interesting per se. On the one hand, examination of such cases gives an opportunity to specify certain provisions of the theory and, on the other hand, to define the limits of its applicability.


2018 ◽  
Vol 8 (4) ◽  
pp. 65-69
Author(s):  
Mao Nguyen Van ◽  
Dong Tran Nam

Background: Pigmented tumour of the skin is one of the common tumour in human including the benign pigmented tumours (more common) called Nevi tumours and the malignant one called melanoma which was less frequent but the most poor in prognosis. In addition, the others not belonging to these group had the same clinical appearance, so the application of histopathology and immunohistochemistry for the definitive diagnosis was indespensible. Objectives: 1. To describe the macroscopic features of the pigmented tumoral-like lesions; 2. To classify the histopathologic types of the pigmented cell tumours and the other pigmented tumours of the skin. Materials and Method: Cross-sectional research on 55 patients diagnosed as pigmented tumoral lesions by clinician, then all definitively diagnosed by histopathology combining the immunohistochemistry in difficult cases. Results: There was no difference in gender, the disease was discovered most common in adult, especially with the age over 51 years old (58.1%). the most region located was in the face accounting for 60%, following the trunk and limbs (14.6%, 12.8% respectively). All 3 malignant melanomas happened in foot. The most common color of the lesions was black (65.4%), the other ones were rose, grey and blue. Histopathology and immunohisthochemistry showed that the true pigmented cell tumours were 52.6% encompassing benign ones (Nevi tumour) (41.8%), melanoma (5.4%) and lentigo (5.4%). 47.4% was not the true pigmented cell tumour including pigmented basocellular carcinoma (36.4%) and the others less common as histiofibromas, acanthoma and papilloma. Conclusion: the pigmented tumoral-like lesions of the skin could be the true pigmented cell tumours and the others, so the application of the histopathology and the immunohistochemistry after the clinical discovery helps to determine and classify the disease definitely and for the best orientation of treatment as well. Key words: skin tumour, benign pigmented tumour (Nevi), malignant pigmented tumour (melanoma), pigmented basocellular carcinoma


Author(s):  
Rakshith . ◽  
Shivakumar . ◽  
Sreeharsha . ◽  
Divyasree .

The core principles in Ayurveda give prime importance to Agni, Prakriti, Ahara (food) and Vihara (lifestyle) in maintaining health. Present era people are scheduled to one or the other works due to which they are following unrightful food and habits which lead the manifestation of one of the common disorder which troubles person a lot - Amlapitta. By excess “Hurry, Worry and Curry” GIT disorders are the most common, not only affecting physical health but also psychological and social health. Amlapitta is one of that and it is a burning problem of the whole World. Amalpitta is composed of word Amla and Pitta. Amlapitta is a very common disease caused by Vidagdha Pitta with features like Amlodgara, Tiktodgara, Hrit, Kantha Daha etc. Pathya recommended in Amlapitta are Yava, Godhuma, Purana Shali, Mudga Yusha, Lajasaktu etc. Apathya recommended in Amlapitta are Navanna, Avidugdha, Masha, Kulattha, Dadhi and etc. So this present review article throws light on Pathya (conducive) and Apathya (non conducive) in Amlapitta.


Author(s):  
Walter Ott

Descartes’s treatment of perception in the Optics, though published before the Meditations, contains a distinct account of sensory experience. The end of the chapter suggests some reasons for this oddity, but that the two accounts are distinct is difficult to deny. Descartes in the present work topples the brain image from its throne. In its place, we have two mechanisms, one purely causal, the other inferential. Where the proper sensibles are concerned, the ordination of nature suffices to explain why a given sensation is triggered on the occasion of a given brain motion. The same is true with regard to the common sensibles. But on top of this purely causal story, Descartes re-introduces his doctrine of natural geometry.


Author(s):  
Sebastian Lecourt

This chapter considers a series of formative debates in British anthropology from the 1840s through the 1860s and uses them to map out the two dominant constructions of religion whose politics the subsequent authors in this study would reinvent. It describes, on the one hand, a liberal and evangelical construction of religion as the common human capacity for spiritual cultivation, and on the other hand a conservative, reactionary model that interpreted religious differences as the expressions of fixed racial identities that neither civilization nor Christianization could erase. In the work of the Oxford philologist F. Max Müller we see how the former model tended to associate religion above all with language. But we can also see the subtle forms of determinism that it contained—an ambiguity that Arnold, Pater, Eliot, and Lang would explore by picturing racialized religion as a resource for liberal self-cultivation.


1991 ◽  
Vol 14 (3) ◽  
pp. 367-385
Author(s):  
Andrzej Jankowski ◽  
Zbigniew Michalewicz

A number of approaches have been taken to represent compound, structured values in relational databases. We review a few such approaches and discuss a new approach, in which every set is represented as a Boolean term. We show that this approach generalizes the other approaches, leading to more flexible representation. Boolean term representation seems to be appropriate in handling incomplete information: this approach generalizes some other approaches (e.g. null value mark, null variables, etc). We consider definitions of algebraic operations on such sets, like join, union, selection, etc. Moreover, we introduce a measure of computational complexity of these operations.


Sign in / Sign up

Export Citation Format

Share Document