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)

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)

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.

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)

This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...

A complete system of classical Aristotelian logic intended for honors high school and college.

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)

Ohne Rücksicht auf disziplinäre Schranken bringt dieses Buch verschiedene nicht-reduktionistische Lerntheorien miteinander ins Gespräch. In einem offenen Diskurs, der die Konzepte zueinander in Beziehung setzt, werden die unterschiedlichen Perspektiven kritisch abgewogen und hinsichtlich ihrer Stärken und Schwächen diskutiert.

Delo se loteva vprašanja aktualnosti pojma subjekta v filozofiji in politiki skozi analizo tistih avtorjev, ki so ga domnevno najbolj radikalno pokopali: pokaže, da vznik radikalno novega in problematika subjekta zavzema osrednje mesto v Deleuzovi filozofiji, kakor tudi v Lyotardovi pozni misli posvečeni praznini, v Foucaultovi obravnavi biopolitike in biooblasti, v delu Negrija in Hardta o Imperiju, ter nazadnje v Badioujevi predelavi temeljnih filozofskih kategorij biti, resnice in subjekta, na osnovi katerih je dandanes znova možna renesansa filozofije. Ta ima po (...) Badiouju štiri razsežnosti, ki se v delu Vznik subjekta nenehno prepletajo: »V osnovi želja filozofije implicira razsežnost upora: ni filozofije brez nezadovoljstva mišljenja v njegovem soočenju s svetom, kakršen je. Pa vendar želja filozofije vključuje tudi logiko: to je, prepričanje v moč argumenta in uma.«. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (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)

In this short but meaty book, Peter Unger questions the objective answers that have been given to central problems in philosophy. As Unger hypothesizes, many of these problems are unanswerable, including the problems of knowledge and scepticism, the problems of free will, and problems of causation and explanation. In each case, he argues, we arrive at one answer only relative to an assumption about the meaning of key terms, terms like "know" and like "cause," even while we arrive at (...) an opposite answer relative to quite different assumptions, but equally arbitrary assumptions, about what the key terms mean. (shrink)

Narrative thinking -- Narrative thinking about one's past -- Grief : a case study -- Narrative thinking about one's future -- Self-forgiveness : a case study -- The narrative sense of self -- Narrative, truth, life, and fiction.

While Hermann Levin Goldschmidt didn’t read Yiddish anarchists, there seems to have been a convergent evolution in their thinking. Goldschmidt’s looking up to Jewish lore as a source of liberating creativity is commonly encountered in Yiddish anarchist texts. His view of action as a constant response to internal and external challenges in the struggle for an open future is developed by Isaac Nachman Steinberg on the basis of nineteenth-century vitalism. Goldschmidt’s theory of anarchist individualism as willed self-limiting solidarity has a (...) compelling parallel in Hillel Solotaroff’s view of history. His use of impressionism and photography to eternalize the immediacy of human actuality is akin to Rudolf Rocker’s championing of decadent literature. In both cases, the goal of anarchism is not a dictatorship of the former downtrodden, but a continuous and contradictory evolution of freedom in ever-changing contexts. (shrink)

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (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)

Metz holds that we can use African communal ethics to constitute global economic practices such as appropriation, production, distribution and consumption in such a way that promotes harmonious relations. In this article, I will show that Metz’s reformist approach to constituting the global economic practices is problematic as it fails to deal with the fundamental problem that pertains to a racialised world order that is structurally configured by coloniality of being. I will show that reformist approaches such as Metz’s use (...) of African communal ethics to constitute global economic practices in a way that promotes harmonious relations are undesirable attempts that are opposed and curtailed by a structural racialised logic/ontology of the world that governs and supervises the evolution of the world economic structures and practices in a way which undermines harmonious relations and in a way which causes economic marginalisation and impoverishment of historically disadvantaged indigenous Africans. (shrink)

Philosophy of music has flourished in the last thirty years, with great advances made in the understanding of the nature of music and its aesthetics. Peter Kivy has been at the center of this flourishing, and now offers his personal introduction to philosophy of music, a clear and lively explanation of how he sees the most important and interesting philosophical issues relating to music. Anyone interested in music will find this a stimulating introduction to some fascinating questions and ideas.

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)

Abstractabstract:Karl Marx’s acerbic observation in the opening lines of The Eighteenth Brumaire that “all facts and personages of great importance in world history occur the first time as tragedy, the second as farce” may be profitably applied to a reconsideration of literary farce sui generis, a genre represented in this article by a long-neglected work of utopian fiction, Archibald Marshall’s Upsidonia (1915). Although Upsidonia’s current disregard is arguably undeserved, the article’s chief interest is not to reclaim the novel on aesthetic (...) grounds but to illuminate the mechanics of what Marx would call its “serious buffoonery.” In its persistent reversal of capitalist principles and relations, Upsidonia naturally invites readers to revisit Marx, whose mordant gambit may serve as a key to Marshall’s own farcical plot and praxis, rooted in return and repetition, the essential maneuvers of farce itself. (shrink)

This introduction by leading scholar Peter Trawny is the first to tackle the Black Notebooks, whose recent publication revealed the extent of Heidegger's anti-Semitism. Trawny directly confronts the most problematic aspects of Heidegger's thought, also fully surveying his work, from early writings to his magnum opus, Being and Time.