nach oben

Artificial Intelligence and Law

Erschienen in:

23.02.2018

RuleRS: a rule-based architecture for decision support systems

verfasst von: Mohammad Badiul Islam, Guido Governatori

Erschienen in: Artificial Intelligence and Law | Ausgabe 4/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Decision-makers in governments, enterprises, businesses and agencies or individuals, typically, make decisions according to various regulations, guidelines and policies based on existing records stored in various databases, in particular, relational databases. To assist decision-makers, an expert system, encompasses interactive computer-based systems or subsystems to support the decision-making process. Typically, most expert systems are built on top of transaction systems, databases, and data models and restricted in decision-making to the analysis, processing and presenting data and information, and they do not provide support for the normative layer. This paper will provide a solution to one specific problem that arises from this situation, namely the lack of tool/mechanism to demonstrate how an expert system is well-suited for supporting decision-making activities drawn from existing records and relevant legal requirements aligned existing records stored in various databases.We present a Rule-based (pre and post) reporting systems (RuleRS) architecture, which is intended to integrate databases, in particular, relational databases, with a logic-based reasoner and rule engine to assist in decision-making or create reports according to legal norms. We argue that the resulting RuleRS provides an efficient and flexible solution to the problem at hand using defeasible inference. To this end, we have also conducted empirical evaluations of RuleRS performance.

Nächster Artikel Narration in judiciary fact-finding: a probabilistic explication

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

We fully recognise that the notion of “reasonable” time is a very open texture one. It depends on the applications: while a response in seconds could ot be suitable for a real time critical systems, an overnight computation is suitable for a task, e.g., auditing the whole set of transaction of a bank when such auditing would take months based on a limited sample data.

Prohibitions can be expressed as maintenance obligations with a negated content, i.e., \([\hbox {OM}]\lnot p\).

http://json.org accessed on 19 January 2017.

The are various query types as basic (compares two values), quantified (compares a value or values with a collection of values), BETWEEN (compares a value with a range of values), NULL (tests for null values), LIKE (searches for strings that have a certain pattern), EXISTS (tests for the existence of specific information), IN [another approach to compare a value with a collection of values (Yu et al. 1992; International Business Machines Corporation 1993, 2001)] and different aggregate functions [AVG, MAX, MIN, SUM, COUNT(*), or COUNT(DISTINCT)].

When “SELECT” statement is used in a predicate, is called a “subquery” (International Business Machines Corporation 1993, 2001).

SPINDle Reasoner is available to download freely from http://spindle.data61.csiro.au/spindle/tools.html accessed on 31 January 2018 under LGPL license agreement. https://opensource.org/licenses/lgpl-license accessed on 31 January 2018.

http://stat-computing.org/dataexpo/2009/the-data.html accessed on 19 January 2017.

http://www.transtats.bts.gov/Fields.asp?Table_ID=236 accessed on 19 January 2017.

By equivalent, we mean that given an input the decision trees and our rules produce same outcome.

The snippets reported here have been selected for the type of SQL query they employ to evaluate the corresponding response time, not for the meaning of the data associated with the query.

http://bit.ly/1Lyg6Z4 accessed on 19 January 2017.

with 2-way joins (1-INNER JOIN and 1-LEFT JOIN), “GROUP BY”, “HAVING”, “COUNT” and “ORDER BY” predicate.

http://java.sys-con.com/node/45082 accessed on 19 January 2017.

http://intelligence.worldofcomputing.net/expert-systems-articles/rule-based-expert-systems.html accessed on 20 January 2017.

http://xsb.sourceforge.net accessed on 20 January 2017.

http://www.dcc.fc.up.pt/~vsc/Yap/ accessed on 20 January 2017.

http://www.dlvsystem.com/ accessed on 20 January 2017.

http://sourceforge.net/projects/iris-reasoner/ accessed on 20 January 2017.

http://www.semafora-systems.com/en/products/ontobroker/ accessed on 20 January 2017.

http://www.drools.org accessed on 20 January 2017.

http://www.jessrules.com/jess/index.shtml accessed on 20 January 2017.

https://prova.ws accessed on 20 January 2017.

http://jena.apache.org accessed on 20 January 2017.

https://confluence.ontotext.com/display/OWLIMv35/SwiftOWLIM+Introduction last accessed on 20 January 2016.

https://confluence.ontotext.com/display/OWLIMv35/BigOWLIM+Introduction accessed on 20 January 2017.

http://www.cyc.com accessed on 20 January 2017.

Antoniou G, Billington D, Governatori G, Maher MJ (1999) On the modeling and analysis of regulations. In: Australian conference on information systems

Antoniou G, Billington D, Governatori G, Maher MJ (2001) Representation results for defeasible logic. ACM Trans Comput Logic 2(2):255–287MathSciNetCrossRef

Basili VR (1996) The role of experimentation in software engineering: past, current, and future. In: Proceedings of the 18th ICSE, IEEE Computer Society, pp 442–449

Billington D, Antoniou G, Governatori G, Maher MJ (2010) An inclusion theorem for Defeasible Logics. ACM Trans Comput Logic 12(1):1–27MathSciNetCrossRef

Currim S, Snodgrass RT, Suh YK, Zhang R, Johnson MW, Yi C (2013) DBMS metrology: measuring query time. In: Proceedings of the 2013 ACM SIGMOD, ACM, pp 421–432

Governatori G (2005) Representing business contracts in RuleML. Int J Coop Inf Syst 14(2–3):181–216CrossRef

Governatori G (2011) On the relationship between Carneades and Defeasible Logic. In: Proceedings of the ICAIL 2011, ACM, pp 31–40

Governatori G (2013) Business process compliance: an abstract normative framework. Inf Technol 55(6):231–238

Governatori G (2015a) The Regorous approach to process compliance. In: 2015 IEEE 19th international enterprise distributed object computing workshop, IEEE Press, pp 33–40

Governatori G (2015) Thou shalt is not you will. In: Atkinson K (ed) Proceedings of the fifteenth international conference on artificial intelligence and law. ACM, New York, pp 63–68

Governatori G, Hashmi M (2015) No time for compliance. In: Enterprise distributed object computing conference (EDOC), 2015 IEEE 19th international, IEEE, pp 9–18

Governatori G, Rotolo A (2004) Defeasible logic: agency, intention and obligation. In: Proceedings of the DEON 2004, Springer, vol 3065 in LNCS, pp 114–128

Governatori G, Rotolo A (2006) Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations. Australas J Logic 4:193–215MathSciNetCrossRef

Governatori G, Rotolo A (2008) BIO logical agents: norms, beliefs, intentions in defeasible logic. Auton Agent Multi-Agent Syst 17(1):36–69CrossRef

Governatori G, Rotolo A (2010) A conceptually rich model of business process compliance. In: Proceedings of the APCCM 2010, ACS, vol 110 in CRPIT, pp 3–12

Governatori G, Shek S (2013) Regorous: a business process compliance checker. In: Proceedings of the fourteenth international conference on artificial intelligence and law, pp 245–246

Governatori G, Padmanabhan V, Rotolo A, Sattar A (2009) A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic J IGPL 17(3):227–265MathSciNetCrossRef

Governatori G, Olivieri F, Rotolo A, Scannapieco S (2013) Computing strong and weak permission in Defeasible Logic. J Philos Logic 42(6):799–829MathSciNetCrossRef

Grosof BN (2004) Representing e-commerce rules via situated courteous logic programs in RuleML. Electron Commer Res Appl 3(1):2–20CrossRef

Hashmi M, Governatori G, Wynn MT (2015) Normative requirements for regulatory compliance: an abstract formal framework. Inf Syst Front 18:429CrossRef

Herrestad H (1991) Norms and formalization. In: Proceedings of the 3rd international conference on artificial intellilgence and law, ACM, pp 175–184

Hu YJ, Yeh CL, Laun W (2009) Challenges for rule systems on the web. In: Governatori G, Hall J, Paschke A (eds) Rule interchange and applications. Springer Berlin Heidelberg, Berlin, Heidelberg, pp 4–16

International Business Machines Corporation (1993, 2001) Ibm db2 universal database sql reference version 8. http://bit.ly/IBMdb2s1e80, http://bit.ly/IBMdb2s2e80. Accessed 4 Apr 2016

Islam MB, Governatori G (2015) Ruleoms: a rule-based online management system. In: Proceedings of the ICAIL 2015, ACM, New York, NY, USA, pp 187–191

Kitchenham BA (1996) Evaluating software engineering methods and tool part 1: the evaluation context and evaluation methods. ACM SIGSOFT Notes 21(1):11–14CrossRef

Kozák J (2011) Rules in database systems. In: Proceedings of contributed papers WDS’11, pp 131–136

Lam HP, Governatori G (2009) The making of spindle. In: Governatori G, Hall J, Paschke A (eds) Rule interchange and applications. Springer Berlin Heidelberg, Berlin, Heidelberg, pp 315–322

Liang S, Fodor P, Wan H, Kifer M (2009) Openrulebench: an analysis of the performance of rule engines. In: Proceedings of the 18th international conference on World wide web, ACM, pp 601–610

Maher MJ (2001) Propositional defeasible logic has linear complexity. Theory Pract Logic Program 1(06):691–711MathSciNetCrossRef

NSW Government (2013) Online mandatory reporter guide. http://sdm.community.nsw.gov.au/mrg/screen/DoCS/en-GB/summary?user=guest. Accessed 30 Sept 2014

NSW Government (2016) The nsw mandatory reporter guide. http://www.keepthemsafe.nsw.gov.au/reporting_concerns/mandatory_reporter_guide. Accessed 15 June 2016

Nute D (1994) Defeasible logic. In: Gabbay DM, Hogger CH, Robinson J (eds) Handbook of logic in artificial intelligence and logic programming, vol 3. Oxford University Press, Oxford, pp 353–395

Osman R, Knottenbelt W (2012) Database system performance evaluation models: a survey. Perform Eval 69:471–493CrossRef

Paton NW, Díaz O (1999) Active database systems. ACM Comput Surv CSUR 31(1):63–103CrossRef

Sadiq S, Governatori G (2015) Managing regulatory compliance in business processes. In: vom Brocke J, Rosemann M (eds) Handbook of business process management, vol 2, 2nd edn. Springer, Berlin, pp 265–288

Skylogiannis T, Antoniou G, Bassiliades N, Governatori G, Bikakis A (2007) Dr-negotiate—a system for automated agent negotiation with defeasible logic-based strategies. Data Knowl Eng 63:362–380CrossRef

The PostgreSQL Global Development Group (1996–2015) Postgresql 9.4.4 documentation. http://www.postgresql.org/files/documentation/pdf/9.4/postgresql-9.4-A4.pdf. Accessed 15 Nov 2015

US Food and Drug Administration (2015) FDA adverse event reporting system (FAERS): latest quarterly data files. http://www.fda.gov/Drugs/GuidanceComplianceRegulatoryInformation/Surveillance/AdverseDrugEffects/ucm082193.htm. Accessed 15 Mar 2016

US Food and Drug Administration (2016) FDA adverse event reporting system (FAERS). https://www.fda.gov/Drugs/GuidanceComplianceRegulatoryInformation/Surveillance/AdverseDrugEffects/. Accessed 16 Feb 2018

US Government (2014) Records and reports concerning adverse drug experiences on marketed prescription drugs for human use without approved new drug applications. http://bit.ly/eCFR310_305. Accessed 7 Mar 2016

Viktoratos I, Tsadiras A, Bassiliades N (2012) Plis+: a rule-based personalized location information system. In: Proceedings of the RuleML2012@ECAI challenge, vol 874 in CEUR workshop proceedings

Yu P, Chen M, Heiss H (1992) On workload characterization of relational database environments. IEEE Trans Softw Eng 18:347–355CrossRef

Zelkowitz MV, Wallace DR (1998) Experimental models for validating technology. Computer 31(5):23–31CrossRef

Titel: RuleRS: a rule-based architecture for decision support systems
verfasst von: Mohammad Badiul Islam
Guido Governatori
Publikationsdatum: 23.02.2018
Verlag: Springer Netherlands
Erschienen in: Artificial Intelligence and Law / Ausgabe 4/2018
Print ISSN: 0924-8463
Elektronische ISSN: 1572-8382
DOI: https://doi.org/10.1007/s10506-018-9218-0

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner