Extending a Defeasible reasoner with Modal and deontic logic operators

Efstratios Kontopoulos; Nick Bassiliades; Guido Governatori; Grigoris Antoniou

doi:10.1109/WIIAT.2008.164

Extending a Defeasible reasoner with Modal and deontic logic operators

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou

Artificial Intelligence and Cyber Futures Institute

Research output: Book chapter/Published conference paper › Conference paper › peer-review

6 Citations (Scopus)

Abstract

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; thus, it is possible to combine defeasible 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.

Original language	English
Title of host publication	Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008
Place of Publication	United States
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	626-629
Number of pages	4
ISBN (Print)	9780769534961
DOIs	https://doi.org/10.1109/WIIAT.2008.164
Publication status	Published - 2008
Event	2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008 - Sydney, NSW, Australia Duration: 09 Dec 2008 → 12 Dec 2008

Publication series

Name	Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008

Conference

Conference	2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008
Country/Territory	Australia
City	Sydney, NSW
Period	09/12/08 → 12/12/08

Access to Document

10.1109/WIIAT.2008.164

Cite this

Kontopoulos, E., Bassiliades, N., Governatori, G., & Antoniou, G. (2008). Extending a Defeasible reasoner with Modal and deontic logic operators. In Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008 (pp. 626-629). Article 4740857 (Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008). IEEE, Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/WIIAT.2008.164

Kontopoulos, Efstratios ; Bassiliades, Nick ; Governatori, Guido et al. / Extending a Defeasible reasoner with Modal and deontic logic operators. Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. United States : IEEE, Institute of Electrical and Electronics Engineers, 2008. pp. 626-629 (Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008).

@inproceedings{3e71eccd79e34c44bc64c907a264e15d,

title = "Extending a Defeasible reasoner with Modal and deontic logic operators",

abstract = "Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; thus, it is possible to combine defeasible 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.",

author = "Efstratios Kontopoulos and Nick Bassiliades and Guido Governatori and Grigoris Antoniou",

year = "2008",

doi = "10.1109/WIIAT.2008.164",

language = "English",

isbn = "9780769534961",

series = "Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

pages = "626--629",

booktitle = "Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008",

address = "United States",

note = "2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008 ; Conference date: 09-12-2008 Through 12-12-2008",

}

Kontopoulos, E, Bassiliades, N, Governatori, G & Antoniou, G 2008, Extending a Defeasible reasoner with Modal and deontic logic operators. in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008., 4740857, Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008, IEEE, Institute of Electrical and Electronics Engineers, United States, pp. 626-629, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008, Sydney, NSW, Australia, 09/12/08. https://doi.org/10.1109/WIIAT.2008.164

Extending a Defeasible reasoner with Modal and deontic logic operators. / Kontopoulos, Efstratios; Bassiliades, Nick; Governatori, Guido et al.
Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. United States: IEEE, Institute of Electrical and Electronics Engineers, 2008. p. 626-629 4740857 (Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008).

Research output: Book chapter/Published conference paper › Conference paper › peer-review

TY - GEN

T1 - Extending a Defeasible reasoner with Modal and deontic logic operators

AU - Kontopoulos, Efstratios

AU - Bassiliades, Nick

AU - Governatori, Guido

AU - Antoniou, Grigoris

PY - 2008

Y1 - 2008

N2 - Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; thus, it is possible to combine defeasible 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.

AB - Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; thus, it is possible to combine defeasible 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.

UR - http://www.scopus.com/inward/record.url?scp=62949112545&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=62949112545&partnerID=8YFLogxK

U2 - 10.1109/WIIAT.2008.164

DO - 10.1109/WIIAT.2008.164

M3 - Conference paper

AN - SCOPUS:62949112545

SN - 9780769534961

T3 - Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008

SP - 626

EP - 629

BT - Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - United States

T2 - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008

Y2 - 9 December 2008 through 12 December 2008

ER -

Kontopoulos E, Bassiliades N, Governatori G, Antoniou G. Extending a Defeasible reasoner with Modal and deontic logic operators. In Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. United States: IEEE, Institute of Electrical and Electronics Engineers. 2008. p. 626-629. 4740857. (Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008). doi: 10.1109/WIIAT.2008.164

Extending a Defeasible reasoner with Modal and deontic logic operators

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this