COOPERATIVE REPLIES TO UNBELIEVABLE ASSERTIONS - A Dialogue Protocol based on Logical Interpolation

M. Nykänen, R. Hakli, O. Niinivaara, R. Hakli

2011

Abstract

We propose a dialogue protocol for situations in which an agent makes to another agent an assertion that the other agent finds impossible to believe. In this interaction, unbelievable assertions are rejected using explanations formed by logical interpolation and new assertions are being made such that all previous rebuttals are taken into account.

References

  1. Alchourrón, C. E., Gärdenfors, P., and Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2):510-530.
  2. Booth, R. (2006). Social contraction and belief negotiation. Information Fusion, 7:19-34.
  3. Darwiche, A. and Pearl, J. (1997). On the logic of iterated belief revision. Artificial Intelligence, 89(1-2):1-29.
  4. Eloranta, S., Hakli, R., Niinivaara, O., and Nykänen, M. (2008). Accommodative belief revision. In Hölldobler, S., Cutz, C., and Wansing, H., editors, 11th European Conference on Logics in Artificial Intelligence (JELIA 2008), number 5293 in Lecture Notes in Artificial Intelligence (LNAI), pages 180- 191. Springer.
  5. Gaasterland, T., Godfrey, P., and Minker, J. (1992). An overview of cooperative answering. Journal of Intelligent Information Systems, 1:123-157.
  6. Grice, P. (1989). Studies in the Way of Words. Harvard University Press.
  7. Hansson, S. O. (1991). Belief contraction without recovery. Studia Logica, 50:251-260.
  8. Hansson, S. O. (1999). A survey of non-prioritized belief revision. Erkenntnis, 50(2-3):413-427.
  9. Hintikka, J. (1962). Knowledge and Belief. Cornell University Press.
  10. Hintikka, J. and Halonen, I. (1999). Interpolation as explanation. Philosophy of Science, 66 (Proceedings):S414-S423.
  11. Jin, Y., Thielscher, M., and Zhang, D. (2007). Mutual belief revision: semantics and computation. In Proceedings of the 22nd national conference on Artificial Intelligence (AAAI'07), pages 440-445. AAAI Press.
  12. Kourosias, G. and Makinson, D. (2007). Parallel interpolation, splitting, and relevance in belief change. The Journal of Symbolic Logic, 72(3):994-1002.
  13. Makinson, D. (2009). Propositional relevance through letter-sharing. Journal of Applied Logic, pages 377- 387.
  14. Negri, S. and von Plato, J. (2001). Structural Proof Theory. Cambridge University Press.
  15. Nykänen, M., Eloranta, S., Niinivaara, O., and Hakli, R. (2011). Cooperative replies to unbelievable assertions: A dialogue protocol based on logical interpolation. Technical Report C-2011-1, Department Of Computer Science, University of Helsinki, Finland. Available at http://www.cs.helsinki.fi/group/protean/crua/.
  16. Parikh, R. (1999). Beliefs, belief revision, and splitting languages. In Moss, L., Ginzburg, J., and de Rijke, M., editors, Logic, Language, and Computation, volume 2, pages 266-278. CSLI Publications.
  17. Parsons, S., Wooldridge, M., and Amgoud, L. (2003). Properties and complexity of some formal inter-agent dialogues. Journal of Logic and Computation, 13:347- 376.
  18. Reiter, R. (1988). On integrity constraints. In 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, pages 97-111. Morgan Kaufmann.
  19. Sperber, D. and Wilson, D. (2004). Relevance theory. In The Handbook of Pragmatics, pages 607-632. Blackwell, Oxford.
  20. van Veenen, J. and Prakken, H. (2006). A protocol for arguing about rejections in negotiation. In Parsons, S., Maudet, N., Moraitis, P., and Rahwan, I., editors, Second International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2005), number 4049 in Lecture Notes in Artificial Intelligence (LNAI), pages 138-153. Springer.
  21. Walton, D. N. and Krabbe, E. C. W. (1995). Commitment in Dialogue: Basic Commitments in Interpersonal Dialogue. SUNY series in logic and language. State University of New York Press.
Download


Paper Citation


in Harvard Style

Nykänen M., Eloranta S., Niinivaara O. and Hakli R. (2011). COOPERATIVE REPLIES TO UNBELIEVABLE ASSERTIONS - A Dialogue Protocol based on Logical Interpolation . In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8425-41-6, pages 245-250. DOI: 10.5220/0003181702450250


in Bibtex Style

@conference{icaart11,
author={M. Nykänen and S. Eloranta and O. Niinivaara and R. Hakli},
title={COOPERATIVE REPLIES TO UNBELIEVABLE ASSERTIONS - A Dialogue Protocol based on Logical Interpolation},
booktitle={Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2011},
pages={245-250},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003181702450250},
isbn={978-989-8425-41-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - COOPERATIVE REPLIES TO UNBELIEVABLE ASSERTIONS - A Dialogue Protocol based on Logical Interpolation
SN - 978-989-8425-41-6
AU - Nykänen M.
AU - Eloranta S.
AU - Niinivaara O.
AU - Hakli R.
PY - 2011
SP - 245
EP - 250
DO - 10.5220/0003181702450250