Cantitate/Preț
Produs
Total produse
Vezi coșul
Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings de Guido Governatori

Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings: Lecture Notes in Computer Science, cartea 6181

Editat de Guido Governatori, Giovanni Sartor
en Limba Engleză Paperback – 30 iun 2010

Sub coordonarea editorilor Guido Governatori și Giovanni Sartor, ambii cu o experiență vastă în modelarea logică a sistemelor juridice și computaționale, acest volum colectiv documentează progresele teoretice prezentate la a zecea ediție a conferinței DEON. Considerăm că forța acestei ediții rezidă în capacitatea de a ancora logica deontică — tradițional un domeniu al filosofiei — în aplicații riguroase pentru informatică și inteligența artificială.

Structura volumului reflectă o progresie de la fundamentele abstracte spre aplicații complexe. Putem afirma că selecția de lucrări oferă o acoperire echilibrată, începând cu analiza judecății asupra faptelor și evoluând către modele sofisticate de agenție și instituții. Pe linia practică a volumului Norms, Logics and Information Systems de P. McNamara, dar cu un focus mai pronunțat pe dinamica normelor și conformitate (compliance), acest volum explorează modul în care obligațiile și permisiunile pot fi codificate pentru a gestiona politici de confidențialitate și schimbări legislative retroactive. Sunt abordate teme precum logica temporală pentru robustețea obligațiilor și utilizarea algebrei booleene în sistematizarea logicilor de acțiune.

Merită menționat că, spre deosebire de abordările pur teoretice, contribuțiile din Deontic Logic in Computer Science includ studii despre argumentarea bazată pe valori și modele logice aplicate în dreptul internațional privat. Această orientare transformă logica deontică dintr-un exercițiu formal într-un instrument esențial pentru proiectarea sistemelor multi-agent care respectă norme sociale și juridice.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32261 lei

Preț vechi: 40326 lei
-20%

Puncte Express: 484

Carte disponibilă

Livrare economică 05-19 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642141829
ISBN-10: 364214182X
Pagini: 323
Ilustrații: VIII, 323 p. 33 illus.
Dimensiuni: 7 x 93 x 23 mm
Greutate: 0.5 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Pentru cercetătorii în inteligență artificială și informatică teoretică, acest volum oferă instrumentele necesare pentru a modela comportamentul normativ în sisteme complexe. Cititorul câștigă o înțelegere aprofundată a modului în care logica formală poate preveni conflictele de reglementare în software. Este o resursă tehnică indispensabilă pentru cei care lucrează la intersecția dintre etica computațională, securitatea sistemelor și conformitatea legală automatizată.

Cuprins

From Norm Adoption to Norm Internalization.- Norms, Action and Agency in Multi-agent Systems.- Towards a Logical Analysis of the Judgment on Facts.- Deontic Redundancy: A Fundamental Challenge for Deontic Logic.- A Dyadic Operator for the Gradation of Desirability.- Deontics = Betterness + Priority.- Axioms for Obligation and Robustness with Temporal Logic.- Moral Particularism and Deontic Logic.- Relevance, Derogation and Permission.- Retroactive Legal Changes and Revision Theory in Defeasible Logic.- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra.- Avoiding Deontic Explosion by Contextually Restricting Aggregation.- Obligations and Prohibitions in Talmudic Deontic Logic.- Introducing Exclusion Logic as a Deontic Logic.- Privacy Policies with Modal Logic: The Dynamic Turn.- Value-Based Argumentation for Justifying Compliance.- A Logical Model of Private International Law.- Where Did Mally Go Wrong?.- Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents.- Characterising Responsibility in Organisational Structures: The Problem of Many Hands.- A Logical Analysis of Commitment Dynamics.- Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.

Descriere

Annotation This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.