Authors:
Asma Moubaiddin
1
and
Nadim Obeid
2
Affiliations:
1
Faculty of Arts, The university of Jordan, Jordan
;
2
King Abdullah II School for Information Technology, The university of Jordan, Jordan
Keyword(s):
Dialogue, Argumentation, Nonmonotonic Logic, Knowledge Acquisition/Learning, Formalization.
Related
Ontology
Subjects/Areas/Topics:
Applications
;
Artificial Intelligence
;
e-Business
;
Education/Learning
;
e-Learning
;
Enterprise Information Systems
;
Human-Computer Interaction
;
Intelligent User Interfaces
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
Abstract:
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.