An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases

1997 ◽  
Vol 06 (01) ◽  
pp. 27-36 ◽  
Author(s):  
Bertrand Mazure ◽  
Lakhdar Saïs ◽  
Éric Grégoire

In this paper, we address a fundamental problem in the formalization and implementation of cooperative knowledge bases: the difficulty of preserving consistency while interacting or combining them. Indeed, knowledge bases that are individually consistent can exhibit global inconsistency. This stumbling-block problem is an even more serious drawback when knowledge and reasoning are expressed using logical terms. Indeed, on the one hand, two contradictory pieces of information lead to global inconsistency under complete standard rules of deduction: every assertion and its contrary can be deduced. On the other hand, checking the logical consistency of a propositional knowledge base is an NP-complete problem and is often out of reach for large real-life applications. In this paper, a new practical technique to locate inconsistent interacting pieces of information is presented in the context of cooperative logical knowledge bases. Based on a recently discovered heuristic about the work performed by local search techniques, it can be applied in the context of large interacting knowledge bases.

ALQALAM ◽  
2019 ◽  
Vol 36 (01) ◽  
pp. 67
Author(s):  
A. ILYAS ISMAIL

Theofogicaffy, Islam is one and absolutely correct. However, historicaffy, after being understood and translated into the real life, Islam is not single, but various or plural that manifests at feast in three schools of thoughts: Traditional Islam, Revivalist Islam (fundamentalism), and Liberal Islam (Progressive). The group of Jaringan Islam Liberal (JIL) represents the fast school of thoughts. Even though it is stiff young (ten years), JIL becomes populer because it frequentfy proposes the new thoughts that often evoke controversions in the community. The reformation of thoughts proposed by JIL covers four areas: first, reformation in politics. In this context, JIL gives a priority to the idea of secularism; Second, reformation in socio-religion. Dealing with this, JIL proposes the concept of pluralism; Third, reformation in individual freedom. In this case, JIL gives a priority to the idea of liberalism both in thoughts and actions;fourth, reformation in women. Regarding this, JIL proposes the idea of gender equaliry. This reformation thought of JIL receives pro and con in the community. On the one hand,some of them panne and fulminate it; on the other hand, the other ones support and give appreciation. In such situation, JIL grows as a thought and Islamic progressive movement in Indonesia. Key Words: Islamic Thought, JIL, Secularism, Pluralism, Liberalism, and Gender Equality.


2016 ◽  
Vol 7 (2) ◽  
pp. 341-360 ◽  
Author(s):  
Thomas Burri

The autonomy robots enjoy is understood in different ways. On the one hand, a technical understanding of autonomy is firmly anchored in the present and concerned with what can be achieved now by means of code and programming; on the other hand, a philosophical understanding of robot autonomy looks into the future and tries to anticipate how robots will evolve in the years to come. The two understandings are at odds at times, occasionally they even clash. However, not one of them is necessarily truer than the other. Each is driven by certain real-life factors; each rests on its own justification. This article discusses these two “views of robot autonomy” in depth and witnesses them at work at two of the most relevant events of robotics in recent times, namely the Darpa Robotics Challenge, which took place in California in June 2015, and the ongoing process to address lethal autonomous weapons in humanitarian Geneva, which is spurred on by a “Campaign to Stop Killer Robots”.


2021 ◽  
Author(s):  
Ayman Khaled Hussein ◽  
Mohd Nazri Latiff Azmi ◽  
Mohammad Nusr Mohammad Al-Subaihi

This is a thematic study of Harry Potter (1997-2007) concerning the theme of alienation. Joanne Rowling is a British novelist famous for writing her best-known fantasy book series, Harry Potter (1997-2007). This study argues that Rowling employs fantastical elements in Harry Potter to present symbolic and real-life themes that summon the postcolonial discourse of alienation. In addition, the study aims to raise the role of fantasy in serving Humanity and the dignity of people and understanding the conflicts among the members of society. Moreover, this study investigates how racial discrimination and postcolonialism work against the Humanity of heroes and their companions in their community. Therefore, that relationship causes a realistic commentary on real-life situations. The theoretical platform deployed in this study is a postcolonial perspective that purports to grasp the striking overlaps between the theme of alienation and the insights of the racial and social postcolonial discourse. The findings achieved in this paper prove the juxtaposition between alienation on the one hand and racial and social discrimination on the other hand. The researcher seeks to demonstrate that Harry Potter reflects the suffering and alienation of characters.


2017 ◽  
Vol 14 (17/18) ◽  
Author(s):  
Marin Laak

Teesid: Artikkel keskendub eepose „Kalevipoeg“ käsitlusele võrdleva kirjandusteaduse vaatepunktist. „Kalevipoja“ uurimine ilukirjandusliku teosena muutis paradigmaatiliselt rahvuseepose senist tõlgendust ja seda tänu Jüri Talveti käsitlustele „Kalevipojast“ kui suurest Euroopa eeposest, silmapaistavast maailmakirjanduse kunsteeposte seas. Eepose teksti ja poeetika kirjandusteaduslik uurimine on selgitanud, kuidas eepose tekst on üles ehitatud sisemistele, intratekstuaalsetele seostele, mis korduvad gradatsiooniliselt ja toetuvad teatud kindlatele tekstuaalsetele sõlmpunktidele, näiteks „Saarepiiga“, „uni“ jpt. Enam kui autentsed allikad, on „Kalevipoja“ kui kirjandusliku teksti puhul oluline eepose toimimine pidevalt uusi tekste ärgitava tüvitekstina. Eepose analüüs näitab, kuidas selliste seoste alusel tekivad uued kultuurilised ühikud, kauneid näiteid selliste motiivikordustele rajatud seosteahelate kohta leidub ka Jüri Talveti luules. The article focuses on the treatment of the epic The Kalevipoeg from the viewpoint of comparative literature. This approach is a continuation of the study of literary relations of the epic which, on the one hand is opposite to, but on the other hand continues the present folkloristic approach to The Kalevipoeg as a folklore-based epic, which is based on the comparative-historical method of studying folklore. F. R. Kreutzwald’s role in creating the national epic was enormous; the epic can be conceived as a fictional and intentional piece, emphasising the role of its author. Although different genres of genuine folklore can be recognised in the epic, works of fiction of European and world classics have also been used in its construction, and the text of the epic has itself become an intertextual foundation for new works of fiction. The paradigm of discussing the epic changed due to Jüri Talvet’s groundbreaking treatment of The Kalevipoeg as a great European epic and one of the most remarkable representatives of the genre of literary epic in world literature. Literary scholarship of the text and poetics of the epic has demonstrated how the text is constructed by gradational internal intertextual relations, based on certain textual nodal points such as, e.g., ’island maid’, ’stone’, ’sleep’, etc. For example, the figure of Island Maid is intertextually related to many earlier archetexts and fundamental texts and has, in its turn, inspired other fictional texts. The author intentionally allowed for ambiguous interpretation of the death of a young girl – the girl slipped into water, but was it an accident or a suicide? The Estonian heroic epic differs from other literary epics by a gradational motif of ’sleep’, occurring through the text; by using this motif, the author develops the heroic epic into a tragedy of fate. The hero is informed about his fatal guilt in sleep long before it occurred in real life. Jüri Talvet has discovered such rhizomes of relations in the text of The Kalevipoeg due to his studies of world literature, but he has also written about them in his poetry.


Author(s):  
Wenjie Zhang ◽  
Zeyu Sun ◽  
Qihao Zhu ◽  
Ge Li ◽  
Shaowei Cai ◽  
...  

The Boolean satisfiability problem (SAT) is a famous NP-complete problem in computer science. An effective way for solving a satisfiable SAT problem is the stochastic local search (SLS). However, in this method, the initialization is assigned in a random manner, which impacts the effectiveness of SLS solvers. To address this problem, we propose NLocalSAT. NLocalSAT combines SLS with a solution prediction model, which boosts SLS by changing initialization assignments with a neural network. We evaluated NLocalSAT on five SLS solvers (CCAnr, Sparrow, CPSparrow, YalSAT, and probSAT) with instances in the random track of SAT Competition 2018. The experimental results show that solvers with NLocalSAT achieve 27% ~ 62% improvement over the original SLS solvers.


1983 ◽  
Vol 8 (2) ◽  
pp. 83-95
Author(s):  
Rodney Shewan

Whenever a new fragment by Wilde appears, it inevitably raises hope that the often vulgarized but still fascinating relationship between the life and the work will somehow be clarified. Did the one really get all the genius, the other merely the talent, as he told Gide? Were the two always so disparate, so irreconcilable, as he insisted? Did work always seems, as he once said it seemed, ‘not a reality but a way of getting rid of reality’? If so, was this why ‘the real life is the life we do not lead’, the life of the literary imagination? Or was it that the ‘real life’ and ordinary life alternately promised Wilde those intense experiences his imagination craved, then took it in turns to double-cross him?


1996 ◽  
Vol 6 (1) ◽  
pp. 67-86 ◽  
Author(s):  
Francis Sejersted

AbstractA businessperson acts, qua businessperson, in two institutional contexts which in principle are completely distinct, and normally entail two different ways of relating to other people; on the one hand as an actor in the market, and on the other as the employees’ manager. We shall assume that different sets of norms govern how to relate to trading partners in the market and how to relate to subordinates in the company. The moral problems which arise in the two different institutions for conducting human relations consequently also differ. The main problem relating to market operations originates in the fact that one achieves the most desirable consequences when the objective as such is difficult to justify on moral grounds. Profit is the target, if necessary at the expense of the person one is dealing with. In this context—i.e. in the market—altruistic considerations, or acting out of consideration for the other party, can produce socially undesirable results. The problems confronting the businessperson as manager are of a different nature. We shall not be considering all aspects of management or consultancy ethics, only what we regard as in principle the fundamental problem, one which in fact applies to all management in modern society.


Author(s):  
Christoph Beierle ◽  
Jonas Haldimann

AbstractConditionals are defeasible rules of the form If A then usually B, and they play a central role in many approaches to nonmonotonic reasoning. Normal forms of conditional knowledge bases consisting of a set of such conditionals are useful to create, process, and compare the knowledge represented by them. In this article, we propose several new normal forms for conditional knowledge bases. Compared to the previously introduced antecedent normal form, the reduced antecedent normal form (RANF) represents conditional knowledge with significantly fewer conditionals by taking nonmonotonic entailments licenced by system P into account. The renaming normal form(ρNF) addresses equivalences among conditional knowledge bases induced by renamings of the underlying signature. Combining the concept of renaming normal form with other normal forms yields the renaming antecedent normal form (ρ ANF) and the renaming reduced antecedent normal form (ρ RANF). For all newly introduced normal forms, we show their key properties regarding, existence, uniqueness, model equivalence, and inferential equivalence, and we develop algorithms transforming every conditional knowledge base into an equivalent knowledge base being in the respective normal form. For the most succinct normal form, the ρ RANF, we present an algorithm KBρra systematically generating knowledge bases over a given signature in ρ RANF. We show that the generated knowledge bases are consistent, pairwise not antecedentwise equivalent, and pairwise not equivalent under signature renaming. Furthermore, the algorithm is complete in the sense that, when taking signature renamings and model equivalence into account, every consistent knowledge base is generated. Observing that normalizing the set of all knowledge bases over a signature Σ to ρ RANF yields exactly the same result as KBρra (Σ), highlights the interrelationship between normal form transformations on the one hand and systematically generating knowledge bases in normal form on the other hand.


2011 ◽  
Vol 1 (3) ◽  
pp. 71
Author(s):  
Chris Reyns-Chikuma

On the one hand, there is a great number of « national » fictions. To various degrees (patriotic, nationalistic) and consciously or not, these fictions participate in the construction of a nation. On the other hand, there are also a lot of fictions that we can characterize as cosmopolitan or postnational and which are situated outside any clear national boundaries. On the contrary, one can count very few fictions on the construction of a European supranationality. To my knowledge, Constellation by Alain Lacroix (2008) is the only one in French and that is the one I am going to write about in this essay. My goal here is threefold. It is first to show that although the interpreter seems to play a minor role (according to the number of pages) and although she is apparently considered an insignificant quantity by both male protagonists, as her regular and obsessive return in the text proves it she is actually important since she haunts the characters sexually and ideologically. I will also show that this haunting spreads through the whole novel through the issue of the interpretation of signs. The second goal is to show that the interpreter, who is explicitly presented as an impersonation of Europe, actually incarnates the ambivalence of any « europeanist » project. She is indeed a bridge not only between two languages & cultures but also between both faces of any European policy. The first one, concrete, tries to incorporate the real life of the Europeans, their daily concerns which themselves are often inscribed within their « national habitus», and the other one to exceed it within a transnational project which is often perceived as too abstract. Finally, I will conclude showing how Constellation “foreignizes” (Venuti, 2008, 6) its translation of the European realities, not by its choices but by the choice of avant-garde esthetic techniques.


Author(s):  
Ayyappasamy Sudalaiyadum Perumal ◽  
Zihao Wang ◽  
Falco C M J M van Delft ◽  
Giulia Ippoliti ◽  
Lila Kari ◽  
...  

Abstract All known algorithms to solve Nondeterministic Polynomial (NP) Complete problems, relevant to many real-life applications, require the exploration of a space of potential solutions, which grows exponentially with the size of the problem. Since electronic computers can implement only limited parallelism, their use for solving NP-complete problems is impractical for very large instances, and consequently alternative massively parallel computing approaches were proposed to address this challenge. We present a scaling analysis of two such alternative computing approaches, DNA Computing (DNA-C) and Network Biocomputing with Agents (NB-C), compared with Electronic Computing (E-C). The Subset Sum Problem (SSP), a known NP-complete problem, was used as a computational benchmark, to compare the volume, the computing time, and the energy required for each type of computation, relative to the input size. Our analysis shows that the sequentiality of E-C translates in a very small volume compared to that required by DNA-C and NB-C, at the cost of the E-C computing time being outperformed first by DNA-C (linear run time), followed by NB-C. Finally, NB-C appears to be more energy-efficient than DNA-C for some types of input sets, while being less energy-efficient for others, with E-C being always an order of magnitude less energy efficient than DNA-C. This scaling study suggest that presently none of these computing approaches win, even theoretically, for all three key performance criteria, and that all require breakthroughs to overcome their limitations, with potential solutions including hybrid computing approaches.


Sign in / Sign up

Export Citation Format

Share Document