Challenges in Bridging Social Semantics and Formal Semantics on the Web

This paper describes several results of Wimmics, a research lab which names stands for: web-instrumented man-machine interactions, communities, and semantics. The approaches introduced here rely on graph-oriented knowledge representation, reasoning and operationalization to model and support actors, actions and interactions in web-based epistemic communities. The re-search results are applied to support and foster interactions in online communities and manage their resources

Abstract Argumentation / Persuasion / Dynamics

The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been largely unheeded so far. We characterise basic notions of admissibilities in this framework, and show a way of enriching them through, effectively, CTL (computation tree logic) encoding, which also permits importation of the theoretical results known to the logic into our argumentation frameworks. Our aim is to complement the growing interest in coordination of static and dynamic argumentation.Comment: Arisaka R., Satoh K. (2018) Abstract Argumentation / Persuasion / Dynamics. In: Miller T., Oren N., Sakurai Y., Noda I., Savarimuthu B., Cao Son T. (eds) PRIMA 2018: Principles and Practice of Multi-Agent Systems. PRIMA 2018. Lecture Notes in Computer Science, vol 11224. Springer, Cha

Dispute Resolution Using Argumentation-Based Mediation

Mediation is a process, in which both parties agree to resolve their dispute by negotiating over alternative solutions presented by a mediator. In order to construct such solutions, mediation brings more information and knowledge, and, if possible, resources to the negotiation table. The contribution of this paper is the automated mediation machinery which does that. It presents an argumentation-based mediation approach that extends the logic-based approach to argumentation-based negotiation involving BDI agents. The paper describes the mediation algorithm. For comparison it illustrates the method with a case study used in an earlier work. It demonstrates how the computational mediator can deal with realistic situations in which the negotiating agents would otherwise fail due to lack of knowledge and/or resources.Comment: 6 page

Theorising and practitioners in HRD: the role of abductive reasoning

Purpose – The purpose of this paper is to argue that abductive reasoning is a typical but usually unrecognised process used by HRD scholars and practitioners alike. Design/methodology/approach – This is a conceptual paper that explores recent criticism of traditional views of theory-building, based on the privileging of scientific theorising, which has led to a relevance gap between scholars and practitioners. The work of Charles Sanders Peirce and the varieties of an abductive reasoning process are considered. Findings – Abductive reasoning, which precedes induction and deduction, provide a potential connection with HRD practitioners who face difficult problems. Two types of abductive reasoning are explored – existential and analogic. Both offer possibilities for theorising with HRD practitioners. A range of methods for allowing abduction to become more evident with practitioners are presented. The authors consider how abduction can be used in engaged and participative research strategies. Research limitations/implications – While this is a conceptual paper, it does suggest implications for engagement and participation in theorising with HRD practitioners. Practical implications – Abductive reasoning adds to the repertoire of HRD scholars and practitioners. Originality/value – The paper elucidates the value of abductive reasoning and points to how it can become an integral element of theory building in HRD

Discourses on ICT and development.

Research on ICT and development (ICTD) involves assumptions on the nature of ICT innovation and on the way such innovation contributes to development. In this article I review the multidisciplinary literature on ICTD and identify two perspectives regarding the nature of the ICT innovation process in developing countries - as transfer and diffusion and as socially embedded action - and two perspectives on the development transformation towards which ICT is understood to contribute - progressive transformation and disruptive transformation. I then discuss the four discourses formed by combining the perspectives on the nature of IS innovation and on the development transformation. My review suggests that ICTD research, despite its remarkable theoretical capabilities to study technology innovation in relation to socio-economic context, remains weak in forming convincing arguments on IT-enabled socio-economic development.

PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law

We introduce PriCL: the first framework for expressing and automatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expressing world properties, and provides support for court decisions, their justification, the circumstances in which the justification applies as well as court hierarchies. Moreover, the framework offers a tight connection between privacy case law and the notion of norms that underlies existing rule-based privacy research. In terms of automation, we identify the major reasoning tasks for privacy cases such as deducing legal permissions or extracting norms. For solving these tasks, we provide generic algorithms that have particularly efficient realizations within an expressive underlying logic. Finally, we derive a definition of deducibility based on legal concepts and subsequently propose an equivalent characterization in terms of logic satisfiability.Comment: Extended versio