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 ...

[1]  Barbara Dunin-Keplicz,et al.  Deliberation Dialogues during Multi-agent Planning , 2011, ISMIS.

[2]  Barbara Dunin-Keplicz,et al.  Complexity Issues in Multiagent Logics , 2007, Fundam. Informaticae.

[3]  Peter McBurney,et al.  Argumentation-Based Dialogues for Agent Co-Ordination , 2003 .

[4]  John-Jules Ch. Meyer,et al.  Dialogue Games for Inconsistent and Biased Information , 2004, LCMAS.

[5]  Dov M. Gabbay,et al.  Handbook of paraconsistency , 2007 .

[6]  Davide Ancona,et al.  Languages for Programming BDI-style Agents: an Overview , 2005, WOA.

[7]  Andrzej Szalas,et al.  Perceiving Speech Acts under Incomplete and Inconsistent Information , 2013, KES-AMSTA.

[8]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[9]  Michael Gelfond,et al.  Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach , 2014 .

[10]  Andrzej Szalas,et al.  Epistemic Profiles and Belief Structures , 2012, KES-AMSTA.

[11]  V. S. Subrahmanian,et al.  Paraconsistent Logic Programming , 1987, Theor. Comput. Sci..

[12]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[13]  Andrzej Szalas,et al.  Tractable Reasoning about Group Beliefs , 2014, EMAS@AAMAS.

[14]  Andrzej Szalas,et al.  How an agent might think , 2013, Log. J. IGPL.

[15]  Magdalena Kacprzak,et al.  Perseus. Software for Analyzing Persuasion Process , 2009, Fundam. Informaticae.

[16]  Andrzej Szalas,et al.  Taming Complex Beliefs , 2013, Trans. Comput. Collect. Intell..

[17]  Cristiano Castelfranchi,et al.  The Social Nature of Information and the Role of Trust , 2002, Int. J. Cooperative Inf. Syst..

[18]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[19]  Rob Malouf,et al.  Maximal Consistent Subsets , 2007, Computational Linguistics.

[20]  Andrzej Szalas,et al.  Partiality and Inconsistency in Agents' Belief Bases , 2013, KES-AMSTA.

[21]  Andrzej Szalas,et al.  Modeling and Reasoning with Paraconsistent Rough Sets , 2009, Fundam. Informaticae.

[22]  Trevor J. M. Bench-Capon,et al.  Computational Representation of Practical Argument , 2006, Synthese.

[23]  Henry Prakken,et al.  Formal systems for persuasion dialogue , 2006, The Knowledge Engineering Review.

[24]  Hajime Sawamura,et al.  A logic of multiple-valued argumentation , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[25]  as,et al.  Living with inconsistency and taming nonmonotonicity , 2010 .

[26]  Barbara Dunin-Keplicz,et al.  Teamwork in Multi-Agent Systems - A Formal Approach , 2010, Wiley series in agent technology.

[27]  Hajime Sawamura,et al.  AASLMA: An Automated Argument System Based on Logic of Multiple-Valued Argumentation , 2005, KES.

[28]  Didier Dubois,et al.  On Ignorance and Contradiction Considered as Truth-Values , 2007, Log. J. IGPL.

[29]  Barbara Dunin-Keplicz,et al.  Creating Collective Intention through Dialogue , 2001, Log. J. IGPL.

[30]  Chris Reed,et al.  Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication , 2004, Autonomous Agents and Multi-Agent Systems.

[31]  Lakhmi C. Jain,et al.  Advanced Methods and Technologies for Agent and Multi-Agent Systems , 2013 .