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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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
Subtitle of host publication	WI-IAT Workshops 2008
Editors	Yuefeng Li, Gabriella Pasi, Chengqi Zhang, Nick Cercone, Longbing Cao
Publisher	IEEE
Pages	626-629
Number of pages	4
ISBN (Print)	9780769534961
DOIs	https://doi.org/10.1109/WIIAT.2008.164
Publication status	Published - 9 Dec 2008
Externally published	Yes
Event	2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008 - Sydney, Australia Duration: 9 Dec 2008 → 12 Dec 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
Period	9/12/08 → 12/12/08

Access to Document

10.1109/WIIAT.2008.164Licence: Unspecified

Cite this

Kontopoulos, E., Bassiliades, N., Governatori, G., & Antoniou, G. (2008). Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. In Y. Li, G. Pasi, C. Zhang, N. Cercone, & L. Cao (Eds.), Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops: WI-IAT Workshops 2008 (pp. 626-629). [4740857] IEEE. 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. editor / Yuefeng Li ; Gabriella Pasi ; Chengqi Zhang ; Nick Cercone ; Longbing Cao. IEEE, 2008. pp. 626-629

@inproceedings{34f7f809d96c48ec911d475cd3107494,

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.",

keywords = "Logic, Permission, Intelligent agent, Privacy, Informatics, Australia, Computer science, Semantic web, Computational complexity, Displays, defeasible reasoning, modal logic, deontic logic, reasoning engine, modal DL",

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

year = "2008",

month = dec,

day = "9",

doi = "10.1109/WIIAT.2008.164",

language = "English",

isbn = "9780769534961",

pages = "626--629",

editor = "Yuefeng Li and Gabriella Pasi and Chengqi Zhang and Nick Cercone and Longbing Cao",

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

publisher = "IEEE",

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 Y Li, G Pasi, C Zhang, N Cercone & L Cao (eds), Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops: WI-IAT Workshops 2008., 4740857, IEEE, pp. 626-629, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008, Sydney, New South Wales, Australia, 9/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. ed. / Yuefeng Li; Gabriella Pasi; Chengqi Zhang; Nick Cercone; Longbing Cao. IEEE, 2008. p. 626-629 4740857.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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/12/9

Y1 - 2008/12/9

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.

KW - Logic

KW - Permission

KW - Intelligent agent

KW - Privacy

KW - Informatics

KW - Australia

KW - Computer science

KW - Semantic web

KW - Computational complexity

KW - Displays

KW - defeasible reasoning

KW - modal logic

KW - deontic logic

KW - reasoning engine

KW - modal DL

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

U2 - 10.1109/WIIAT.2008.164

DO - 10.1109/WIIAT.2008.164

M3 - Conference contribution

AN - SCOPUS:62949112545

SN - 9780769534961

SP - 626

EP - 629

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

A2 - Li, Yuefeng

A2 - Pasi, Gabriella

A2 - Zhang, Chengqi

A2 - Cercone, Nick

A2 - Cao, Longbing

PB - IEEE

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 Li Y, Pasi G, Zhang C, Cercone N, Cao L, editors, Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops: WI-IAT Workshops 2008. IEEE. 2008. p. 626-629. 4740857 doi: 10.1109/WIIAT.2008.164

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

Abstract

Conference

Access to Document

Other files and links

Cite this