Hohfeld in cyberspace and other applications of normative reasoning in agent technology

&
Artificial Intelligence and Law 7 (1):81-96 (1999)
  Copy   BIBTEX

Abstract

Two areas of importance for agents and multiagent systems are investigated: design of agent programming languages, and design of agent communication languages. The paper contributes in the above mentioned areas by demonstrating improved or novel applications for deontic logic and normative reasoning. Examples are taken from computer-supported cooperative work, and electronic commerce.

Categories

Keywords

Reprint years

DOI

10.1023/a:1008367514393

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A computational model of argumentation schemes for multi-agent systems.Fabrizio Macagno - 2021 - Argument and Computation 12 (3):357-395.
An intensional programming approach to multi-agent coordination in a distributed network of agents.Kaiyu Wan & Vasu S. Alagar - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 205--222.
Transition systems for designing and reasoning about norms.Trevor J. M. Bench-Capon - 2015 - Artificial Intelligence and Law 23 (4):345-366.
On programming KARO agents.J. Meyer, F. de Boer, R. van Eijk, K. Hindriks & W. van der Hoek - 2001 - Logic Journal of the IGPL 9 (2):245-256.
Planning for Ethical Agent-Agent Interaction.Jesse David Dinneen - 2019 - Good Systems: Ethical AI for CSCW, Workshop at CSCW '19: ACM SIGCHI Conference on Computer-Supported Cooperative Work.
Introduction to: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science.Paul McNamara & Henry Prakken - 1999 - In Henry Prakken & Paul McNamara (eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science. Amsterdam/Oxford/Tokyo/Washington DC: IOS Press. pp. 1-14.
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic.M. Beirlaen & C. Strasser - 2013 - Journal of Logic and Computation 24 (6):1179–1207.
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.
Communication languages for multiagent systems.Mario Verdicchio & Marco Colombetti - 2009 - In L. Magnani (ed.), computational intelligence. pp. 25--2.
Formal analysis of responsibility attribution in a multimodal framework.Daniela Glavaničová & Matteo Pascucci - 2019 - In Daniela Glavaničová & Matteo Pascucci (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 36-51.

Analytics

Added to PP
2009-01-28

Downloads
55 (#387,113)

6 months
8 (#549,811)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christen Krogh
University of Oslo (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

New foundations for ethical theory.Stig Kanger - 1970 - In Risto Hilpinen (ed.), Deontic logic: introductory and systematic readings. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 36--58.
Law and logic.Stig Kanger - 1972 - Theoria 38 (3):105-132.
Agent-oriented programming.Yoav Shoham - 1993 - Artificial Intelligence 60 (1):51-92.
Backwards and forwards in the modal logic of agency.Nuel Belnap - 1991 - Philosophy and Phenomenological Research 51 (4):777-807.
On the formal representation of rights relations.David Makinson - 1986 - Journal of Philosophical Logic 15 (4):403 - 425.

View all 9 references / Add more references