evaluation techniques for rule based deduction in dynamic
play

Evaluation Techniques for Rule-Based Deduction in Dynamic Databases - PowerPoint PPT Presentation

Jan 11, 2023 •296 likes •459 views

www.imdea.org Evaluation Techniques for Rule-Based Deduction in Dynamic Databases Joaqun Arias IMDEA Software Institute madrid institute for advanced studies in software development technologies www.imdea.org Joaqun Arias Herrero

  1. www.imdea.org Evaluation Techniques for Rule-Based Deduction in Dynamic Databases Joaquín Arias IMDEA Software Institute madrid institute for advanced studies in software development technologies

  2. www.imdea.org Joaquín Arias Herrero http://www.software.imdea.org/~joaquin.arias 2011-2014 BSc Computer Science (UPM) Thesis “Memory management in logic programming with tabling” 2014-2015 MSc Software and Systems (UPM) Thesis ‘‘Towards a Generic Interface to Integrate CLP and Tabled Execution (Modular TCLP)” 2013-today Research at the IMDEA Software Institute Advisor: Manuel Carro Liñares PhD topic: “Evaluation Techniques for Rule-Based Deduction in Dynamic Database” madrid institute for advanced studies in software development technologies

  3. www.imdea.org Big Data Volume Variety Velocity Veracity madrid institute for advanced studies in software development technologies

  4. www.imdea.org Big Data vs Stream/Dynamic Data Volume Variety Velocity Veracity madrid institute for advanced studies in software development technologies

  5. www.imdea.org Big Data vs Stream/Dynamic Data Dynamic Data are generated by: Real-time sensors System events Volume Social media messages ... Variety Velocity Veracity madrid institute for advanced studies in software development technologies

  6. www.imdea.org Big Data vs Stream/Dynamic Data Dynamic Data are generated by: Real-time sensors System events Volume Social media messages ... Variety Velocity They could be analyzed and used to: Optimize retailers’ stock Optimize supply chain or delivery route Veracity Detect fraudulent transactions Detect cyber attacks Optimize traffic flows ... madrid institute for advanced studies in software development technologies

  7. www.imdea.org Example: Rail ticket retail madrid institute for advanced studies in software development technologies

  8. www.imdea.org Example: Rail ticket retail Rule If there is great activity in the social media regarding a concert, reduce the price-offers and increase the frequencies of trains with the city where the concert will take place. madrid institute for advanced studies in software development technologies

  9. www.imdea.org Example: Rail ticket retail Rule If there is great activity in the social media regarding a concert, reduce the price-offers and increase the frequencies of trains with the city where the concert will take place. Event Great activity is detected in Malaga regarding a concert in Alicante. madrid institute for advanced studies in software development technologies

  10. www.imdea.org Example: Rail ticket retail Rule If there is great activity in the social media regarding a concert, reduce the price-offers and increase the frequencies of trains with the city where the concert will take place. Event Great activity is detected in Malaga regarding a concert in Alicante. Action Modify the offers between Malaga and Alicante. madrid institute for advanced studies in software development technologies

  11. www.imdea.org Example: Rail ticket retail Rule If there is great activity in the social media regarding a concert, reduce the price-offers and increase the frequencies of trains with the city where the concert will take place. Event Great activity is detected in Malaga regarding a concert in Alicante. Action Modify the offers between Malaga and Alicante. Event The concert is postponed one week / bad weather forecast. madrid institute for advanced studies in software development technologies

  12. www.imdea.org Example: Rail ticket retail Rule If there is great activity in the social media regarding a concert, reduce the price-offers and increase the frequencies of trains with the city where the concert will take place. Event Great activity is detected in Malaga regarding a concert in Alicante. Action Modify the offers between Malaga and Alicante. Event The concert is postponed one week / bad weather forecast. Action Update the offers (in real time) and report the event. madrid institute for advanced studies in software development technologies

  13. www.imdea.org Our approach: The application of TCLP , an interface that integrate tabled execution with constraints solvers in a logic programming environment (Prolog) to the evaluation of Dynamic Databases with Rule-Based deduction. Advantages: Expressiveness Will be easier to express complex rules and non-trivial reasoning. Readable Constraint logic programming is closer to the know- ledge representation that e.g. map/reduce functions. Non-monotonicity Revision of previous inferences rules due to modified data (by insertion, modification or deletion). Less computation Automatic reuse of inferences brought by tabling. Only one language Rules and actions can be written using the same for- malism. madrid institute for advanced studies in software development technologies

  14. www.imdea.org Our approach: The application of TCLP , an interface that integrate tabled execution with constraints solvers in a logic programming environment (Prolog) to the evaluation of Dynamic Databases with Rule-Based deduction. Challenges: Design new constraint solvers Design and integrate in TCLP a solver to reduce the required accesses to databases. Re-engineer the tabling engine To avoid using obsolete data / results. Optimize TCLP To minimize the recomputation due to modified data by using previously tabled results. madrid institute for advanced studies in software development technologies

  15. www.imdea.org Thanks Value madrid institute for advanced studies in software development technologies

Recommend

Dagstuhl-Seminar on Rule Markup Techniques 7th of February, 2002 XL: A rule-based query and

Dagstuhl-Seminar on Rule Markup Techniques 7th of February, 2002 XL: A rule-based query and

Dagstuhl-Seminar on Rule Markup Techniques 7th of February, 2002 XL: A rule-based query and transformation language for XML and SSD Fran cois Bry and Sebastian Schaffert Ludwig-Maximilians-Universit at M unchen

393 views • 35 slides
Forward vs. backward proof Consider the following Natural Deduction rule: Rule can be read in two

Forward vs. backward proof Consider the following Natural Deduction rule: Rule can be read in two

Forward vs. backward proof Consider the following Natural Deduction rule: Rule can be read in two ways: Backwards: to prove suffjces to prove Forwards: if holds then holds With apply -style proofs we are reasoning

387 views • 10 slides
Data Mining Classification: Alternative Techniques Lecture Notes for Chapter 4 Rule-Based

Data Mining Classification: Alternative Techniques Lecture Notes for Chapter 4 Rule-Based

Data Mining Classification: Alternative Techniques Lecture Notes for Chapter 4 Rule-Based Introduction to Data Mining , 2 nd Edition by Tan, Steinbach, Karpatne, Kumar 1 Rule-Based Classifier Classify records by using a collection of

440 views • 14 slides
Natural Deduction and Rule Induction Dr. Liam OConnor University of Edinburgh LFCS UNSW, Term

Natural Deduction and Rule Induction Dr. Liam OConnor University of Edinburgh LFCS UNSW, Term

Natural Deduction Rule Induction Ambiguity Simultaneous Induction Natural Deduction and Rule Induction Dr. Liam OConnor University of Edinburgh LFCS UNSW, Term 3 2020 1 Natural Deduction Rule Induction Ambiguity Simultaneous Induction

610 views • 59 slides
Developing and managing dynamic business collaborations A rule based approach for modeling and

Developing and managing dynamic business collaborations A rule based approach for modeling and

Developing and managing dynamic business collaborations A rule based approach for modeling and verifying business collaboration systems Bart Orrins Department of Information Management Tilburg University ... And everything after

543 views • 33 slides
Rule-based Processing of Dynamic Linked Data Tutorial at the European Semantic Web Conference

Rule-based Processing of Dynamic Linked Data Tutorial at the European Semantic Web Conference

Rule-based Processing of Dynamic Linked Data Tutorial at the European Semantic Web Conference (ESWC) 2017 Andreas Harth and Tobias Kfer INSTITUTE AIFB, CHAIR FOR WEB SCIENCE KIT Die Forschungsuniversitt in der Helmholtz-Gemeinschaft

1.44k views • 110 slides
Path-Based Query Computation by Automated Deduction Peter Baumgartner AG 2

Path-Based Query Computation by Automated Deduction Peter Baumgartner AG 2

Path-Based Query Computation by Automated Deduction Peter Baumgartner AG 2 www.mpi-sb.mpg.de/~baumgart/ P. Baumgartner Path-Based Query Computation by Automated Deduction Page 1 Background Deduction Systems First-Order Classical and

256 views • 10 slides
Dependability Evaluation Techniques for Dependability Evaluation The dependability evaluation of

Dependability Evaluation Techniques for Dependability Evaluation The dependability evaluation of

Dependability Evaluation Techniques for Dependability Evaluation The dependability evaluation of a system can be carried out either: experimentally (heuristic) : a system prototype is built and empirical statistical data are used to evaluate

470 views • 25 slides
A Decision Tree-based Approach to Dynamic Pointcut Evaluation Robert Dyer and Hridesh Rajan

A Decision Tree-based Approach to Dynamic Pointcut Evaluation Robert Dyer and Hridesh Rajan

A Decision Tree-based Approach to Dynamic Pointcut Evaluation Robert Dyer and Hridesh Rajan Department of Computer Science Iowa State University { rdyer,hridesh } @cs.iastate.edu October 19, 2008 Overview Problem Our Approach Evaluation

629 views • 47 slides
Knowledge Based Systems: Knowledge Based Systems: Logic and Deduction Logic and Deduction

Knowledge Based Systems: Knowledge Based Systems: Logic and Deduction Logic and Deduction

Knowledge Based Systems: Knowledge Based Systems: Logic and Deduction Logic and Deduction Course: CS40002 Course: CS40002 Instructor: Dr. Pallab Dasgupta Pallab Dasgupta Instructor: Dr. Department of Computer Science & Engineering

519 views • 16 slides
Computation and Deduction Lecture 15: Natural Deduction March 4, 1997 1. Natural Deduction 2.

Computation and Deduction Lecture 15: Natural Deduction March 4, 1997 1. Natural Deduction 2.

Computation and Deduction Lecture 15: Natural Deduction March 4, 1997 1. Natural Deduction 2. Local Reduction 3. Congruences 15.1 Predicate Logic i : type. % individuals o : type. % formulas %name i T S %name o A B C and : o -> o

214 views • 9 slides
Natural Deduction Akim Demaille akim@lrde.epita.fr EPITA cole Pour lInformatique et les

Natural Deduction Akim Demaille akim@lrde.epita.fr EPITA cole Pour lInformatique et les

Natural Deduction Akim Demaille akim@lrde.epita.fr EPITA cole Pour lInformatique et les Techniques Avances June 10, 2016 Define logic [fuc, ] A. Demaille Natural Deduction 2 / 49 Natural Deduction 1 Logical Formalisms

1.16k views • 80 slides
Natural Deduction for Classical Propositional Logic Valentin Goranko DTU Informatics September

Natural Deduction for Classical Propositional Logic Valentin Goranko DTU Informatics September

Natural Deduction for Classical Propositional Logic Valentin Goranko DTU Informatics September 2010 1 Natural Deduction ND: System for structured deduction from a set of assumptions, based on rules, specific

142 views • 13 slides
Automatic acquisition of Named Entities for Rule-Based Machine Translation Antonio Toral , Andy

Automatic acquisition of Named Entities for Rule-Based Machine Translation Antonio Toral , Andy

Introduction MINELex Methodology Evaluation Conclusions Automatic acquisition of Named Entities for Rule-Based Machine Translation Antonio Toral , Andy Way DCU 2 nd International Workshop on Free/Open-Source Rule-Based Machine Translation

944 views • 69 slides
Evaluation of Techniques to Detect Wrong Interaction Based Trace Links Paul Hbner and Barbara

Evaluation of Techniques to Detect Wrong Interaction Based Trace Links Paul Hbner and Barbara

Evaluation of Techniques to Detect Wrong Interaction Based Trace Links Paul Hbner and Barbara Paech Institute for Computer Science Heidelberg University Motivation: Why Do We Need Another Trace Link Creation Approach? Our application

398 views • 27 slides
Optimizing a Rule Engine using Adaptive Programming Techniques Changhai Ke Chief Architect, ILOG

Optimizing a Rule Engine using Adaptive Programming Techniques Changhai Ke Chief Architect, ILOG

SEAMS Workshop May 2006, Shanghai Optimizing a Rule Engine using Adaptive Programming Techniques Changhai Ke Chief Architect, ILOG http://www.ilog.com Agenda Rule engines, rule interpreters Implementation & challenges 1.

427 views • 13 slides
SENSORY EVALUATION .. Basics of Sensory evaluation, Tools, Techniques, Methods and

SENSORY EVALUATION .. Basics of Sensory evaluation, Tools, Techniques, Methods and

SENSORY EVALUATION .. Basics of Sensory evaluation, Tools, Techniques, Methods and Interpretation 1 SENSORY EVALUATION Sensory evaluation is a scientific discipline that analyses and measures human responses to the composition and

758 views • 39 slides
1 Why ELSS? Deduction U/s 80C Deduction can be claimed by investing in ELSS funds along

1 Why ELSS? Deduction U/s 80C Deduction can be claimed by investing in ELSS funds along

1 Why ELSS? Deduction U/s 80C Deduction can be claimed by investing in ELSS funds along with other prescribed investments u/s 80C upto Rs 1,50,000/- Exposure to equities with a long term horizon 3 Year lock in ensures money

577 views • 20 slides
Predicate Logic: Natural Deduction Alice Gao Lecture 15 Based on work by J. Buss, L. Kari, A.

Predicate Logic: Natural Deduction Alice Gao Lecture 15 Based on work by J. Buss, L. Kari, A.

1/14 Predicate Logic: Natural Deduction Alice Gao Lecture 15 Based on work by J. Buss, L. Kari, A. Lubiw, B. Bonakdarpour, D. Maftuleac, C. Roberts, R. Trefmer, and P. Van Beek 2/14 Outline Natural Deduction of Predicate Logic The Learning

252 views • 14 slides
Blind Sensing Techniques based on Kullback-Leibler Distance for Cognitive Radio Systems A. Hayar*

Blind Sensing Techniques based on Kullback-Leibler Distance for Cognitive Radio Systems A. Hayar*

Context Challenges Challenges Spectrum Sensing Goal Model Selection Strategy Distribution Analysis Based Detection Dimension Estimation Based Detection Performance Evaluation Blind Sensing Techniques based on Kullback-Leibler Distance for

722 views • 25 slides
Exercises on -calculus and Deduction Systems Akim Demaille akim@lrde.epita.fr EPITA cole

Exercises on -calculus and Deduction Systems Akim Demaille akim@lrde.epita.fr EPITA cole

Exercises on -calculus and Deduction Systems Akim Demaille akim@lrde.epita.fr EPITA cole Pour lInformatique et les Techniques Avances June 10, 2016 Exercises on -calculus and Deduction Systems 1 -calculus Deduction Systems 2

939 views • 57 slides
Comments on C. Walsh: The Challenges with Rule-Based Policy Implementation Jos e De Gregorio

Comments on C. Walsh: The Challenges with Rule-Based Policy Implementation Jos e De Gregorio

Summary of the paper Goal-based and Rule-based MP The loss function and deviations from the rule Practical policy issues Comments on C. Walsh: The Challenges with Rule-Based Policy Implementation Jos e De Gregorio Universidad de Chile

139 views • 12 slides
CHR - a common platform for rule-based approaches Prof. Dr. Thom Fr uhwirth | June 2010 | Uni

CHR - a common platform for rule-based approaches Prof. Dr. Thom Fr uhwirth | June 2010 | Uni

CHR - a common platform for rule-based approaches Prof. Dr. Thom Fr uhwirth | June 2010 | Uni Ulm Page 2 Rule-based Approaches in CHR | Motivation Renaissance of rule-based approaches Results on rule-based system re-used and re-examined for

1.29k views • 95 slides
IRC 199A QUALIFIED BUSINESS INCOME Stuart M. Bordman, Esq. October 27, 2018 Basic Rule

IRC 199A QUALIFIED BUSINESS INCOME Stuart M. Bordman, Esq. October 27, 2018 Basic Rule

October 27, 2018 IRC 199A QUALIFIED BUSINESS INCOME Stuart M. Bordman, Esq. October 27, 2018 Basic Rule Non-Service SSTB Taxable income less 20% deduction 20% deduction than $315,000 (MFJ) Taxable income greater than $315,000 but

235 views • 9 slides

More recommend