This paper depicts theoretical results obtained in the line of projects related to constructing dialogue applications based on a formal cognitive model of a human-machine dialogue. One of the aims of the paper is to propose an appropriate model of question-answering dialogue, which can be used in designing relevant computer software. The theory proposes formal descriptions of declarative and procedural knowledge of dialogue’s agents and introduces the idea of a dialogue knowledge base, which is capable of storing the procedural and the declarative knowledge of dialogue’s agents. Emphasis on declarative-procedural typology of knowledge, allows us to consider a dialogue process as a goal-oriented behavior; and, hence, as a general method of solving some classes of problems.

[1] Anderson J. R., Rules of the Mind, Hillsdate, NJ, Lawrence Erlbaum Associates, 1993.

[2] Anderson J. R., Corbett A. T., Koedinger K. R., and Pelletier R., “Cognitive Tutors: Lessons Learned,” The Journal of the Learning Science, vol. 4, no. 2, pp. 167-207, 1995.

[3] Belnap D. N. and Steel T. B., The Logic of Questions and Answers, New Haven and London, Yale University Press, 1976. 134 The International Arab Journal of Information Technology, Vol. 1, No. 1, January 2004

[4] Chemyr A. I., “Dialogue Behavior as a problem solving method and its informal model,” Karpina D. and Evdokimova T. (Eds), Collection of Scientific Works of the Institute of Problems of Modeling in Energetic, National Ukrainian Academy of Science, Kiev, Ukraine, issue 4, pp. 140-145, 1998.

[5] Chemyr A. I., Horney M. A., and Anderson- Inman L., “SmartText: Using Agents Supporting Personalized Reading Comprehension,” Personal Technologies, vol. 2, no. 3, pp. 152-161, 1998.

[6] Chimir I. A., Bondar A., Abu-Dawwas A. W., and Chemyr A. I., “Computer Tutor of the Ukrainian Language: Theoretical Basis and Practical Experience,” Scientific Knowledge: Methodology and Technology, South Ukrainian State Pedagogical University, Ukrainia, no. 1-2, 1998.

[7] Chimir I. A., Popov P. S., and Kharkovskaya M. S., “Dialogue Processor for the Generation of Teaching Courses,” in Proceedings of The International Conference (INFO’89), Minsk, USSR, vol. 1, part 2, pp. 957-962, 1989.

[8] Cohen N. J. and Squire L. R. “Preserved Learning and Retention of Pattern-Analyzing Skills in Amnesia Using Perceptual Learning,” Cortex, vol. 17, pp. 273-278.

[9] Haberlandt K., Cognitive Psychology, Allyn & Bacon, Needham Heights, MA, 1997.

[10] Minsky M., “A Framework for Representing Knowledge,” in Winston P. H. (Ed), The Psychology of Computer Vision, New York, McGraw-Hill, 1975.

[11] Neisser U., Cognition and Reality Principles and Implications of Cognitive Psychology, W. H. Freeman and Company, San Francisco, 1976.

[12] Newell A., Unified Theories of Cognition, Harvard University Press, 1994.

[13] Newell A. and Simon H. A., “GPS, a Program that Simulates Human Thought,” in Feigenbaum E. A. & Feldman J. (Eds), Computers and Thought. New York, McGraw-Hill, 1963.

[14] Newell A., Shaw J. C., and Simon H. A., “Elements of a Theory of Human Problem Solving,” Psychological Review, vol. 65, pp.151- 166, 1958.

[15] Page-Jones M., Fundamentals of Object-Oriented Design in UML, Addison-Wesley, 2000.

[16] Richmond W. K., Teachers and Machines: An Introduction to the Theory and Practice of Programmed Learning, Collins, London & Glasgow, 1965.

[17] Russell S. and Norvig P., Artificial Intelligence: A Modern Approach, Prentice Hall, New Jersey, 1995.

[18] Ryle G., The Concept of Mind, London, Hutchinson, 1949.

[19] Verlan A. and Chimir I. A., “Systems with Embedded Intelligence Based on the Architecture of a Dialogue Machine,” Electronic Modeling, Kiev, Ukraine, vol. 23, no. 1, pp. 75-83, 2001.

[20] Wenger E., Artificial Intelligence and Tutoring Systems: Computational and Cognitive Approaches to the Communication of Knowledge, Morgan Kaufmann Publishers, California, 1987. Igor Chimir is a professor of computer science at the Cherkassy Academy of Management, Ukraine. He has been involved in cognitive science research for more than 15 years and has particular interests in the subject-independent theory of computer and human dialogue, intelligent tutoring systems, and in object-oriented modeling of cognitive processes. Dr. Chimir has published more than 90 technical papers and is the author of several textbooks. His current activities focus on investigating the applicability of modern software engineering approaches to the area of cognitive psychology. Waheeb Abu-Dawwas is an assistant professor at the Department of Computer Information Systems, Al-Zaytoonah University, Jordan. He obtained his PhD from the Ukrainian National Academy of Science, Ukraine, in 1999. His research interests include dialogue process modeling, and the development of personalized computer educational systems. Dr. Abu-Dawwas has published many original contributions in the field of dialogue-oriented tutoring systems, personalized tutoring systems, and in cognitive systems.