Dialogue Games in Defeasible Logic

In this paper we show how to capture dialogue games in Defeasible Logic. We argue that Defeasible Logic is a natural candidate and general representation formalism to capture dialogue games even with requirements more complex than existing formalisms for this kind of games. We parse the dialogue into defeasible rules with time of the dialogue as time of the rule. As the dialogue evolves we allow an agent to upgrade the strength of unchallenged rules. The proof procedures of (Antoniou, Billington, Governatori, Maher 2001) are used to determine the winner of a dialogue game

A note on validity in law and regulatory systems (position paper)

The notion of validity fulfils a crucial role in legal theory. The emerging Web 3.0 opens a new landscape where Semantic Web languages, legal ontologies, and the construction of Normative Multiagent Systems are built up to cover new regulatory needs. Conceptual models for complex regulatory systems shape the characteristic features of rules, norms and principles in different ways. This position paper outlines one of such multilayered governance models, designed for the CAPER platform

Philosophy of Computational Social Science

Computational social science is an emerging field at the intersection of statistics, computer science, and the social sciences. This paper addresses the philosophical foundations of this new field. Kant and Peirce provide an understanding of scientific objectivity as intersubjective validity. Modern mathematics, and especially the mathematics of algorithms and statistics, get their objectivity from the intersubjective validity of formal proof. Algorithms implementing statistical inference, or scientific algorithms, are what distinguish computational social science epistemically from other social sciences. This gives computational social science an objective validity that other social sciences do not have. Objections to the scientific realism of this philosophy from the positions of anti-instrumentalism, postmodern interpretivism, and situated epistemology are considered and either incorporated into this philosophy of computational social science or refuted. Speculative predictions for the field of computational social science are offered in conclusion: computational social science will bring about an end of narrative in the social sciences, contract the field of social scientific knowledge into a narrower, more hierarchical field of expertise, and create a democratic crisis that will only be resolved through universal education in computational statistics

Attending responding becoming : a living-learning inquiry in a naturally inclusional playspace

Traditional scientific paradigms emphasise writing in the third person, effectively marginalising the subjective perspective of the researcher. Many systems thinking, cybernetics and complexity approaches are better in this regard, as they involve systemic interventions where the relationships between the researcher and other participants really matter. Writing in the first person therefore becomes acceptable.In this Thesis (and a partner document coupled with it), I have explored how to reincorporate subjective empiricism into my systemic intervention practice. This has brought forth many unanticipated contributions. These take the form of new frameworks, concepts and approaches for systems and complexity practice, emerging from my engagements with myself and others, as well as from reflections upon those engagements.However, the content of my reflections and ‘becomings’ are not all that represent my doctoral contribution; there is also the form of my representation(s), as well as the emergent nature of the process through which they have come to be. I have drawn from Gregory Bateson’s use of metalogues: where the nature of a conversation mirrors its content – e.g. getting into a muddle whilst talking about muddles! Intuitively, I grasped the importance of metalogue in what I was attempting, and found myself coining the term metalogic coherence. Without fully appreciating what this might mean in practice, I groped my way into undertaking and documenting my research in ways that I believed would be metalogically coherent with the complexity-attuned principles to which I was committing. In sum, and key to appreciating what unfolds in the narrative, is recognising this Thesis and its partner document as metalogically coherent artefacts of naturally inclusional, complexity-attuned, evolutionary research.To fully acknowledge the different ways of knowing that have flowed into my inquiry, I have written in multiple voices (called statewaves, for reasons to be explained in the thesis). I found myself shifting from one voice to another as I explored and expressed different dimensions of what I was experiencing and discovering.In addition, I have made liberal use of hyperlinks, so both documents are far from linear. They are more akin to a mycorrhizal network, interlinking flows of ideas and sensemaking, all of which can be accessed and experienced differently, depending on each reader’s engagement with and through it.The thesis and its partner document are part of a composite submission that contains both poetry and artwork (visual depictions and animations of the ideas). These elements, along with the more conventional academic text, are augmented by penetrating reflections on my personal motivations, guided by a narrator signposting the streams as they flow into and between each other. All of my being has been implicated and impacted by this endeavour. When insights and new ‘becomings’ emerged flowfully during my practice, my joy was reflected in my narrative; as indeed were my pain, doubts and reinterpretations associated with ideas that were difficult to birth. I present all this in my submission, without retrospective sanitisation or simplification. In so doing, I am keeping faith with the principle that I remain at the heart of my research, and cannot be extracted from it without doing violence to the metalogical coherence that gives it meaning

Logics of Responsibility

The study of responsibility is a complicated matter. The term is used in different ways in different fields, and it is easy to engage in everyday discussions as to why someone should be considered responsible for something. Typically, the backdrop of these discussions involves social, legal, moral, or philosophical problems. A clear pattern in all these spheres is the intent of issuing standards for when---and to what extent---an agent should be held responsible for a state of affairs. This is where Logic lends a hand. The development of expressive logics---to reason about agents' decisions in situations with moral consequences---involves devising unequivocal representations of components of behavior that are highly relevant to systematic responsibility attribution and to systematic blame-or-praise assignment. To put it plainly, expressive syntactic-and-semantic frameworks help us analyze responsibility-related problems in a methodical way. This thesis builds a formal theory of responsibility. The main tool used toward this aim is modal logic and, more specifically, a class of modal logics of action known as stit theory. The underlying motivation is to provide theoretical foundations for using symbolic techniques in the construction of ethical AI. Thus, this work means a contribution to formal philosophy and symbolic AI. The thesis's methodology consists in the development of stit-theoretic models and languages to explore the interplay between the following components of responsibility: agency, knowledge, beliefs, intentions, and obligations. Said models are integrated into a framework that is rich enough to provide logic-based characterizations for three categories of responsibility: causal, informational, and motivational responsibility. The thesis is structured as follows. Chapter 2 discusses at length stit theory, a logic that formalizes the notion of agency in the world over an indeterministic conception of time known as branching time. The idea is that agents act by constraining possible futures to definite subsets. On the road to formalizing informational responsibility, Chapter 3 extends stit theory with traditional epistemic notions (knowledge and belief). Thus, the chapter formalizes important aspects of agents' reasoning in the choice and performance of actions. In a context of responsibility attribution and excusability, Chapter 4 extends epistemic stit theory with measures of optimality of actions that underlie obligations. In essence, this chapter formalizes the interplay between agents' knowledge and what they ought to do. On the road to formalizing motivational responsibility, Chapter 5 adds intentions and intentional actions to epistemic stit theory and reasons about the interplay between knowledge and intentionality. Finally, Chapter 6 merges the previous chapters' formalisms into a rich logic that is able to express and model different modes of the aforementioned categories of responsibility. Technically, the most important contributions of this thesis lie in the axiomatizations of all the introduced logics. In particular, the proofs of soundness & completeness results involve long, step-by-step procedures that make use of novel techniques

The Origins of Humanities Computing and the Digital Humanities Turn

At its beginnings Humanities Computing was characterized by a primary interest in methodological issues and their epistemological background. Subsequently, Humanities Computing practice has been prevailingly driven by technological developments and the main concern has shifted from content processing to the representation in digital form of documentary sources. The Digital Humanities turn has brought more to the fore artistic and literary practice in direct digital form, as opposed to a supposedly commonplace application of computational methods to scholarly research. As an example of a way back to the original motivations of applied computation in the humanities, a formal model of the interpretive process is here proposed, whose implementation may be contrived through the application of data processing procedures typical of the so called artificial adaptive systems

Genres of Inquiry in Design Science Research: Applying Search Conference to Contemporary Information Systems Security Theory

This dissertation investigates the core subject of knowledge in design-science research (DSR). In contrast to natural and social sciences that are more explanatory in nature, design-science research is concerned with solving complex practical problems that are ill-defined or of a “wicked” nature. At the same time, as in any research activity, design-science research is also concerned with the production of knowledge. In the process of design-science research, the researcher must act as both designer and scientist. Design knowledge is distinct from scientific knowledge, however, and must be evaluated against a different set of criteria. Since the DSR process is iterative the scope of DSR knowledge can evolve, abstracting general (nomothetic) knowledge from situated (idiographic) artifacts or, alternately, applying abstract knowledge to situated settings. General knowledge is different from situated knowledge and must be evaluated accordingly. In the current design-science literature, situated (idiographic) knowledge is associated with design, and abstract (nomothetic) knowledge is associated with science. This dissertation proposes that design can be abstract and that science can be situated in scope. The purpose of the dissertation is to identify the problems with the current conceptualization of contributions in DSR, offer an alternative view of the design-science paradigm as one having multiple genres of inquiry, provide the criteria for framing and evaluating design-science contributions, and describe how this will help address some of the current debate and clarify the current discourse. The dissertation is structured in three parts. Part I employs a theoretical argument to develop a framework for these genres of inquiry in design-science research and demonstrates how the evaluation criteria for design-science research studies change as the research moves from one genre to another. Part II is an empirical study that uses a search conference method to apply the bindpoint model (Baskerville and Lee 2013), an explanatory design theory to the problem of information security risk resulting from consumerization and BYOD (bring your own device). Part III reflects on the learning from the theoretical and the practical discourse and provides the contributions and opportunities for future research. This dissertation contributes to the design-science field by providing a more nuanced understanding of the contributions and evaluation criteria of design-science research. It contributes to the Information Systems (IS) security field by providing a design theory for managing BYOD security. Lastly, it contributes to Information Systems research methods by introducing the search conference method as a viable approach for theorizing and for evaluating design-science contributions

ProCLAIM: an argument-based model for deliberating over safety critical actions

In this Thesis we present an argument-based model – ProCLAIM – intended to provide a setting for heterogeneous agents to deliberate on whether a proposed action is safe. That is, whether or not a proposed action is expected to cause some undesirable side effect that will justify not to undertake the proposed action. This is particularly relevant in safetycritical environments where the consequences ensuing from an inappropriate action may be catastrophic. For the practical realisation of the deliberations the model features a mediator agent with three main tasks: 1) guide the participating agents in what their valid argumentation moves are at each stage of the deliberation; 2) decide whether submitted arguments should be accepted on the basis of their relevance; and finally, 3) evaluate the accepted arguments in order to provide an assessment on whether the proposed action should or should not be undertaken, where the argument evaluation is based on domain consented knowledge (e.g guidelines and regulations), evidence and the decision makers’ expertise. To motivate ProCLAIM’s practical value and generality the model is applied in two scenarios: human organ transplantation and industrial wastewater. In the former scenario, ProCLAIM is used to facilitate the deliberation between two medical doctors on whether an available organ for transplantation is or is not suitable for a particular potential recipient (i.e. whether it is safe to transplant the organ). In the later scenario, a number of agents deliberate on whether an industrial discharge is environmentally safe.En esta tesis se presenta un modelo basado en la Argumentación –ProCLAIM– cuyo n es proporcionar un entorno para la deliberación sobre acciones críticas para la seguridad entre agentes heterogéneos. En particular, el propósito de la deliberación es decidir si los efectos secundario indeseables de una acción justi can no llevarla a cabo. Esto es particularmente relevante en entornos críticos para la seguridad, donde las consecuencias que se derivan de una acción inadecuada puede ser catastró cas. Para la realización práctica de las deliberaciones propuestas, el modelo cuenta con un agente mediador con tres tareas principales: 1) guiar a los agentes participantes indicando cuales son las líneas argumentación válidas en cada etapa de la deliberación; 2) decidir si los argumentos presentados deben ser aceptadas sobre la base de su relevancia y, por último, 3) evaluar los argumentos aceptados con el n de proporcionar una valoración sobre la seguridad de la acción propuesta. Esta valoración se basa en guías y regulaciones del dominio de aplicación, en evidencia y en la opinión de los expertos responsables de la decisión. Para motivar el valor práctico y la generalidad de ProCLAIM, este modelo se aplica en dos escenarios distintos: el trasplante de órganos y la gestión de aguas residuales. En el primer escenario el modelo se utiliza para facilitar la deliberación entre dos médicos sobre la viabilidad del transplante de un órgano para un receptor potencial (es decir, si el transplante es seguro). En el segundo escenario varios agentes deliberan sobre si los efectos de un vertido industrial con el propósito de minimizar su impacto medioambiental

The art and architecture of mathematics education: a study in metaphors

This chapter presents the summary of a talk given at the Eighth European Summer University, held in Oslo in 2018. It attempts to show how art, literature, and history, can paint images of mathematics that are not only useful but relevant to learners as they can support their personal development as well as their appreciation of mathematics as a discipline. To achieve this goal, several metaphors about and of mathematics are explored