Barbara Dunin-Kȩplicz

Paraconsistent semantics of speech acts

This paper discusses an implementation of four speech acts: assert, concede, request and challenge in a paraconsistent framework. A natural four-valued model of interaction yields multiple new cogn ...

Towards better understanding of anaphora

This paper presents a syntactical method of interpreting pronouns in Polish. Using the surface structure of the sentence as well as grammatical and inflexional information accessible during syntactic analysis, an area of reference is marked out for each personal and possessive pronoun. This area consists of a few internal areas inside the current sentence and an external area, i.e. the part of the text preceding it. In order to determine that area of reference several syntactic sentence-level restrictions on anaphora interpretation are formulated.Next, when looking at the area of pronouns reference, all NPs which number-gender agree with the pronoun can be selected and this way the set of surface referents of each pronoun can be created. It can be used as data for further semantic analysis.

Evolution of collective commitment during reconfiguration

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 all relevant social and collective attitudes are formalized. Two de nitions of collective commitments are given, both based on social plans, but appropriate in di erent contexts, obeying particular properties with respect to the teams organization. Moreover, a dynamic logic component is added to this framework in order to capture the e ects 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-speci c 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 recon guration algorithm, presented in a previous paper, is designed to handle the replanning needed in such situations in an eÆcient way. In this paper, we use the dynamic logic component of the logical framework to describe intended dynamic properties of the teams collective commitment during recon guration.

Paraconsistent Multi-party Persuasion in \mathrm{Talk}\mathtt{LOG}

Some conflicts appearing in multi-agent settings may be resolved via communication. In this paper, besides conflicts of opinions, paradigmatically resolved by persuasion, we study resolution of conflicting justifications of opinions. To cope with agents’ ignorance and inconsistencies, often arising from perception and interactions, our formal framework \(\mathrm{Talk}\mathtt{LOG}\) employs a 4-valued logic with two additional logical values: unknown and inconsistent. Within \(\mathrm{Talk}\mathtt{LOG}\) we study such properties of persuasion as: termination, soundness and completeness. Another critical issue is complexity of agents’ communication, typically interleaved with reasoning. In \(\mathrm{Talk}\mathtt{LOG}\) tractability of both aspects is obtained thanks to the implementation tool: rule-based 4-valued language 4QL.

Case-Study for TeamLog, a Theory of Teamwork

This article presents a case-study of a theoretical multi-agent system designed to clean up ecological disasters. It focuses on the interactions within a team of agents, outlines their goals, and establishes the necessary distribution of knowledge and commitment throughout the team. In addition, cooperation between teams is treated. These aspects of teamwork are presented in the TEAMLOG formalism. We will show how to make a bridge between theoretical foundations of a BDI system and an application. Complex team attitudes are justified to be necessary in the course of teamwork. At the same time we show how to tune TEAMLOG to the casestudy by establishing sufficient, but still minimal levels for the team attitudes.

How to restrict ambiguity of discourse

We single out a class of prototypes i.e., a class of constructions forcing the obligatory coreference or obligatory noncoreference. An essential feature of prototypes is their undistinctiveness. In this sense they are the most natural and efficient means of communication in discourse.The non-application of prototype should be well motivated. This leads to the rule of restricted choice stating that whenever it is possible the application of a prototype should be preferred.The rule of the restricted choice suggests the general outline of interpreting ambiguous sentences, strictly speaking, the method of ordering admissible interpretations: those which can be equivalently expressed by means of a prototype are less probable. In other words, the rule of the restricted choice can be regarded as some kind of mechanism ordering the hypotheses for computation.