Deontic logic in computer science: normative system specification
Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have...
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Chichester u.a.
Wiley
1993
|
| Series: | Wiley professional computing
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Summary: | Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems |
| Physical Description: | XIV, 317 S. graph. Darst. |
| ISBN: | 0471937436 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008931940 | ||
| 003 | DE-604 | ||
| 005 | 20140722 | ||
| 007 | t | ||
| 008 | 940224s1993 d||| |||| 10||| eng d | ||
| 020 | |a 0471937436 |9 0-471-93743-6 | ||
| 035 | |a (OCoLC)28255758 | ||
| 035 | |a (DE-599)BVBBV008931940 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-29T |a DE-188 |a DE-703 | ||
| 050 | 0 | |a QA75.5 | |
| 082 | 0 | |a 004/.01/5113 |2 20 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SD 1991 |0 (DE-625)142725: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Deontic logic in computer science |b normative system specification |c ed. by John-Jules Ch. Meyer ... |
| 264 | 1 | |a Chichester u.a. |b Wiley |c 1993 | |
| 300 | |a XIV, 317 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Wiley professional computing | |
| 520 | 3 | |a Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems | |
| 520 | |a A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software | ||
| 520 | |a This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems | ||
| 650 | 7 | |a Deontische logica |2 gtt | |
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 7 | |a Logique déontique - Congrès |2 ram | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Deontic logic |v Congresses | |
| 650 | 0 | 7 | |a Deontische Logik |0 (DE-588)4133538-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Deontische Logik |0 (DE-588)4133538-7 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Meyer, John-Jules Ch. |d 1954- |e Sonstige |0 (DE-588)121645584 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005890343&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005890343 | ||
Record in the Search Index
| _version_ | 1804123260970860544 |
|---|---|
| adam_text | Contents
Preface xj
Authors Addresses
xiii
PART I
:
TUTORIAL INTRODUCTION
1
1.
Deontic Logic: A Concise Overview
3
J.-J. Ch. Meyer and R.J. Wieringa
1.1
Introduction
3
1.2
Mally s system
(1926) 4
1.3
The System OS
(Von
Wright,
1951)
L· the Standard System KD
4
1.4
System NS
(Von
Wright,
1964):
the dyadic approach
7
1.5
Anderson s reduction to alethic modal logic
(1958) 8
1.6
Temporal logic approaches
(1981) 9
1.7
A reduction to dynamic logic
(1988) 10
1.8
Defeasible reasoning approaches
(1981, 1991) 13
1.9
Conclusion
14
References
14
2.
Applications of Deontic Logic in Computer Science:
A Concise Overview
17
R.J. Wieringa and J.-J. Ch. Meyer
2.1
Introduction
17
2.2
A chronological survey of applications
18
2.3
A systematic view of applications in computer science
28
2.4
Discussion: directing human behaviour by computer
31
2.5
Conclusions
36
References
37
PART II
:
DEONTIC LOGIC
41
3.
Philosophical Foundations of Deontic Logic and the
Logic of Defeasible Conditionals
43
CE. Alchourrón
3.1
Introduction
43
3.2
A logic for normative propositions
44
viii Contents
3.3
A logic for norms
3.4
Conditionality
Acknowledgements
References
Actions in Deontic Logic
R.
Hilpinen
4.1
Introduction
4.2
Some recent developments
4.3
Propositions and practitions
4.4
On the problem of
epistemic
obligation
4.5
On the relativity of ought-statements
4.6
Conclusion
References
54
58
83
84
4.
Actions in Deontic Logic
85
85
86
88
89
94
97
98
PART III
:
NORMATIVE SYSTEM SPECIFICATION
101
5.
Expression of Confidentiality Policies with Deontic Logic
103
P. Bieber and
F. Cuppens
5.1
Introduction
103
5.2
A model of computation
105
5.3
Definitions of confidentiality
106
5.4
Security policies
109
5.5
A security logic
112
5.6
Expression of security policies
115
5.7
Security policy consistency
118
5.8
Conclusion
121
Acknowledgements
122
References
122
6.
Use of Deontic Logic in the Requirements
Engineering of Composite Systems
125
E.
Dubois
6.1
Introduction
125
6.2
Modeling dynamic systems
127
6.3
Modeling multi-agent systems
131
6.4
Elaboration of requirements for composite systems
135
6.5
Conclusion
138
References
138
7.
Temporal Reasoning over Deontic Specifications
141
T. Maibaum
7.1
Introduction
141
7.2
Behavior prescription
146
7.3
Safety, liveness and model based normativity
172
7.4
From deontic to temporal structures
188
7.5
Concluding remarks
198
References
200
Contents ix
PART IV
:
ARTIFICIAL INTELLIGENCE AND LAW
203
8.
A-Hohfeld: A Language for Robust Structural
Representation of Knowledge in the Legal Domain to
Build Interpretation-Assistance Expert Systems
205
I.E. Allen and C.S. Saxon
8.1
Introduction
205
8.2
The defined A-Hohfeld language
206
8.3
Interpretation of the
1982
library regulations of Imperial College
210
8.4
MINT
—
a system for generating multiple-interpretation legal expert
systems
213
8.5
Conclusion
215
References
216
Appendix
217
9.
Defeasible Deontic Reasoning: A Logic Programming
Model
225
Y.U. Ryu and R.M. Lee
9.1
Introduction
225
9.2
Standard deontic logic and paradoxes
228
9.3
Counterfactual and defeasible reasoning
230
9.4
Defeasible deontic reasoning
234
9.5
Conclusion
240
References
240
10.
A Deontic Logic Representation of Contractual
Obligations
243
F. Santos and J.
Carmo
10.1
Introduction
243
10.2
Elements of the obligation theory
245
10.3
A deontic logic for instantaneous consideration obligations
246
10.4
The omission of an action and the cumulative considerations
254
10.5
Concluding remarks
256
Acknowledgements
257
References
257
11.
Deontic Aspects of Communication
259
H. Weigand
11.1
Introduction
259
11.2
Modeling communication
261
11.3
Deontic logic derived from illocutionary logic
268
11.4
Organizing deontic constraints
270
References
^73
12.
On the Characterization of Law and Computer
Systems: The Normative Systems Perspective
275
A.J.I. Jones and M. Sergot
12.1
Introduction 275
Contents
12.2
The example
277
12.3
The library regulations as system specification
278
12.4
The library regulations as norms directed at users
282
12.5
Introduction
288
12.6
The method
289
12.7
Further refinements
297
12.8
Applications and software tools
301
12.9
Further remarks on regimentation
303
Acknowledgements
305
References
305
Index
309
|
| any_adam_object | 1 |
| author_GND | (DE-588)121645584 |
| building | Verbundindex |
| bvnumber | BV008931940 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5 |
| callnumber-search | QA75.5 |
| callnumber-sort | QA 275.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SD 1991 |
| classification_tum | MAT 030f DAT 540f |
| ctrlnum | (OCoLC)28255758 (DE-599)BVBBV008931940 |
| dewey-full | 004/.01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/5113 |
| dewey-search | 004/.01/5113 |
| dewey-sort | 14 11 45113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02917nam a2200541 c 4500</leader><controlfield tag="001">BV008931940</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140722 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940224s1993 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471937436</subfield><subfield code="9">0-471-93743-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28255758</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008931940</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/5113</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1991</subfield><subfield code="0">(DE-625)142725:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deontic logic in computer science</subfield><subfield code="b">normative system specification</subfield><subfield code="c">ed. by John-Jules Ch. Meyer ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester u.a.</subfield><subfield code="b">Wiley</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 317 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Wiley professional computing</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Deontische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique déontique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deontic logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deontische Logik</subfield><subfield code="0">(DE-588)4133538-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deontische Logik</subfield><subfield code="0">(DE-588)4133538-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meyer, John-Jules Ch.</subfield><subfield code="d">1954-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121645584</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005890343&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005890343</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift |
| id | DE-604.BV008931940 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:26:57Z |
| institution | BVB |
| isbn | 0471937436 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005890343 |
| oclc_num | 28255758 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-29T DE-188 DE-703 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-29T DE-188 DE-703 |
| physical | XIV, 317 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Wiley |
| record_format | marc |
| series2 | Wiley professional computing |
| spelling | Deontic logic in computer science normative system specification ed. by John-Jules Ch. Meyer ... Chichester u.a. Wiley 1993 XIV, 317 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Wiley professional computing Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems Deontische logica gtt Informatica gtt Logique déontique - Congrès ram Informatik Computer science Congresses Deontic logic Congresses Deontische Logik (DE-588)4133538-7 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Deontische Logik (DE-588)4133538-7 s Informatik (DE-588)4026894-9 s DE-604 Meyer, John-Jules Ch. 1954- Sonstige (DE-588)121645584 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005890343&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Deontic logic in computer science normative system specification Deontische logica gtt Informatica gtt Logique déontique - Congrès ram Informatik Computer science Congresses Deontic logic Congresses Deontische Logik (DE-588)4133538-7 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4133538-7 (DE-588)4026894-9 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Deontic logic in computer science normative system specification |
| title_auth | Deontic logic in computer science normative system specification |
| title_exact_search | Deontic logic in computer science normative system specification |
| title_full | Deontic logic in computer science normative system specification ed. by John-Jules Ch. Meyer ... |
| title_fullStr | Deontic logic in computer science normative system specification ed. by John-Jules Ch. Meyer ... |
| title_full_unstemmed | Deontic logic in computer science normative system specification ed. by John-Jules Ch. Meyer ... |
| title_short | Deontic logic in computer science |
| title_sort | deontic logic in computer science normative system specification |
| title_sub | normative system specification |
| topic | Deontische logica gtt Informatica gtt Logique déontique - Congrès ram Informatik Computer science Congresses Deontic logic Congresses Deontische Logik (DE-588)4133538-7 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Deontische logica Informatica Logique déontique - Congrès Informatik Computer science Congresses Deontic logic Congresses Deontische Logik Aufsatzsammlung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005890343&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT meyerjohnjulesch deonticlogicincomputersciencenormativesystemspecification |