A temporal modal defeasible logic for formalizing social commitments in dialogue and argumentation models |
| |
Authors: | Asma Moubaiddin Imad Salah Nadim Obeid |
| |
Affiliation: | 1.Department of Linguistics, Faculty of Foreign Languages,The University of Jordan,Amman,Jordan;2.Department of Computer Science, King Abdullah II School for Information Technology,The University of Jordan,Amman,Jordan;3.Department of Computer Information Systems, King Abdullah II School for Information Technology,The University of Jordan,Amman,Jordan |
| |
Abstract: | In this paper, we extend a temporal defeasible logic with a modal operator Committed to formalize commitments that agents undertake as a consequence of communicative actions (speech acts) during dialogues. We represent commitments as modal sentences. The defeasible dual of the modal operator Committed is a modal operator called Exempted. The logical setting makes the social-commitment based semantics of speech acts verifiable and practical; it is possible to detect if, and when, a commitment is violated and/or complied with. One of the main advantages of the proposed system is that it allows for capturing the nonmonotonic behavior of the commitments induced by the relevant speech acts. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|