Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996

این جلد مقالات مختلفی را ارائه می‌کند که در مورد رابطه بین منطق‌های deontic، منطق عمل، و سیستم‌های هنجاری، یعنی سیستم‌هایی از یا در مورد عوامل متقابل (رایانه‌ها، انسان‌ها، شرکت‌ها و غیره) که رفتارشان تابع ایده‌آل است، ارائه می‌کند. محدودیت هایی که ممکن است همیشه در عمل برآورده نشوند. این مقالات از مطالعات نظری ابزارهای منطقی و مفهومی مورد نیاز تا مطالعات کاربردهای مختلف را شامل می شود. مجموعه مقالات گردآوری شده در این کتاب باید مورد توجه محققینی باشد که در زمینه‌های مختلف از فلسفه، منطق و نظریه حقوقی گرفته تا هوش مصنوعی، کامپیوتر و علوم مدیریت کار می‌کنند، زیرا موضوعاتی از تحقیقات نظری در مورد مسائل بنیادی در دیونتیک را پوشش می‌دهد. و منطق عمل، استدلال قابل انکار، نظریه تصمیم گیری، نظریه اخلاقی و نظریه حقوقی، برای تحقیق در مورد موضوعات مختلف مرتبط با کاربردهای مرتبط با سیستم های خبره در قانون، مشخصات اسناد، اتوماسیون استدلال انکارناپذیر، تعیین مسئولیت ها و اختیارات در سازمان ها. ، مشخصات سیستم های هنجاری، محرمانه بودن در سیستم های پایگاه داده، و مجموعه ای از برنامه های کاربردی دیگر.

This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is subject to ideal constraints that may not always be fulfilled in practice. The papers range from theoretical studies of the logical and conceptual tools needed, to studies of various applications. The set of papers collected in this book should be of interest to investigators working in a variety of fields, from philosophy, logic and legal theory to artificial intelligence, computer and management sciences, since it covers topics ranging from theoretical research on foundational issues in deontic and action logics, defeasible reasoning, decision theory, ethical theory, and legal theory, to research on a variety of issues relevant to applications connected with expert systems in the law, document specification, automation of defeasible reasoning, specification of responsibilities and powers in organizations, normative systems specification, confidentiality in database systems, and a host of other applications.