Formal dialogue games have been studied in philosophy since at least the time of Aristotle. Recently they have been applied in various contexts in computer science and artificial intelligence, particularly as the basis for interaction between autonomous software agents. We review these applications and discuss the many open research questions and challenges at this exciting interface between philosophy and computer science.

Advancements and deployments of AI-based systems, especially Deep Learning-driven generative language models, have accomplished impressive results over the past few years. Nevertheless, these remarkable achievements are intertwined with a related fear that such technologies might lead to a general relinquishing of our lives’s control to AIs. This concern, which also motivates the increasing interest in the eXplainable Artificial Intelligence (XAI) research field, is mostly caused by the opacity of the output of deep learning systems and the way that it is (...) generated, which is largely obscure to laypeople. A dialectical interaction with such systems may enhance the users’ understanding and build a more robust trust towards AI. Commonly employed as specific formalisms for modelling intra-agent communications, dialogue games prove to be useful tools to rely upon when dealing with user’s explanation needs. The literature already offers some dialectical protocols that expressly handle explanations and their delivery. This paper fully formalises the novel Explanation–Question–Response (EQR) dialogue and its properties, whose main purpose is to provide satisfactory information (i.e., justified according to argumentative semantics) whilst ensuring a simplified protocol, in comparison with other existing approaches, for humans and artificial agents. (shrink)

We present a generic denotational semantic framework for protocols for dialogs between rational and autonomous agents over action which allows for retraction and revocation of proposals for action. The semantic framework views participants in a deliberation dialog as jointly and incrementally manipulating the contents of shared spaces of action-intention tokens. The framework extends prior work by decoupling the identity of an agent who first articulates a proposal for action from the identity of any agent then empowered to retract or revoke (...) the proposal, thereby permitting proposals, entreaties, commands, promises, etc., to be distinguished semantically. (shrink)

We present a logic-based formalism for modeling ofdialogues between intelligent and autonomous software agents,building on a theory of abstract dialogue games which we present.The formalism enables representation of complex dialogues assequences of moves in a combination of dialogue games, and allowsdialogues to be embedded inside one another. The formalism iscomputational and its modular nature enables different types ofdialogues to be represented.

There are many benefits of using argumentation-based techniques in multi-agent systems, as clearly shown in the literature. Such benefits come not only from the expressiveness that argumentation-based techniques bring to agent communication but also from the reasoning and decision-making capabilities under conditions of conflicting and uncertain information that argumentation enables for autonomous agents. When developing multi-agent applications in which argumentation will be used to improve agent communication and reasoning, argumentation schemes are useful in addressing the requirements of the application domain (...) in regards to argumentation. In this work, we propose an argumentation framework that takes into account the particular structure of argumentation schemes at its core. This paper formally defines such a framework and experimentally evaluates its implementation for both argumentation-based reasoning and dialogues. (shrink)

Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questions of political legitimacy. Drawing on deliberative democratic theory, we elaborate normative criteria for deliberative legitimacy and illustrate their use for assessing two argumentation systems. Full assessment of such systems requires experiments in which system designers draw on expertise from the social sciences and enter into the policy deliberation itself at the level of participants.

In this paper we consider persuasion in the context of practical reasoning, and discuss the problems associated with construing reasoning about actions in a manner similar to reasoning about beliefs. We propose a perspective on practical reasoning as presumptive justification of a course of action, along with critical questions of this justification, building on the account of Walton. From this perspective, we articulate an interaction protocol, which we call PARMA, for dialogues over proposed actions based on this theory. We outline (...) an axiomatic semantics for the PARMA Protocol, and discuss two implementations which use this protocol to mediate a discussion between humans. We then show how our proposal can be made computational within the framework of agents based on the Belief-Desire-Intention model, and illustrate this proposal with an example debate within a multi agent system. (shrink)

An MBA course has recently been introduced in the Department of Business Studies at the University of Zimbabwe. Applications for the course are numerous, so selection can be very rigorous. Thus the students admitted to the course comprise many of the country's most promising junior managers. As an assignment for a course on business ethics, the students were asked to discuss an ethical problem they had met in the course of business. An analysis of the problems discussed is quite revealing. (...) Besides several miscellaneous issues, the problems discussed focussed on sexual harrassment, nepotism, political pressure and particularly public corruption. The emphasis on public corruption is probably explicable in terms of the particular individuals admitted to the MBA course; it should not be explained by claiming that Zimbabwe is just one more corrupt third world country. Most surprising is the total absence of any problems relating to issues of race or to trading with South Africa, which might have been considered the major ethical issues in Zimbabwe business life. The lack of problems relating to these two issues is more difficult to explain. (shrink)

Trust is a natural mechanism by which an autonomous party, an agent, can deal with the inherent uncertainty regarding the behaviours of other parties and the uncertainty in the information it shares with those parties. Trust is thus crucial in any decentralised system. This paper builds on recent efforts to use argumentation to reason about trust. Specifically, a set of schemes is provided, and abstract patterns of reasoning that apply in multiple situations geared towards trust. Schemes are described in which (...) one agent, A, can establish arguments for trusting another agent, B, directly, as well as schemes that A can use to construct arguments for trusting C, where C is trusted by B. For both sets of schemes, a set of critical questions is offered that identify the situations in which these schemes can fail. (shrink)

Governments and other groups interested in the views of citizens require the means to present justifications of proposed actions, and the means to solicit public opinion concerning these justifications. Although Internet technologies provide the means for such dialogues, system designers usually face a choice between allowing unstructured dialogues, through, for example, bulletin boards, or requiring citizens to acquire a knowledge of some argumentation schema or theory, as in, for example, ZENO. Both of these options present usability problems. In this paper, (...) we describe an implemented system called PARMENIDES which allows structured argument over a proposed course of action, without requiring knowledge of the underlying argumentation theory. (shrink)

In a study of the kin investment of aunts and uncles we show that the laterality effect expected as a result of paternity uncertainty is statistically reliable but somewhat smaller than the sex effect. Matrilateral aunts invest significantly more than patrilateral aunts, and the same is true for uncles. Regardless of laterality, however, aunts invest significantly more than uncles. Multivariate controls show that the matrilateral bias is fully independent of any age or distance confounds that might result from sex differences (...) in age at marriage or dispersal. We discuss our results in relation to recent findings on the kin investment of grandparents (Euler and Weitzel 1996). In addition, we propose a simple method for estimating the level of paternity uncertainty from kin investment data; application of this method to our data on aunts and uncles suggests that between 13% and 20% of children are not the offspring of their putative father. Our parallel analyses of Euler and Weitzel’s (1996) data on grandparental investment suggest a similar estimate, that paternity uncertainty lies between 9% and 17%. (shrink)

As I write this, in November 1971, people are dying in East Bengal from lack of food, shelter, and medical caxc. The suffering and death that are occurring there now axe not inevitable, 1101; unavoidable in any fatalistic sense of the term. Constant poverty, a cyclone, and a civil war have turned at least nine million people into destitute refugees; nevertheless, it is not beyond Lhe capacity of the richer nations to give enough assistance to reduce any further suffering to (...) very small proportions. The decisions arid actions of human beings can prevent this kind of suffering. Unfortunately, human beings have not made the necessary decisions. At the individual level, people have, with very few exceptions, not responded to the situation in any signihczmt way. Generally speaking, people have not given large sums to relief funds; they have not written t0 their parliamentaxy representatives demanding increased government assistance; they have not demonstrated in the streets, held symbolic fasts, or done anything else directed toward providing thc refugees with the means to satisfy their essential needs. At thc government level, no govcrmmcnt has given the sort of massive aid that would enable the refugees to survive fm: more than a few days. Britain, for instance, has given rather more than most countries. It has, to date, given £14,750,000. For comparative purposes, B1~itain’s share of thc nonreccverabla development costs of the Anglo-French Concorde project is already in excess of £275,000,000, and on present estimates will reach £440,000,¤00. The implication is that the British government values a supersonic transport more than thirty times as.. (shrink)

Gaulin, McBurney, and Brakeman-Wartell (1997) found that college students reported both matrilateral and sex biases in the investment of aunts and uncles (aunts invested more than uncles). They interpreted the matrilateral bias as a consequence of paternity uncertainty. We replicated that study with Orthodox Jewish college students, selected because they come from a population we presume to have higher paternity certainty than the general population. The Orthodox sample also showed matrilateral and sex biases. Comparing the two data sets, the (...) Orthodox sample reported more investment, and slightly less matrilateral and sex biases, but the differences were not statistically significant. We did find an interaction between sex of relative and group membership, resulting from greater investment by Orthodox uncles. We interpret the results as reflecting the operation of a facultative investment mechanism whose upper limit is tuned to the maximum levels of paternity certainty found in ancestral environments. Lack of a difference in matrilateral bias between groups may result from levels of paternity certainty near to, or above, that maximum in both groups. (shrink)

Paternity certainty and matrilineal family ties have been used to explain the asymmetric caregiving of grandparents and aunts and uncles. The proximate mechanisms underlying biased kin investment, however, remain unclear. A central question of the study presented here was whether the parent-kin relationship is an important link in the caregiving. In a two-generational questionnaire study, we asked subjects to estimate the intensity of their relationships to parents, grandparents, aunts, and uncles (emotional closeness, investment received in childhood). In addition, the subjects’ (...) parents rated their emotional closeness to their parents and siblings. We found that the parent-kin relationship was closely linked to the relatives’ child care and could partly explain asymmetric caregiving. Maternal aunts played a special role as caregivers. Especially the mother’s younger or last-born sister cared intensively for nieces and nephews, regardless of her closeness to the subjects’ mother. (shrink)

This paper argues that a set of questioning attitudes are among the foundations of human and animal minds. While both verbal questioning and states of curiosity are generally explained in terms of metacognitive desires for knowledge or true belief, I argue that each is better explained by a prelinguistic sui generis type of mental attitude of questioning. I review a range of considerations in support of such a proposal and improve on previous characterizations of the nature of these attitudes. I (...) then broaden their explanatory scope to include a number of forms of exploratory search. The paper has three main goals: to characterize the nature of the questioning attitudes, outlining their causal role and type of content; to argue that they are fundamental components of the mind, being widespread among animals and not constructed during ontogeny out of other attitudes; and to suggest that they explain a great deal more behavior than one might think. (shrink)

Since its original publication in 1975, this groundbreaking work has awakened millions of people to the existence of "speciesism"—our systematic disregard of nonhuman animals—inspiring a worldwide movement to transform our attitudes to animals and eliminate the cruelty we inflict on them. In Animal Liberation, author Peter Singer exposes the chilling realities of today’s "factory farms" and product-testing procedures—destroying the spurious justifications behind them, and offering alternatives to what has become a profound environmental and social as well as moral issue. (...) An important and persuasive appeal to conscience, fairness, decency, and justice, it is essential reading for the supporter and the skeptic alike. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

Single-premise epistemic closure is the principle that: if one is in an evidential position to know that P where P entails Q, then one is in an evidential position to know that Q. In this paper, I defend the viability of opposition to closure. A key task for such an opponent is to precisely formulate a restricted closure principle that remains true to the motivations for abandoning unrestricted closure but does not endorse particularly egregious instances of closure violation. I focus (...) on two brands of epistemic theory that naturally incorporate closure restrictions. The first type holds that the truth value of a knowledge ascription is relative to a relevant question. The second holds that the truth value of a knowledge ascription is relative to a relevant topic. For each approach, I offer a formalization of a leading theory from the literature and use this formalization to evaluate the theory’s adequacy in terms of a precise set of desiderata. I conclude that neither theory succeeds in meeting these desiderata, casting doubt on the viability of the underlying approaches. Finally, I offer a novel variant of the topic-sensitive approach that fares better. (shrink)

Introduction These essays have been written over a period of about ten years and have already been published separately in various places. ...

I lay out the framework for my theory of sensory imagination in “Imagining as a guide to possibility.” Sensory imagining involves mental imagery , and crucially, in describing the content of imagining, I distinguish between qualitative content and assigned content. Qualitative content derives from the mental image itself; for visual imaginings, it is what is “pictured.” For example, visually imagine the Philadelphia Eagles defeating the Pittsburgh Steelers to win their first Super Bowl. You picture the greenness of the field and (...) the football’s brown oblong shape. Some of what you imagine isn’t explicitly pictured, however. That it is Sunday, that it is the Super Bowl: these facts are assigned. (shrink)

Political decisions have the potential to greatly impact our lives. Think of decisions in relation to abortion or climate change, for example. This makes political legitimacy an important normative concern. But what makes political decisions legitimate? Are they legitimate in virtue of having support from the citizens? Democratic conceptions of political legitimacy answer in the affirmative. Such conceptions righly highlight that legitimate political decision-making must be sensitive to disagreements among the citizens. But what if democratic decisions fail to track what (...) there is most reason to do? What if a democratically elected government fails to take measures necessary to protect its population from threats related to climate change? Peter argues that the legitimacy of political decisions doesn't just depend on respect for the citizens' will; and defends a novel hybrid conception of political legitimacy, called the Epistemic Accountability conception. According to this conception, political legitimacy also depends on how political decision-making responds to evidence for what there is most reason to do. Grounds for Political Legitmacy starts with an overview of the main ways in which philosophers have thought about political legitimacy, and identifies the epistemic accountability conception as an overlooked alternative. It then develops the epistemic accountability conception of political legitimacy and discusses its implications for legitimate political decision-making. Considering the norms that should govern political debate, it examines the role of experts in politics, and probes the responsibilities of democratically elected political leaders and as well as of citizens. (shrink)

We aim to build intelligent systems which can reason autonomously about the carcinogenicity of chemicals. Scientific debates in this area draw on evidence from multiple, and often conflicting sources, both theoretical and experimental, and participants use various modes of inferential reasoning. In seeking to automate such reasoning, we have first articulated precisely the multiple modes of inference used when an assertion of human carcinogenicity is made from experimental animal evidence. Because such inferences are often contested, scientific debate in this domain (...) can be vigorous. To model such debates, we propose the use of a form of dialectical argumentation, drawing on Habermas' philosophy of Discourse Ethics [9] and Pera's philosophy of science [18]. The resulting formalism permits the representation of uncertainty and disagreement regarding the modes of inference used, as well as the claims being asserted. (shrink)

X‐chromosome inactivation refers to the coordinate regulation of almost all genes on the mammalian × chromosome. Most models for × chromosome inactivation suppose a role for methylation of × chromosome DNA sequences and/or the heterochromatinization of large «domains» of the × chromosome containing many genes.1 Some recent work concerning the expression of X‐linked transgenes, and parallels between regulated expression of sex‐linked genes in invertebrates and mammals, suggest that × chromosome inactivation may be a gene‐by‐gene event mediated by the interaction between (...) regulatory sequences common to all X‐linked genes and soluble activators and repressors. (shrink)

In at least some cases of justified perceptual belief, our perceptual experience itself, as opposed to beliefs about it, evidences and thereby justifies our belief. While the phenomenon is common, it is also mysterious. There are good reasons to think that perceptions cannot justify beliefs directly, and there is a significant challenge in explaining how they do. After explaining just how direct perceptual justification is mysterious, I considerMichael Huemers (Skepticism and the Veil of Perception, 2001) and Bill Brewers (Perception and (...) Reason, 1999) recent, but radically different, attempts to eliminate it. I argue that both are unsuccessful, though a consideration of their mistakes deepens our appreciation of the mystery. (shrink)

This book offers a reassessment of the political philosophy of the British Idealists, a group of once influential and now neglected nineteenth-century Hegelian philosophers, whose work has been much misunderstood. Peter Nicholson focuses on F. H. Bradley's idea of morality and moral philosophy; T. H. Green's theory of the Common Good, of the social nature of rights, of freedom, and of state interference; and Bernard Bosanquet's notorious theory of the General Will. By examining the arguments offered by the Idealists (...) and by their critics the author is able to penetrate the deep layers of hostile comment laid down by several generations of later writers and to show that these ideas, once properly understood, are not only defensible but interesting and important. (shrink)

In the Western world it is usually taken as given that we all want happiness, and our educational arrangements tacitly acknowledge this. Happiness, Hope, and Despair argues, however, that education has an important role to play in deepening our understanding of suffering and despair as well as happiness and joy. Education can be uncomfortable, unpredictable, and unsettling; it can lead to greater uncertainty and unhappiness. Drawing on the work of Søren Kierkegaard, Miguel de Unamuno, Fyodor Dostoevsky, Simone Weil, Paulo Freire, (...) and others, Peter Roberts shows why these features of educational life need not be feared; to the contrary, they can be seen as a source of hope and human fulfilment. After years of negotiating an education system dominated by the language of competition, performance, and economic advancement, students and teachers often long for something different; they seek not just measurable success but also opportunities to ask searching questions of themselves and the world they encounter. Happiness, Hope, and Despair makes an important contribution toward meeting this need. It fosters a rethinking of the nature, purpose, and value of education, and opens up possibilities for further scholarly and professional inquiry. (shrink)