A System for Modal and Deontic Defeasible Reasoning

Antoniou, Grigoris; Dimaresis, Nikos; Governatori, Guido

doi:10.1007/978-3-540-76928-6_62

Cited by 7 publications

(2 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The system presented in [8] has a similar functionality to ours, having the capability of dealing with rule conflicts, rule conversions and describing various agent types. The main difference lies in the higher degree of centralization and modularization offered by our system: the agent type can be declared centrally in each rule base, while modal interactions are dealt with parametrically.…”

Section: Related Workmentioning

confidence: 99%

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

Kontopoulos

Bassiliades

Governatori

et al. 2008

2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Related Workmentioning

confidence: 99%

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

Kontopoulos

Bassiliades

Governatori

et al. 2008

2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology

Self Cite

View full text Add to dashboard Cite

show abstract

“…Different approaches of deontic logic, alternative to SDL, have been studied in the past 6 decades including imperative logic [6,7], dynamic deontic logic [2,8], deontic STIT logic [9,10], input/output logic [11], deontic default logic [12,13] and deontic defeasible logic [14,15]. Those results are summarized in the handbook of deontic logic [16,17].…”

Section: Introductionmentioning

confidence: 99%

Norm-based deontic logic for access control, some computational results

Sun

Zhao²,

Robaldo

2018

Future Generation Computer Systems

View full text Add to dashboard Cite

a b s t r a c tIn this paper we study the complexity of deontic logics grounded on norm-based semantics and apply norm-based deontic logic to access control. Four principal norm-based deontic logics have been proposed so far: imperative logic, input/output logic, deontic default logic and deontic defeasible logic. We present the readers that imperative logic is complete for the 2ed level of the polynomial hierarchy and deontic default logic is located in the 3ed level of the polynomial hierarchy. We then show how it is possible to impose restrictions to imperative logic such that the complexity goes down to be tractable, allowing the logic to be used in practical applications. We focus on a specific application: access control.

show abstract