Developing production rule models to aid in acquiring requirements from legal texts

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2009, Pages 101-110

  Maxwell, Jeremy C ^a   Antón, Annie I ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN KNOWLEDGE; FOUR SECTIONS; LEGAL DOMAINS; PRODUCTION RULES; REQUIREMENTS ELICITATION; REQUIREMENTS ENGINEERS; SOFTWARE REQUIREMENTS;

ENGINEERING; REGULATORY COMPLIANCE;

REQUIREMENTS ENGINEERING;

EID: 73549095764     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2009.21     Document Type: Conference Paper

References (31)

1. G. Antoniou, D. Billington, and M.J. Maher, "On Analysis of Regulations using Defeasible Rules", Proc. of the 32nd Hawaii Intl. Conf. on System Sciences, 1999, pp. 1-7.
2. M. Belzer, "Legal Reasoning in 3-D", Proc. of the 1st ACM Intl. Conf. on Artificial Intelligence and Law, Boston, 1987, pp. 155-163.
3. T.J.M. Bench-Capon, G.O. Robinson, T.W. Routen, and M.J. Sergot, "Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation", Proc. of the 1st ACM Intl. Conf. on Artificial Intelligence and Law, Boston, May 1987, pp. 190-198.
4. C. Biagioli, P. Mariani, and D. Tiscornia, "Esplex: A Rule and Conceptual Model for Representing Statutes", Proc. of the 1st ACM Intl. Conf. on Artificial Intelligence and Law, Boston, 1987, pp. 240-251.
5. R.J. Brachman, and Levesque, H.J., Knowledge Representation and Reasoning, San Francisco: Elsevier, 2004.
6. T.D. Breaux, and A.I. Antón, "Mining Rule Semantics to Understand Legislative Compliance", Proc. of the 2005 ACM Workshop on Privacy in the Electronic Society, Alexandria, USA, Nov. 7, 2005, pp. 51-54.
7. T.D. Breaux, and A.I. Antón, "Analyzing Regulatory Rules for Privacy and Security Requirements", IEEE Trans. on Software Engineering, 34(1), Jan.-Feb. 2008, pp. 5-20.
8. T.D. Breaux, A.I. Antón, and J. Doyle, "Semantic Parameterization: A Process for Modeling Domain Descriptions", ACM Trans. on Soft. Eng. Methodologies, 18(2), 2009.
9. T.D. Breaux, M.W. Vail, and A.I. Antón, "Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations", Proc. of the 14th IEEE Intl. Requirements Engineering Conf., Minneapolis, Sep. 11-15, 2006, pp. 46-55.
10. E. Dubois, J. Hagelstein, E. Lahou, F. Ponsaert, and A. Rifaut, "A Knowledge Representation Language for Requirements Engineering", Trans. of the IEEE, 74(10), Oct. 1986, pp. 1431-1444.
11. G. Greenleaf, A. Mowbray, and A.A. Tyree, "Expert Systems in Law: The Datalex Project", Proc. of the 1st ACM Intl. Conf. on Artificial Intelligence and Law, Boston, May 1987, pp. 9-17.
12. A. Ho, and S. Sundaram, A Prolog Based HIPAA Online Compliance Auditor, Unpublished class report, Mar. 20, 2008, 〈www.stanford.edu/class/cs259/ projects/ cs259-final-Sharada%20Sundaram%20Anthony%20 Ho/report.pdf〉.
13. M. Jackson, "The Meaning of Requirements", Annals of Software Engineering, Vol. 3, Baltzer Science Publishers, 1997, pp. 5-21.
14. J. Liebowitz, "Expert Systems in Law: A Survey and Case Study", Telematics and Informatics, 3(4), 1986, pp. 263-271.
15. G.J.C. Lokhorst, "Reasoning about Actions and Obligations in First-Order Logic", Studia Logica, 57(1), pp. 221-237.
16. J.C. Maxwell, and A.I. Antón, "Validating Existing Requirements for Compliance with Law Using a Production Rule Model", North Carolina State University, Tech. Rep. TR-2009-4.
17. J.C. Mitchell, Medical Privacy and Business Process Design, Presentation, Stanford Computer Forum, Mar. 17, 2008, 〈http://forum.stanford.edu/events/ 2008slides /Security%20 Workshop%20Slides/John%20Mitchellforum-workshop-08. pdf〉.
18. P.N. Otto, and A.I. Antón, "Addressing Legal Requirements in Requirements Engineering", Proc. of the 15th IEEE Intl. Requirements Engineering Conf., New Dehli, Oct. 15-19, 2007, pp. 5-14.
19. P.N. Otto, A.I. Antón, D.L. Baumer, "The Choicepoint Dilemma: How Data Brokers Should Handle the Privacy of Personal Information", IEEE Security and Privacy, 5(5), Sep.-Oct. 2007, pp. 15-23.
20. N.P. Padhy, Artificial Intelligence and Intelligent Systems, Oxford University Press, 2005.
21. G. Schreiber, H. Akkermans, A. Anjewierden, R. de Hoog, N. Shadbolt, W. Van de Velde, and B. Wielinga, Knowledge Engineering and Management: The CommonKADS Methodology, MIT Press, 2000.
22. M.J. Sergot, A.S. Kamble, and K.K. Bajaj, "Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations", Proc. of the 3rd ACM Intl. Conf. on Artificial Intelligence and Law, Oxford, 1991, pp. 118-127.
23. M.J. Sergot, F. Sadri, A. Kowalski, F. Kriwaczek, P. Hammond, and H.T. Cory, "The British Nationality Act as a Logic Program", Comm. of the ACM, 29(5), May 1986, pp. 370-386.
24. D.M. Sherman, "A Prolog Model of the Income Tax Act of Canada", Proc. of the 1st ACM Intl. Conf. on Artificial Intelligence and Law, Boston, May 1987, pp. 127-136.
25. L. Sterling, and E. Shapiro, The Art of Prolog: Advanced Programming Techniques, MIT Press, 1994, 2nd ed.
26. U.S. Dept. of Health and Human Services, Protected Health Information, Presentation, 2003, http://www.dhhs.gov/ocr/hipaa/conference/udmn.pdf.
27. U.S. Dept. of Health and Human Services Office of Civil Rights, "Your Health Information Privacy Rights", Informational Flier, 〈http://www.hhs.gov/ocr/hipaa/consumer-rights.pdf〉
28. A. Valente, Legal Knowledge Engineering: A Modeling Approach, in Frontiers in Artificial Intelligence and Applications, Vol. 30, IOS Press, 1995.
29. P.R.S. Visser, T.J.M. Bench-Capon, and J. van den Herik, "A Method for Conceptualising Legal Domains: An Example from the Dutch Unemployment Benefits Act", Artificial Intelligence and Law, 5(3), Sept. 1997, pp. 207-242.
30. P.R.S. Visser, R.W. van Kralingen, T.J.M. Bench-Capon, "A Method for the Development of Legal Knowledge Systems", Proc. of the 6th ACM Intl. Conf. on Artificial Intelligence and Law, Melbourne, Australia, Jun. 30-Jul. 3, 1997, pp. 151-160.
31. R.K. Yin, Case Study Research: Design and Methods, in Applied Social Research Methods Series, Vol. 5, Sage Publications, 2003, 3rd ed.