Asma Moubaiddin, Nadim Obeid


We aim, in this paper, to make a a first step towards developing a model of knowledge acquisition/learning via cooperative dialogue. A key idea in the model is the concept of integrating exchanged information, via dialogue, within an agent's theory. The process is nonmonotonic. Dialogue is a structured process and the structure is relative to what an agent knows about the world or a domain of discourse. We employ a nonmonotonic logic system, NML3, which formalizes some aspects of revisable reasoning, to capture an agent's knowledge and reasoning. We will present a formalization of some basic dialogue moves and the protocols of various types of dialogue. We will show how arguments, proofs, some dialogue moves and reasoning may be carried out within NML3.


  1. Allen J., Byron D., Dzilovska M., 2001, Towards Conversational Human-Computer Interaction, AI Magazine, 22(4), 27-37.
  2. Blaylock N., Allen J., and G. Ferguson G., 2002, Synchronization in an Asynchronous Agent-Based Architecture for Dialogue Systems, In Proc. of 3rd SIGdial Workshop on Discourse and Dialog, 1-10.
  3. Chan, C.W., 1996, Knowledge Modeling for Constructing an Expert System to support reforestation decisions, Knowledge Based Systems, 9, 41-59.
  4. Chu-Carroll j., 2000, MIMIC: An Adaptive Mixed Initiative Spoken Dialogue System for Information Queries, In Proc. 6th ACL Conf. on Applied Natural Language Processing, 97-104.
  5. Dung, P.M., 1995, On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games, Artificial Intelligence, 77, 321-357.
  6. Finin, T., Fritzson R. Mackey D., McEntire R., 1994, KQML as an agent Communication Language, In: Proc. of 13th International Conf. on Information and Knowledge Management, ACM Press, New York.
  7. Frans H. van Emeren F. H. and Rob Grootendorst R., 1992, Argumentation, Communication and Fallacies, Hillsdale, N. J. Erlbaum.
  8. Grice, H P, 1975, Logic and Conversation, The Logic of Grammar, ed. Donald Davidson and Gilbert Harman, Encino, California, Dickenson, 64-75.
  9. Haddadi, A., 1996, Communication and Cooperation in Agent Systems, Lecture Notes in Computer Science Series No. 1056, Springer-Verlag.
  10. Jeng, B., 1996, Interactive Induction of Expert Knowledge, Expert Systems with Applications 10, 393-401.
  11. Larsson S., Traum D., 2000, Information State and Dialogue Management in the TRINDI Dialogue Move Engine Toolkit. Natural Language Engineering, 6, 323-340.
  12. Maudet, N. and Evrard F., 1998, A generic framework for dialogue game implementation. In: Proceedings of the Second Workshop on Formal Semantics and Pragmatics of Dialog, Universite Twente, The Netherlands.
  13. McGlashan S., 1996, Towards Multimodal Dialogue Management. In Proc. of 11th Twente Workshop on Lanugage Technology, 13-22.
  14. Obeid N., 1996, Three Valued Logic and Non-monotonic Reasoning, Computers and Artificial Intelligence, Vol. 15, No. 6, 509-530.
  15. Obeid N., 2000, Towards a Model of Learning Through Communication, International Journal of Knowledge and Information Systems. Vol 2, 498-508, SpringerVerlag, USA.
  16. Obeid N., 2005, A Model-Theoretic Semantics for Default Logic, WSEAS Transactions on Computers, Vol. 4, No. 6, 581-590.
  17. Reed, C.A., Long, D.P., Fox, M. and Garagnani, M., 1997, Persuasion as a Form of Inter-Agent Negotiation, In: Lukose, D., Zhang, C., (eds), Proc. of 2nd Australian Workshop on DAI, Springer Verlag, Berlin
  18. Reiter R., 1980, A Logic for Default Reasoning, Artificial Intelligence 13, 81-132.
  19. Schreiber A., Wielinga B. J., Akkermans J., Van De Velde W. and R. de Hoog R., (1994: CommonKADS - A Comprehensive Methodology for KBS Development, IEEE Expert 9(6), 28-37.
  20. Smith, P. (1996) An Introduction to Knowledge Engineering, International Thompson Computer Press.
  21. Toulmin, S. 1958, The uses of argument, Cambridge University Press, England.
  22. Paek T., Horvitz E., 2000, Conversation as Action Under Uncertainty, In Proc. of 16th Conf. on Uncertainty in Artificial Intelligence, 455-464.
  23. Pellom B., Ward W., Hansen J., Hacioglu K., Zhang J., Yu X., Pradhan S., 2001, University of Colorado Dialog Systems for Travel and Navigation, In Proc. of 2001 Human Language Technology Conference.
  24. Traum D., Rickel J., Gratch J., Marsella S., 2003, Negotiation Over Tasks in Hybrid Human-Agent Teams for Simulation-Based Training, In Proc. of 2nd International Joint Conference on Autonomous Agents and Multiagent Systems, 441-448.
  25. Walton, D. N., 1992, Types of dialogue, dialectical shifts and fallacies. In: Emeren, F. H. v., Grootendorst, R., Blair, J. A., and Willard, C. A., editors, Argumentation illuminated, 133-147, Amsterdam.
  26. Walton, D. and Krabbe, E., 1995, Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, USA.
  27. Xu W., Rudnicky A., 2000, Task-Based Dialog Management Using an Agenda, In Proc. of ANLP/NAACL Workshop on Conversational Systems, 42-47.

Paper Citation

in Harvard Style

Moubaiddin A. and Obeid N. (2007). TOWARDS A FORMAL MODEL OF KNOWLEDGE ACQUISITION VIA COOEPERATIVE DIALOGUE . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 5: ICEIS, ISBN 978-972-8865-92-4, pages 182-189. DOI: 10.5220/0002350801820189

in Bibtex Style

author={Asma Moubaiddin and Nadim Obeid},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 5: ICEIS,},

in EndNote Style

JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 5: ICEIS,
SN - 978-972-8865-92-4
AU - Moubaiddin A.
AU - Obeid N.
PY - 2007
SP - 182
EP - 189
DO - 10.5220/0002350801820189