Your search for: 'author:("Dunin-Kęplicz, Barbara")' has returned 4 results. (0.01s) Save search

Authors: Dunin-Kęplicz, Barbara | Strachocka, Alina

Article Type: Research Article

Abstract: Various types of everyday arguments are represented as argumentation schemes , originating from the Legal Argumentation literature. The recent achievements in this domain can be applied to multi-agent settings to enrich the paradigmatic aspects of communication and reasoning. Agents typically populate complex environments where incompleteness and inconsistency of information is rather a rule than exception. Although the problem how to tackle inconsistencies is already present in argumentation, a paraconsistent (that is, tolerating inconsistency) approach is still missing from the literature. The contribution of this research is a computationally-friendly framework for formalizing paraconsistent argumentation schemes . This is achieved by extending agent’s …reasoning capabilities with non-deductive methods rooted in argumentation. To this end we provide a generic paraconsistent program template for implementation of various argumentation schemes. Our methodology is strongly influenced by ideas underlying 4QL: a four-valued, rule-based, Datalog ¬¬ -like query language. Thanks to its properties, the tractability of the solution (so hardly obtainable in logical modeling) has been reached. The paper concludes with examples of several paraconsistent argumentation schemes implemented in 4QL. Show more

Keywords: Multi-agent systems, communication, nonmonotonic reasoning, paraconsistent argumentation schemes

DOI: 10.3233/WEB-160331

Citation: Web Intelligence, vol. 14, no. 1, pp. 43-65, 2016

Authors: Dunin-Kęplicz, Barbara | Powała, Alina

Article Type: Research Article

Abstract: Some conflicts appearing in multi-agent settings may be resolved via communication. In this paper, besides conflicts of opinions , paradigmatically resolved by a persuasion dialogue, we study semantically deeper conflicts reaching to motivations of opinions. This investigation led us to discerning deep persuasion dialogues aiming at the resolution of conflicting motivations of opinions . In our overall research program we focus on realistic modeling of agency. This includes a proper representation of agents’ ignorance and inconsistencies , appearing in their informational stance. Therefore, our formal framework TalkLOG , designed to provide and embed different forms of dialogues, employs a 4-valued …logic with two additional logical values, unknown and inconsistent . Within TalkLOG soundness and completeness of persuasion was proved by comparing the outcomes of the persuasion dialogues performed by n -agents with the outcomes obtained by merging knowledge of these n agents. In this context the key point was a proper construction of this merge operator. Another critical issue is complexity of agents’ communication, which is typically interleaved with reasoning in the context of multi-agent or autonomous systems. In TalkLOG tractability of both aspects is obtained thanks to the implementation tool: rule-based 4-valued query language 4QL. Show more

Keywords: persuasion, multi-party dialogue, paraconsistent reasoning, nonmonotonic reasoning, conflict resolution

DOI: 10.3233/FI-2018-1640

Citation: Fundamenta Informaticae, vol. 158, no. 1-3, pp. 1-39, 2018

Authors: Dunin-Keplicz, Barbara | Verbrugge, Rineke

Article Type: Research Article

Abstract: In this paper we aim to formally model individual, social and collective motivational attitudes in teams of agents involved in Cooperative Problem Solving. Particular attention is given to the strongest motivational attitude, collective commitment, which leads to team action. First, building on our previous work, a logical framework is sketched in which social commitments and collective intentions are formalized. Then, different versions of collective commitments are given, reflecting different aspects of Cooperative Problem Solving, and applicable in different situations. The definitions differ with respect to the aspects of teamwork of which the agents involved are aware, and the kind of …awareness present within a team. In this way a kind of tuning mechanism is provided for the system developer to tune a version of collective commitment fitting the circumstances. Finally, we focus attention on a few exemplar versions of collective commitment resulting from instantiating the general tuning scheme, and sketch for which kinds of organization and application domains they are appropriate. Show more

Citation: Fundamenta Informaticae, vol. 63, no. 2-3, pp. 283-307, 2004

Authors: Dunin-Keplicz, Barbara | Verbrugge, Rineke

Article Type: Research Article

Abstract: In this paper we aim to describe dynamic aspects of social and collective attitudes in teams of agents involved in Cooperative Problem Solving (CPS). Particular attention is given to the strongest motivational attitude, collective commitment, and its evolution during team action. First, building on our previous work, a logical framework is sketched in which a number of relevant social and collective attitudes is formalized, leading to the plan-based definition of collective commitments. Moreover, a dynamic logic component is added to this framework in order to capture the effects of the complex actions that are involved in the consecutive stages of …CPS, namely potential recognition, team formation, plan formation and team action. During team action, the collective commitment leads to the execution of agent-specific actions. A dynamic and unpredictable environment may, however, cause the failure of some of these actions, or present the agents with new opportunities. The abstract reconfiguration algorithm, presented in a previous paper, is designed to handle the re-planning needed in such situations in an efficient way. In this paper, the dynamic logic component of the logical framework addresses issues pertaining to adjustments in collective commitment during the reconfiguration process. Show more

Keywords:

Citation: Fundamenta Informaticae, vol. 56, no. 4, pp. 329-371, 2003