Alina Strachocka - Academia.edu (original) (raw)

Uploads

Papers by Alina Strachocka

Research paper thumbnail of Paraconsistent argumentation schemes1

Research paper thumbnail of Paraconsistent Multi-party Persuasion in TalkLOG

Lecture Notes in Computer Science, 2015

Research paper thumbnail of Modeling Deliberation in Teamwork

Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper sh... more Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TEAMLOG, the first multi-modal framework wholly capturing a methodology for working together. Taking off from the dialogue theory of Walton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a fourstage schema of deliberation dialogue along with semantics of adequate speech acts, filling the gap in logical modeling of communication during planning.

Research paper thumbnail of Deliberation Dialogues during Multi-agent Planning

Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper sh... more Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TeamLog, the first multi-modal framework wholly capturing a methodology for working together. Starting from the dialogue theory of Walton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a schema of deliberation dialogue along with semantics of adequate speech acts, this way filling the gap in logical modeling of communication during planning.

Research paper thumbnail of Computationally-Friendly Argumentation Schemes

2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2014

Research paper thumbnail of Perceiving Speech Acts under Incomplete and Inconsistent Information

Research paper thumbnail of Paraconsistent semantics of speech acts

Neurocomputing, 2015

ABSTRACT This paper discusses an implementation of four speech acts: assert, concede, request and... more ABSTRACT 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 cognitive situations. They are analyzed in the context of communicative relations, which partially replace the concept of trust. These assumptions naturally lead to six types of situations, which often require performing conflict resolution and belief revision. The particular choice of a rule-based, DATALOC. like query language 4QL as a four-valued implementation framework ensures that, in contrast to the standard two-valued approaches, tractability of the model is achieved.

Research paper thumbnail of Deliberation Dialogues during Multi-agent Planning

Lecture Notes in Computer Science, 2011

Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper sh... more Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TeamLog, the first multi-modal framework wholly capturing a methodology for working together. Starting from the dialogue theory of Walton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a schema of deliberation dialogue along with semantics of adequate speech acts, this way filling the gap in logical modeling of communication during planning.

Research paper thumbnail of The Polish School of Argumentation: A Manifesto

Argumentation, 2014

Building on our diverse research traditions in the study of reasoning, language and communication... more Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is

Research paper thumbnail of Modeling Deliberation in Teamwork

Cooperation in multiagent systems essentially hinges on appropriate communication. This paper sho... more Cooperation in multiagent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TeamLog, the first multi-modal framework wholly capturing a methodology for working together. Taking off from the dialogue theory of Walton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a four-stage schema of deliberation dialogue along with semantics of adequate speech acts, filling the ...

Research paper thumbnail of Perceiving rules under incomplete and inconsistent information

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013

Research paper thumbnail of A Paraconsistent Approach to Speech Acts⋆

Abstract. This paper discusses an implementation of speech acts in a paraconsistent framework. We... more Abstract. This paper discusses an implementation of speech acts in a paraconsistent framework. We analyze four speech acts: assert, concede, request and challenge as building blocks of agents' interactions. A natural four-valued model of interaction yields multiple new cognitive situations. They are analyzed in the context of communicative relations, which partially replace the concept of trust. These assumptions naturally lead to six types of situations: perceiving inconsistent information, perceiving previously inconsistent ...

Research paper thumbnail of Paraconsistent argumentation schemes1

Research paper thumbnail of Paraconsistent Multi-party Persuasion in TalkLOG

Lecture Notes in Computer Science, 2015

Research paper thumbnail of Modeling Deliberation in Teamwork

Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper sh... more Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TEAMLOG, the first multi-modal framework wholly capturing a methodology for working together. Taking off from the dialogue theory of Walton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a fourstage schema of deliberation dialogue along with semantics of adequate speech acts, filling the gap in logical modeling of communication during planning.

Research paper thumbnail of Deliberation Dialogues during Multi-agent Planning

Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper sh... more Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TeamLog, the first multi-modal framework wholly capturing a methodology for working together. Starting from the dialogue theory of Walton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a schema of deliberation dialogue along with semantics of adequate speech acts, this way filling the gap in logical modeling of communication during planning.

Research paper thumbnail of Computationally-Friendly Argumentation Schemes

2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2014

Research paper thumbnail of Perceiving Speech Acts under Incomplete and Inconsistent Information

Research paper thumbnail of Paraconsistent semantics of speech acts

Neurocomputing, 2015

ABSTRACT This paper discusses an implementation of four speech acts: assert, concede, request and... more ABSTRACT 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 cognitive situations. They are analyzed in the context of communicative relations, which partially replace the concept of trust. These assumptions naturally lead to six types of situations, which often require performing conflict resolution and belief revision. The particular choice of a rule-based, DATALOC. like query language 4QL as a four-valued implementation framework ensures that, in contrast to the standard two-valued approaches, tractability of the model is achieved.

Research paper thumbnail of Deliberation Dialogues during Multi-agent Planning

Lecture Notes in Computer Science, 2011

Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper sh... more Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TeamLog, the first multi-modal framework wholly capturing a methodology for working together. Starting from the dialogue theory of Walton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a schema of deliberation dialogue along with semantics of adequate speech acts, this way filling the gap in logical modeling of communication during planning.

Research paper thumbnail of The Polish School of Argumentation: A Manifesto

Argumentation, 2014

Building on our diverse research traditions in the study of reasoning, language and communication... more Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is

Research paper thumbnail of Modeling Deliberation in Teamwork

Cooperation in multiagent systems essentially hinges on appropriate communication. This paper sho... more Cooperation in multiagent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TeamLog, the first multi-modal framework wholly capturing a methodology for working together. Taking off from the dialogue theory of Walton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a four-stage schema of deliberation dialogue along with semantics of adequate speech acts, filling the ...

Research paper thumbnail of Perceiving rules under incomplete and inconsistent information

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013

Research paper thumbnail of A Paraconsistent Approach to Speech Acts⋆

Abstract. This paper discusses an implementation of speech acts in a paraconsistent framework. We... more Abstract. This paper discusses an implementation of speech acts in a paraconsistent framework. We analyze four speech acts: assert, concede, request and challenge as building blocks of agents' interactions. A natural four-valued model of interaction yields multiple new cognitive situations. They are analyzed in the context of communicative relations, which partially replace the concept of trust. These assumptions naturally lead to six types of situations: perceiving inconsistent information, perceiving previously inconsistent ...