Computational law

ABSTRACT

Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronically-mediated actions. Current computational tools for electronic commerce fall short of the demands of business, organizations, and individuals conducting complex transactions over the web. However, the growth of semantic data in the world of electronic commerce and online transactions, coupled with grounded rulesets that explicitly reference that data, provides a setting where applying automated reasoning to law can yield fruitful results, reducing inefficiencies, enabling transactions and empowering individuals with knowledge of how laws affect their behavior.

REFERENCES

• 1: J. Alferes, A. Brogi, J. Leite, and L. M. Pereira. An evolvable rule-based e-mail agent. Lecture Notes in Computer Science, 2902:394--408, Nov. 2003.
• 2: T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Specification: Business process execution language. http://www-106.ibm.com/developerworks/library/ws-bpel/, May 2003.
• 3: Anthony J. Bonner , Michael Kifer, A logic for programming database transactions, Logics for databases and information systems, Kluwer Academic Publishers, Norwell, MA, 1998
• 4: L. Karl Branting, Advisory systems for pro se litigants, Proceedings of the 8th international conference on Artificial intelligence and law, p.139-146, May 2001, St. Louis, Missouri, United States [doi>10.1145/383535.383552]
• 5: Samuel Meira Brasil , Berilhes Borges Garcia, Modelling legal reasoning in a mathematical environment through model theoretic semantics, Proceedings of the 9th international conference on Artificial intelligence and law, June 24-28, 2003, Scotland, United Kingdom [doi>10.1145/1047788.1047833]
• 6: Hasan Davulcu , Michael Kifer , I. V. Ramakrishnan, CTR-S: a logic for specifying contracts in semantic web services, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, May 19-21, 2004, New York, NY, USA [doi>10.1145/1013367.1013391]
• 7: Intuit, Inc. Turbotax. http://www.turbotax.com.
• 8: M. Kifer. Transaction logic for the busy workow professional. Technical report, SUNY at Stony Brook, 1996.
• 9: J. A. Meldman. A structural model for computer-aided legal analysis. Rutgers Journal of Computer Law, 6, 1977.
• 10: OASIS ebXML Collaboration Protocol Profile and Agreement Technical Committee. Collaboration protocol profile and agreement specification (version 2.0). http://www.oasis-open.org/committees/download.php/204/ebcpp-2.0.pdf, Sept. 2002.
• 11: Object Management Group's Business Enterprise Integration Domain Task Force. Issues request for information on business rule management. http://www.omg.org/technology/technology_adoption/bei-tf.htm, 2004.
• 12: Edwina L. Rissland , Kevin D. Ashley , R. P. Loui, AI and law: a fruitful synergy, Artificial Intelligence, v.150 n.1-2, p.1-15, November 2003 [doi>10.1016/S0004-3702(03)00122-X]
• 13: Edwina L. Rissland , David B. Skalak, CABARET: rule interpretation in a hybrid architecture, International Journal of Man-Machine Studies, v.34 n.6, p.839-887, June 1991 [doi>10.1016/0020-7373(91)90013-W]
• 14: M. Sachs and J. Ibbotson. Electronic trading-partner agreement for e-commerce (tpaml). http://www.ibm.com/developer/xml/tpaml/tpaspec.pdf, Jan. 2000.
• 15: Uri J. Schild , Shai Herzog, The use of meta-rules in rule based legal computer systems, Proceedings of the 4th international conference on Artificial intelligence and law, p.100-109, June 15-18, 1993, Amsterdam, The Netherlands [doi>10.1145/158976.158989]
• 16: M. J. Sergot , F. Sadri , R. A. Kowalski , F. Kriwaczek , P. Hammond , H. T. Cory, The British Nationality Act as a logic program, Communications of the ACM, v.29 n.5, p.370-386, May 1986 [doi>10.1145/5689.5920]
• 17: Anne von der Lieth Gardner, An artificial intelligence approach to legal reasoning, MIT Press, Cambridge, MA, 1987
• 18: S. Weerawarana and F. Curbera. Business process with BPEL4WS. http://www-106.ibm.com/developerworks/webservices/library/ws-bpelcol1/, Aug. 2002.

INDEX TERMS

Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Computational logic