A dynamic default revision mechanism for speculative computation

In this work a default revision mechanism is introduced into speculative computation to manage incomplete information. The default revision is supported by a method for the generation of default constraints based on Bayesian networks. The method enables the generation of an initial set of defaults which is used to produce the most likely scenarios during the computation, represented by active processes. As facts arrive, the Bayesian network is used to derive new defaults. The objective with such a new dynamic mechanism is to keep the active processes coherent with arrived facts. This is achieved by changing the initial set of default constraints during the reasoning process in speculative computation. A practical example in clinical decision support is described.

[1]  Peter J. F. Lucas,et al.  Modelling treatment effects in a clinical Bayesian network using Boolean threshold functions , 2009, Artif. Intell. Medicine.

[2]  Philippe Codognet,et al.  Agent-Based Speculative Constraint Processing , 2007, IEICE Trans. Inf. Syst..

[3]  Trends in Practical Applications of Agents and Multiagent Systems, 9th International Conference on Practical Applications of Agents and Multiagent Systems (PAAMS 2011) Workshops , 2011, PAAMS Workshops.

[4]  Gert Smolka.  The Oz Programming Model , 1996 .

[5]  Philippe Codognet,et al.  Speculative Constraint Processing in Multi-agent Systems , 2003, PRIMA.

[6]  Ian Witten,et al.  Data Mining , 2000 .

[7]  Peter J. F. Lucas,et al.  Describing disease processes using a probabilistic logic of qualitative time , 2013, Artif. Intell. Medicine.

[8]  M. Weinstein,et al.  The role of cost-effectiveness analysis in health and medicine. Panel on Cost-Effectiveness in Health and Medicine. , 1996, JAMA.

[9]  Chiaki Sakama,et al.  Speculative computation by abduction under incomplete communication environments , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[10]  J. Franklin,et al.  The elements of statistical learning: data mining, inference and prediction , 2005 .

[11]  S. Cellini,et al.  Cost-effectiveness and cost-benefit analysis. , 2015, The Genetic resource.

[12]  Ken Satoh,et al.  Speculative Computation and Abduction for an Autonomous Agent , 2005, IEICE Trans. Inf. Syst..

[13]  Ken Satoh,et al.  Speculative computation with multi-agent belief revision , 2002, AAMAS '02.

[14]  Guido Governatori,et al.  Distributed Defeasible Speculative Reasoning in Ambient Environment , 2012, CLIMA.

[15]  Eddy M. Adang,et al.  Time to incorporate time in cost-effectiveness analysis , 2012, The European Journal of Health Economics.

[16]  M. Choti,et al.  Metastatic colon cancer, version 3.2013: featured updates to the NCCN Guidelines. , 2013, Journal of the National Comprehensive Cancer Network : JNCCN.

[17]  Marco Scutari,et al.  Learning Bayesian Networks with the bnlearn R Package , 2009, 0908.3817.

[18]  Kevin B. Korb,et al.  Bayesian Artificial Intelligence , 2004, Computer science and data analysis series.

[19]  F. Warren Burton,et al.  Speculative computation, parallelism, and functional programming , 1985, IEEE Transactions on Computers.

[20]  Ian H. Witten,et al.  Data Mining: Practical Machine Learning Tools and Techniques, 3/E , 2014 .

[21]  José Neves,et al.  Representation of Clinical Practice Guideline Components in OWL , 2013, PAAMS.

[22]  Ian H. Witten,et al.  Data mining: practical machine learning tools and techniques, 3rd Edition , 1999 .

[23]  Seif Haridi,et al.  An Overview of the Andorra Kernel Language , 1991, ELP.

[24]  José Neves,et al.  Applying Speculative Computation to Guideline-Based Decision Support Systems , 2014, 2014 IEEE 27th International Symposium on Computer-Based Medical Systems.

[25]  Guido Governatori,et al.  Superiority Based Revision of Defeasible Theories , 2010, RuleML.

[26]  Benoît Iung,et al.  Overview on Bayesian networks applications for dependability, risk analysis and maintenance areas , 2012, Eng. Appl. Artif. Intell..

[27]  Francesca Toni,et al.  Interleaving Belief Updating and Reasoning in Abductive Logic Programming , 2006, ECAI.

[28]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[29]  Radha Jagadeesan,et al.  Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..

[30]  Mor Peleg,et al.  Computer-interpretable clinical guidelines: A methodological review , 2013, J. Biomed. Informatics.

[31]  Kevin B. Korb,et al.  Bayesian Artificial Intelligence, Second Edition , 2010 .

[32]  Radha Jagadeesan,et al.  Probabilistic Concurrent Constraint Programming , 1997, CONCUR.

[33]  Robert Tibshirani,et al.  The Elements of Statistical Learning: Data Mining, Inference, and Prediction, 2nd Edition , 2001, Springer Series in Statistics.

[34]  Changhe Yuan,et al.  Empirical evaluation of scoring functions for Bayesian network model selection , 2012, BMC Bioinformatics.

[35]  Peter J. F. Lucas.  Computer-based Medical Guidelines and Protocols: A Primer and Current Trends , 2008 .

[36]  M. Choti,et al.  NCCN Clinical Practice Guidelines in Oncology: colon cancer. , 2009, Journal of the National Comprehensive Cancer Network : JNCCN.

[37]  Antonio Moreno,et al.  Computer-based execution of clinical guidelines: A review , 2008, Int. J. Medical Informatics.