Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Deontic Logic in Computer Science
Article type: Research Article
Authors: Carmo, Jose | Demolombe, Robert | Jones, Andrew J.I.
Affiliations: Dipartimento de Mathematica, Universidade da Madeira, Campus Universitario da Penteada, 9000-390 Funchal, Madeira, Portugal | ONERA, Department of Information Processing and Modeling, Toulouse, France | Department of Computer Science, King's College London, The Strand, London WC2R 2LS, England
Abstract: 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 (self-completeness), and deontic constraints about the links between the world and its representation (validity and completeness). 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 different general forms of deontic constraints are considered, namely O(�→ψ) and �→O�, and it is shown that, except for deontic constraints about the world, the latter is more appropriate. Special issues related to the definition of quantifiers in the context of modal operators are also considered.
Keywords: Integrity, Information Systems, Modal Logic
Journal: Fundamenta Informaticae, vol. 48, no. 2-3, pp. 165-181, 2001
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl