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.
Similar content being viewed by others
References
Marc Andreessen 1996. The future of microcomputers, Byte.
Ronald M. Baecker (ed.) 1993. Readings in Groupware and Computer-Supported Cooperative Work, Morgan Kaufmann Publishers Inc..
Joseph Bates 1994. The role of emotion in believable agents. Technical Report CMU-CS-94-136, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA.
Nuel Belnap 1991. Backwards and forwards in the modal logic of agency, Philosophical and Phenomenological Research, LI.
James B. Brady 1972. Law, language and logic: The legal philosophy of Wesley Newcomb Hohfeld, Transactions of the Charles S. Peirce Society, 8, 246-263.
Ulf Carlsen 1994. Formal Specification and Analysis of Cryptographic Protocols, PhD thesis, l'Université Paris XI — Orsay.
Cory Casanave 1996. Business-object architectures and standards. Technical Report, Business Object Domain Task Force, OMG.
Fernando Flores, Michael Graves, Brad Hartfield, & Terry Winograd 1988. Computer systems and the design of organizational interaction, Transactions of Office Information Systems 6(2), 153-172.
Don Gilbert, Manny Aparicio, Betty Atkinson, Steve Brady, Joe Ciccarino, Benjamin Grosof, Pat O'Connor, Damian Osisek, Steve Pritko, Rick Spagna, & Les Wilson 1995. Ibm intelligent agent strategy. White paper.
Agent Interop Working Group 1997. Draft report of ‘design workshop on open intelligent agent platforms and protocols’ — first meeting of the agent interop working group. http://www.agent.org/society/meetings/workshop9702/report.html
Henning Herrestad & Christen Krogh 1995. Obligations directed from bearers to counterparties. In Proceedings from ICAIL'95, ACM Press, Washington, pp. 210-218.
Wesley Newcomb Hohfeld 1966. Fundamental Legal Conceptions as Applied in Judicial Reasoning and Other Legal Essays, Yale University Press, New Haven, Connecticut.
Andrew J.I. Jones & M. Sergot 1993. On the characterization of law and computer systems: The normative systems perspective. In J.-J. Meyer & R.J. Wieringa (eds.), Deontic Logic in Computer Science — Normative System Specification, John Wiley, Chichester.
Stig Kanger 1957. New foundations for ethical theory. Technical Report, Stockholm University, Stockholm.
Stig Kanger 1972. Law and logic, Theoria 38, 105-132.
Stig Kanger 1985. On realization of human rights. In G. Holmström & A.J.I. Jones (eds.), Action, Logic, and Social Theory, Acta Philosophica Fennica, Vol. 38, Helsinki, pp. 71-78.
Stig Kanger & Helle Kanger 1966. Rights and parliamentarism, Theoria 6(2), 85-115.
Christen Krogh 1997. Normative Structures in Natural and Artificial Systems, PhD thesis, Department of Philosophy, University of Oslo.
Christen Krogh & Henning Herrestad 1996. Getting personal. In Mark A. Brown & José Carmo (eds.), Deontic Logic, Agency and Normative Systems, Workshops in Computing, Springer, Berlin, pp. 134-153.
Bruce T. Krulwich 1996. The bargainfinder agent: Comparing price shopping on the internet. In Joseph Williams (ed.), Bots and other internet beasties, SAMS.NET, Macmillan, pp. 258-263.
Kum-Yew Lai, Thomas W. Malone & Keh-Chiang Yu 1977. Object lens: A “spreadsheet” for cooperative work. Transactions of office information systems 6(4), 332-353.
Stanislaw Lem 1977. Mortal Engines, Avon Bookes, New York.
Lars Lindahl. Position and Change, D. Reidel Publishing Company, Dordrecht, Holland.
P. Maes 1995. Intelligent software, Scientific American 273(3).
David Makinson 1986. On the formal representation of rights relations. Journal of Philosophical Logic 15, 403-425.
Lee Marshall 1997. Kill your browser, Wired Magazine 5(3). http://www.wired.com/wired/5.03/features/ff-push.html
Nilsen Media 1997. Press release, march. http://www.commerce.net/nielsen/press-97.html
Clifford Nass, Moon Youngme, B.J. Fogg, Byron Reeves, and D. Christopher Dryer 1995. Can computer personalities be human personalities, int. J. Human-Computer Studies 43, 223-239.
Yoav Shoham 1990. Agent-oriented programming (revised). Technical Report STAN-CS-1335-90, Computer Science Department, Stanford University.
Yoav Shoham 1991. Implementing the intentional stance. In R. Cummins & J. Pollock (eds.), Philosophy and AI: Essays at the Interface, MIT Press, Cambridge, Massachusets, pp. 261-277.
Yoav Shoham 1993. Agent-oriented programming, Artificial Intelligence 60, 51-92.
Roy Stone 1963. An analysis of Hohfeld, Minnesota Law Review 48, 312-337.
Nils Kristian Sundby 1974. Om Normer, Universitetsforlaget.
Mark C. Torrance & Paul A. Viola 1991. The Agent0 manual. User manual, Computer Science Department, Stanford University.
S. Virdhagriswaran, D. Osisek & P. O'Connor. Standardizing agent technology, Standard View 3(3), 96-101.
P. Wayner & A. Joch. Agents of change. Byte.
Webster 1913. Webster Dictionary.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Krogh, C., Herrestad, H. Hohfeld in cyberspace and other applications of normative reasoning in agent technology. Artificial Intelligence and Law 7, 81–96 (1999). https://doi.org/10.1023/A:1008367514393
Issue Date:
DOI: https://doi.org/10.1023/A:1008367514393