| Title: |
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators |
| Author(s): |
E. Kontopoulos, N. Bassiliades, G. Governatori, G. Antoniou.
|
| Availability: |
Click here to download the PDF (Acrobat Reader) file (4 pages).
|
| Keywords: |
defeasible reasoning, modal logic, deontic logic, reasoning engine, modal DL.
|
| Appeared in: |
Proceedings of Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008) at IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, IEEE Computer Society Press, pp. 626-629, Sydney, Australia, 2008.
|
| Abstract: |
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhib-iting defeasibility; thus, it is possible to combine defea-sible logic with modal operators. This paper reports on the extension of the DR-DEVICE defeasible reasoner with modal and deontic logic operators. The aim is a practical defeasible reasoner that will take advantage of the expressiveness of modal logics and the flexibility to define diverse agent types and behaviors. |
| See also : |
|
This paper has been cited by the following:
| 1 |
A. Rotolo, G. Sartor and C. Smith, "Good Faith in Contract Negotiation and Performance", International Journal of Business Process Integration and Management on Contract Architectures and Languages, 4(3), pp. 154 - 173, 2009. |
|
