Verification and Validation of R2ML Rule Bases

In this report we give preliminary definitions of anomalies in rule bases for dierent types of rules. In addition, we describe a test-driven approach to rule-base validation.

[1]  Anas N. Al-Rabadi,et al.  A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[2]  Hector J. Levesque,et al.  Logical foundations of active databases , 2003 .

[3]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[4]  Adrian Paschke.  ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics , 2006, ArXiv.

[5]  Bertram Ludäscher.  Integration of Active and Deductive Database Rules , 1998, DISDBIS.

[6]  Lucas Layman.  Empirical investigation of the impact of extreme programming practices on software projects , 2004, OOPSLA '04.

[7]  Alberto Pettorossi,et al.  Rules and strategies for transforming functional and logic programs , 1996, CSUR.

[8]  Adrian Paschke,et al.  ECA-RuleML/ECA-LP: A Homogeneous Event-Condition-Action Logic Programming Language , 2006 .

[9]  Paolo Mancarella,et al.  Production Systems with Negation as Failure , 2002, IEEE Trans. Knowl. Data Eng..

[10]  David Makinson,et al.  General Theory of Cumulative Inference , 1988, NMR.

[11]  Gordon Plotkin,et al.  A Note on Inductive Generalization , 2008 .

[12]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .

[13]  Sergio Greco,et al.  Declarative semantics for active rules , 2001 .

[14]  Carlo Zaniolo.  Active Database Rules with Transaction-Conscious Stable-Model Semantics , 1995, DOOD.

[15]  Grigoris Antoniou.  Verification and correctness issues for nonmonotonic knowledge bases , 1997 .

[16]  Kent L. Beck.  Extreme Programming , 1999, TOOLS.

[17]  Bertram Ludäscher,et al.  On Logical Foundations of Active Databases , 1998, Logics for Databases and Information Systems.

[18]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[19]  Louiqa Raschid,et al.  A Semantics for a Class of Stratified Production System Programs , 1989, J. Log. Program..

[20]  Virginia E. Barker,et al.  Expert systems for configuration at Digital: XCON and beyond , 1989, Commun. ACM.

[21]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[22]  Jorge Lobo,et al.  Formal Characterization of Active Databases , 1996, Logic in Databases.

[23]  Alun D. Preece,et al.  Foundation and application of knowledge base verification , 1994, Int. J. Intell. Syst..

[24]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[25]  Carlo Zaniolo,et al.  A Unified Semantics for Active and Deductive Databases , 1993, Rules in Database Systems.

[26]  Jens Dietrich,et al.  On the Test-Driven Development and Validation of Business Rules , 2005, ISTA.