In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other; and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of (...) the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. The following chapters deal with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. The final chapter discusses the achievements in the field in the light of the Yale shooting example. The book will be welcomed by researchers in theoretical computer science and artificial intelligence. (shrink)

Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be retracted. Commonsense reasoning has a nonmonotonic component; it has been argued that almost all commonsense inferences are of this sort. From the end of the 1980s to the present there has been an explosion in research in nonmonotonic reasoning. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point (...) of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible. (shrink)

We show how Poole-systems, a simple approach to nonmonotonic reasoning, can be extended to take meta-information into account adequately. The meta-information is used to guide the choice of formulas accepted by the reasoner as premises. Existence of a consistent set of conclusions is guaranteed by a least fixpoint construction. The proposed formalism has useful applications in defeasible reasoning, knowledge base fusion and belief revision.

Logic programs under answer set semantics have become popular as a knowledge representation formalism in Artificial Intelligence. In this paper we investigate the possibility of using answer sets for qualitative decision making. Our approach is based on an extension of the formalism, called logic programs with ordered disjunction (LPODs). These programs contain a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A × B intuitively means: (...) if possible A, but if A is not possible then at least B. The semantics of logic programs with ordered disjunction is based on a preference relation on answer sets. We show that LPODs can serve as a basis for qualitative decision making. (shrink)

One of the major reasons for the success of answer set programming in recent years was the shift from a theorem proving to a constraint programming view: problems are represented such that stable models, respectively answer sets, rather than theorems correspond to solutions. This shift in perspective proved extremely fruitful in many areas. We believe that going one step further from a “hard” to a “soft” constraint programming paradigm, or, in other words, to a paradigm of qualitative optimization, will prove (...) equally fruitful. In this paper we try to support this claim by showing that several generic problems in logic based problem solving can be understood as qualitative optimization problems, and that these problems have simple and elegant formulations given adequate optimization constructs in the knowledge representation language. (shrink)

In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible, and where revision strategies can be described declaratively. The approach is based on a Poole-style system for default reasoning in which entrenchment information is represented in the logical language. A notion of inference based on the least fixed point of a monotone operator is used to make sure that all theories (...) possess a consistent set of conclusions. (shrink)

The book contains a collection of eight survey papers written by some of the best researchers in foundations of knowledge representation and reasoning. It covers topics like theories of uncertainty, nonmonotonic and causal reasoning, logic programming, abduction, inductive logic programming, description logics, complexity in Artificial Intelligence, and model-based diagnosis. It thus provides an up-to-date coverage of recent approaches to some of the most challenging problems underlying knowledge representation and Artificial Intelligence in general.

The book contains a collection of eight survey papers written by some of the most excellent researchers in foundations of knowledge representation and reasoning. It covers topics like theories of uncertainty, nonmonotonic and causal reasoning, logic programming, abduction, inductive logic programming, description logics, complexity in Artificial Intelligence, and model based diagnosis. It thus provides an up-to-date coverage of recent approaches to some of the most challenging problems underlying knowledge representation and Artificial Intelligence in general.

An adequate theory of rights ought to forbid the harming of animals to promote trivial interests of humans, as is often done in the animal-user industries. But what should the rights view say about situations in which harming some animals is necessary to prevent intolerable injustices to other animals? I develop an account of respectful treatment on which, under certain conditions, it’s justified to intentionally harm some individuals to prevent serious harm to others. This can be compatible with recognizing the (...) inherent value of the ones who are harmed. My theory has important implications for contemporary moral issues in nonhuman animal ethics, such as the development of cultured meat and animal research. (shrink)

In The Case for Animal Rights, Tom Regan argues that although all subjects-of-a-life have equal inherent value, there are often differences in the value of lives. According to Regan, lives that have the highest value are lives which have more possible sources of satisfaction. Regan claims that the highest source of satisfaction, which is available to only rational beings, is the satisfaction associated with thinking impartially about moral choices. Since rational beings can bring impartial reasons to bear on decision making, (...) Regan maintains that they have an additional possible source of satisfaction that nonrational beings do not have and, consequently, the lives of rational beings turn out to have greater value.. (shrink)

Анотація. У статті проаналізовані досягнення Соціального Вчительства Католицької Церкви, репрезентовані працями Лева ХІІІ, Пія ХІ, Пія ХІІ, Івана Павла ІІ, що розкривають змістовні характеристики поняття «принцип субсидіарності», його роль і значення в системі християнських цінностей. Принцип субсидіарності робить можливими такі взаємовідносини в соціальному житті, коли спільнота вищого порядку не втручається у внутрішнє життя спільноти нижчого порядку, перебираючи на себе належні тій функції; заради спільного добра, спільного блага вона надає їй у разі потреби підтримку й допомогу, узгоджуючи у такий спосіб її (...) взаємодію з іншими соціальними структурами. Принцип субсидіарності скеровує соціальну практику на утвердження спільного блага в людському співтоваристві. Поширення і застосування принципу субсидіарності протистоїть небезпеці «одержавлення» суспільства та найзагрозливіших проявів колективізму, обмежує абсолютизацію влади, бюрократизацію державних і соціокультурних структур, стає одним із гарантів дотримання прав і свобод громадян своєї країни. (shrink)

This proceedings volume contains a selection of revised and extended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. The volume opens with an extended version of a tutorial on nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige. Fifteen selected papers follow, on a variety of topics. The majority of papers belong either to the area of nonmonotonic reasoning or to the field of inductive (...) inference, but some papers integrate research from both areas. The first workshop in this series was held at the University of Karlsruhe in December 1990 and its proceedings were published as Lecture Notes in Artificial Intelligence Volume 543. The series of workshops was made possible by financial support from Volkswagen Stiftung, Hannover. This workshop was also supported by IBM Deutschland GmbH and Siemens AG. (shrink)

Recent discussions in the just war literature suggest that soldiers have a duty to assume certain risks in order to protect the lives of all innocent civilians. I challenge this principle of risk by arguing that it is justified neither as a principle that guides the conduct of combat soldiers, nor as a principle that guides commanders in the US military. I demonstrate that the principle of risk fails on the first account because it requires soldiers both to violate their (...) strict duty of obedience and loyalty and to exceed their special obligations to protect their fellow comrades, the state, the state's constituents and other protected civilians. I then illustrate that the principle of risk fails on the second account since it conflicts with the commander's primary obligation to protect and promote the welfare and lives of his or her soldiers. I conclude by arguing that we cannot reasonably expect soldiers and commanders to adhere to the principle of risk until there is a radical, institutional-level transformation of militaristic goals, values, strategies, policies, warrior codes and expectations of service members in the US Armed Forces. (shrink)

Монографія "Функціональність релігії: український контекст".

A selection of speeches and essays from the author's second decade as president of Yale University.

Стаття С. Присухіна «Іван Павло ІІ про логіку діалогу між Католицькою Церквою та ісламом» присвячена філософськобогословським напрацюванням Папи Римського Івана Павла ІІ щодо аналізу змістовних характеристик поняття «діалог між католицизмом і ісламом», а також логіки його здійснення в непростому й суперечливому сьогоденні.

The goal of this study was to determine whether it is possible to teach children with serious decoding problems four text comprehension strategies in listening contexts. The subjects were 9-11 year old students from special schools for children with learning disabilities. All the students were very poor at decoding; half of the group were also poor listeners, whereas the other half consisted of normal listeners. The experimental children were trained in strategies of clarifying, questioning, summarising and predicting through a combination (...) of reciprocal teaching and direct instruction. The results indicated significant programme effects on a strategic listening comprehension test. A transfer effect on general listening comprehension and general reading comprehension tests was not found. The poor listeners within the experimental group did not perform better than the normal listeners. (shrink)

Because factory-farmed meat production inflicts gratuitous suffering upon animals and wreaks havoc on the environment, there are morally compelling reasons to become vegetarian. Yet industrial plant agriculture causes the death of many field animals, and this leads some to question whether consumers ought to get some of their protein from certain kinds of non factory-farmed meat. Donald Bruckner, for instance, boldly argues that the harm principle implies an obligation to collect and consume roadkill and that strict vegetarianism is thus immoral. (...) But this argument works only if the following claims are true: all humans have access to roadkill, roadkill would go to waste if those who happen upon it don’t themselves consume it, it’s impossible to harvest vegetables without killing animals, the animals who are killed in plant production are all-things-considered harmed by crop farming, and the best arguments for vegetarianism all endorse the harm principle. As I will argue in this paper, each claim is deeply problematic. Consequently, in most cases, humans ought to strictly eat plants and save the roadkill for cats. (shrink)

'Original and provocative . . . engagingly written. (C Fred Alford) counters Levinas's notorious obscurity with a goodly dose of transparency' - John Lechte, Macquarrie University Abstract and evocative, writing in what can only be ...

This paper examines relationships between accountants’ personal values and their moral reasoning. In particular, we hypothesize that there is an inverse relationship between accountants’ “Conformity” values and principled moral reasoning. This investigation is important because the literature suggests that conformity with rule-based standards may be one reason for professional accountants’ relatively lower scores on measures of moral reasoning (Abdolmohammadi et al. J Bus Ethics 16 (1997) 1717). We administered the Rokeach Values Survey (RVS) (Rokeach: 1973, The Nature of Human Values (...) (The Free Press, New York)) and the Defining Issues Test (DIT) (Rest: 1979, Development in Judgment Moral Issues (University of Minnesota Press, Minneapolis, MN)) to164 graduating accounting students enrolled in capstone courses at two universities in the Northeastern United States. As potential entrants into the accounting profession, these subjects bring their values and moral reasoning to bear on attitudes and behaviors in the workplace. We find a highly significant inverse relationship between “Conformity” values and principled moral reasoning (i.e., those who prefer Conformity values have lower levels of moral reasoning). However, we also find that accounting students as a group do not prefer Conformity values above other values such as Self-actualization and Idealism, and we find positive relationships between Self-actualization and Idealism values and moral reasoning. Implications for values and ethics research are discussed. (shrink)

Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.

Visit the author's Web site at www.11PicsOfTime.com Time is a mystery that has perplexed humankind since time immemorial. Resolving this mystery is of significance not only to philosophers and physicists but is also a very practical concern. Our perception of time shapes our values and way of life; it also mediates the interaction between science and religion both of which rest fundamentally on assumptions about the nature of time. C K Raju begins with a critical exposition of various time-beliefs, ranging (...) from the earliest times through Augustine, Newton and Einstein to Stephen Hawking and current notions of chaos and time travel. He traces the role of organised religion in subverting time beliefs for its political ends. The book points out how this resulted in a facile dichotomy between 'linear' and 'cyclic' time, thereby inaugurating a confusion which, according to the author, has handicapped Western thought ever since, eventually influencing the content of science itself. Thus, this book daringly asserts that physical theory, traditionally regarded as amoral and objective, has depended on cultural beliefs about time. The author points out that time beliefs are again being manipulated today as the credibility of science is being exploited to promote a picture of time and, hence, a pattern of human behaviour which is convenient to the agenda of globalisation of culture. The linkages between modern theology and this 'brave new physics' are traced against the wider context of the so-called 'clash of civilisations', and the attempts to remake the world order. The conclusions point to the need to de-theologise time. The author challenges Einstein's understanding of relativity theory and suggests that a 'tilt in the arrow of time', or a small tendency towards cyclicity, will help repair the prevalent confusion about time. A 'tilt' also enables a physics that permits both memory and creativity, so that purpose and spontaneous growth of order are returned to human life. The book ends with a vision of Man as Creator, surprising God. Extensive research in physics, the history of science, comparative religions, and sociology lend weight to the important and challenging conclusions reached by the author. Written as a rejoinder to Stephen Hawking's A Brief History of Time, this book goes much further and, unlike any previous book, it gives a critical exposition of various world religions-Buddhism, Christianity, Hinduism, Islam, and Jainism-while exploring their intricate links, through time beliefs, to current physics on the one hand, and to global political and economic trends, on the other. This book will appeal to scholars and laypersons equally. It will fascinate anyone who reads it and will teach its readers to question the unquestionable. (shrink)

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, (...) the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties). (shrink)

Why do moral people so often fail to act morally? Standard scientific answers point to poor moral judgment (based on deficient character development, reason, or intuition) or to situational pressure. I consider a third possibility: a relative lack of truly moral motivation and emotion. What has been taken for moral motivation is often instead a subtle form of egoism. Recent research provides considerable evidence for moral hypocrisy—motivation to appear moral while, if possible, avoid the cost of actually being moral—but very (...) little evidence for moral integrity—motivation to actually be moral. The lack of truly moral motivation may, in turn, be linked to a lack of truly moral emotion, at least in response to violation of certain moral standards. (shrink)

The friendly expatriate ladies of the chorus in Helen enter having heard loud lamentation issuing from the palace, while engaged, like the Φλα of the chorus in Hippolytus 125ff., in spreading laundered crimson textiles to dry in the sun. The central theme of ‘hearing cries’, with the verb κλυον and nouns of utterance, is reminiscent also of Medea 131ff., where the opening words of the Parodos κλυον Φωνν, κλυον δ βον… allude to Medea's loud utterances сωθεν in 96ff. and 111ff. (...) : here, as there, the Parodos exploits the familiar motif of βοηδρομα. (shrink)

Why do people act morally – when they do? Moral philosophers and psychologists often assume that acting morally in the absence of incentives or sanctions is a product of a desire to uphold one or another moral principle (e.g., fairness). This form of motivation might be called moral integrity because the goal is to actually be moral. In a series of experiments designed to explore the nature of moral motivation, colleagues and I have found little evidence of moral integrity. We (...) have found considerable evidence of a different form of moral motivation, moral hypocrisy. The goal of moral hypocrisy is to appear moral yet, if possible, avoid the cost of being moral. To fully reach the goal of moral hypocrisy requires self-deception, and we have found evidence of that as well. Strengthening moral integrity is difficult. Even effects of moral perspective taking – imagining yourself in the place of the other (as recommended by the Golden Rule) – appear limited, further contributing to the moral masquerade. (shrink)

Although the field of surgical ethics focuses primarily on informed consent, surgical decision‐making, and research ethics, some surgeons have started to consider ethical questions regarding justice and solidarity with poor and minoritized populations. To date, those calling for social justice in surgical care have emphasized increased diversity within the ranks of the surgical profession. This article, in contrast, foregrounds the agency of those most affected by injustice by bringing to bear an ethic of accompaniment. The ethic of accompaniment is born (...) from a theological tradition that has motivated work to improve health outcomes in those at the margins through its emphasis on listening, solidarity against systemic drivers of disease, and proximity to individuals and communities. Through a review of surgical ethics and exploration of a central patient case, we argue for applying an ethic of accompaniment to the care of surgical patients and their communities. (shrink)

πνοϲ, in general a common word in Greek tragedy, is a cardinal theme in the Heracles. In the first half of the play the glorious saving Labours of the warrior Hero with his bow, club and other weaponry are retrospectively evoked and further enacted. Repeated emphasis on this kind of ‘noble toil’ accords with the heroic definition of ρετ, which traditionally βανει διμχθω–8 the first strophe of the long First Stasimon in honour of Heracles ends with: μνῆϲαι ϲτεφνωμα μ– χθων (...) δι' ελογαϲ θλω γενναων δ' ρετα πνων τοῖϲ θανοϲιν γαλμα. Heracles par excellence merits the title πολπονοϲ and for their individual greatness. πολυ- can mean either ‘much-’, so that it suffices for Amphitryon at 1190ff. to mention a single especially grand and godlike Labour: AM.μϲ μϲ δε γνοϲ πολπονοϲ, π δρυ γιγαντοφνον λθεν ϲν θεο- ϲι Φλεγραον ϲ πεδον ϲπιϲτϲ This we may call the ‘epic’ view of the hero and of the πνοι performed by him cw ϲν θεοϲ. πνοϲ is normally martial in the Iliad.4 Note also, however, that the terminal ϲπιϲτϲ adds an allusion to the kind of martial ρετ most admired by 5th-century Athenians. (shrink)

So begins one of the most engaging, and variously controversial, musical scenes in Euripides. The Messenger's narrative of the Phantom Helen's disappearance has proved to Menelaus that the Helen standing before him is the real Helen, altogether innocent of elopement to Troy, from whom he has been sundered for seventeen laborious years. The ensuing embrace is developed in a duet which is followed without a break by the so-called ‘Interrogation’, the two together constituting the so-called ‘Recognition Duo’.

The authors present a case study involving truth telling responsibilities in the setting of nonepileptic seizures. Specifically, over the course of several suspected nonepileptic seizures, a patient’s seizures stopped after he received a saline flush meant to precede the administration of anti-seizure medication. The patient and his surrogate believed he had received the medication each time, and the team wondered whether they should disclose the truth. Some worried that disclosure would reinforce the suspected psychogenic behavior, exacerbating the patient’s condition. In (...) this way, the case study presents a twist on the traditional truth telling archetype. While most truth telling cases center on navigating cultural differences or worries about emotional harm, this case presented concerns about medical harm in the form of exacerbating the patient’s condition. The authors describe the complex patient-family-team dynamic that preceded this ethical dilemma, describe the case, analyze the ethical issue, and describe the outcome. (shrink)

For many years, the downtown in Clarksdale, with a municipal population of 17,960 and located in the northern part of the Mississippi Delta, had lost its role as the centre providing a wide range of jobs and services to those living in the surrounding region. For many cities and towns in America, downtown decline has been associated with the flight to the suburbs and the growth in shopping malls serving flourishing gated communities. In Clarksdale’s case, downtown decline has been due (...) largely to the advent of big box retailing and the location of new retail and commercial developments along the state highway on the edge of town, combined with the loss of jobs and population associated with agricultural restructuring. Today, however, Clarksdale has taken up the challenge to ‘revitalize’ the downtown in the face of economic adversity. Recovery is under way, and much of this is associated with blues music and Delta culture: Clarksdale is situated at the fabled ‘crossroads’ of Highways 49 and 61 and is also the home to national icons in literature, art and other cultural pursuits. These are key elements around which the downtown revitalization effort is focused. This paper charts the process by which the Clarksdale community has embarked on the road to downtown recovery, and highlights the town’s indelible links with the blues, borne out of years of toil, hardship and social deprivation. The paper emphasizes the importance of ‘champions’ and ‘creative people’, drawing on community support, in achieving downtown revitalization. Positive results are becoming evident with new businesses and jobs, improved levels of service, refurbishment of derelict buildings, a renewed sense of place, and an uplift in community confidence. The significance of cultural tourism to downtown revitalization is highlighted, with particular emphasis on the global appeal of blues, but with its roots firmly established in Clarksdale and the Delta. (shrink)