An application of deontic logic to information system constraints

TY - JOUR

T1 - An application of deontic logic to information system constraints

AU - Carmo, J

AU - Demolombe, R

AU - Jones, A J I

PY - 2001/11

Y1 - 2001/11

N2 - In the field of information systems the term ‘constraint’ is applied to statements of various kinds. Here we start from the analysis of a simple example to characterise the different kinds of constraints. It is shown that constraints may be necessary truths or deontic constraints. Moreover, deontic constraints are classified into three different types: deontic constraints about the world, deontic constraints about the representation of the world, and deontic constraints about the links between the world and its representation. We describe a modal-logical framework to define the different types of constraints, to characterise their violations, and to show how to repair their violations. Two distinct general forms of deontic constraints are considered.

AB - In the field of information systems the term ‘constraint’ is applied to statements of various kinds. Here we start from the analysis of a simple example to characterise the different kinds of constraints. It is shown that constraints may be necessary truths or deontic constraints. Moreover, deontic constraints are classified into three different types: deontic constraints about the world, deontic constraints about the representation of the world, and deontic constraints about the links between the world and its representation. We describe a modal-logical framework to define the different types of constraints, to characterise their violations, and to show how to repair their violations. Two distinct general forms of deontic constraints are considered.

M3 - Article

VL - 48

SP - 165

EP - 181

JO - FUNDAMENTA INFORMATICAE

JF - FUNDAMENTA INFORMATICAE

IS - 2-3

ER -