exploiting the hierarchical structure of rule based
play

Exploiting the hierarchical structure of rule-based specifications - PowerPoint PPT Presentation

Dec 13, 2022 •329 likes •1.29k views

Exploiting the hierarchical structure of rule-based specifications for decision planning Alberto Lluch Artur Boronat Roberto Bruni Ugo Montanari Generoso Paolillo IFIP International Conference on Formal T echniques for Distributed Systems

  1. Exploiting the hierarchical structure of rule-based specifications for decision planning Alberto Lluch Artur Boronat Roberto Bruni Ugo Montanari Generoso Paolillo IFIP International Conference on Formal T echniques for Distributed Systems June 7 – 10, 2010, Amsterdam

  2. MOF UML RS TRANSFORMATION CD1 CD2 REFACTORING RECONFIGURATION OC1 OC2

  3. MOF UML RS TRANSFORMATION Rewriting Logic Semantics [Boronat,Meseguer @FASE'08] CD1 CD2 REFACTORING RECONFIGURATION OC1 OC2

  4. MOF UML RS TRANSFORMATION Rewriting Logic Semantics [Boronat,Meseguer @FASE'08] CD1 CD2 REFACTORING RECONFIGURATION OC1 OC2 MOMENT2=ECLIPSE+MAUDE

  5. a

  6. a [G(a)] | [H(a)]

  7. a [G(a)] | [H(a)] SOS-like rules

  8. a [G(a)] | [H(a)] SOS-like rules MAUDE

  9. a [G(a)] | [H(a)] ADR [Montanari, Bruni, Lluch, SOS-like rules Gadducci, Tuosto, etc. @TGC'10] MAUDE

  10. 1 contains

  11. 1 contains 2

  12. 1 contains 2 3 q

  13. 1 contains 2 3 q

  14. 0..1 0..* A B

  15. BOX contains color: ●●●... points

  18. a b < a:Box | content:b > , < b:Box | container:a >

  19. a b < a:Box | content:b > , < b:Box | container:a > < a : Box | a < b : Box > b >

  24. Object Collections (flat graphs) Conformant

  25. Object Collections (flat graphs) Nested Object Collections (hierarchical graphs) Conformant Conformant

  26. 1 contains 2 3 q

  46. WHICH STYLE IS BEST?

  48. vs

  50. vs

  59. SPO e PURE m SOS i t LOCAL SOS 2 4 2 5 2 6

  60. 1 contains 2 3 q

  63. ?

  64. ? or ?

  65. 1 2

  67. a

  68. a b

  69. a b a+b

  70. 1$,2h 2$,1h

  71. a,b c,d a+c,max(c,d)

  72. < A , + , x , 0 , 1 > < Domain , choose , combine , worst , best > < Nat ∞ , min , + , ∞ , 0 > < [0,1] , min , max , 0 , 1 > < Bool , or , and , false , true >

  73. < A , + , x , 0 , 1 > < Domain , choose , combine , worst , best > < Nat ∞ , min , + , ∞ , 0 > < [0,1] , min , max , 0 , 1 > < Bool , or , and , false , true >

  74. <A,+,x,0,1> X <B,+,x,0,1> = < AxB, (+,+), (x,x), (0,0), (1,1) >

  75. e d c b

  76. a b a x b

  77. IMPLEMENTATION NOTES

  78. Object Configuration Module Nested Object Configuration Module Rewrite rules STATE SPACE

  79. MOMENT2 http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt/ FRONT-END INTERFACE MAUDE BACK-END

  80. MOMENT2 http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt/ FRONT-END INTERFACE proof of MAUDE BACK-END concept

  81. MOMENT2 http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt/ ??? FRONT-END INTERFACE proof of MAUDE BACK-END concept

  83. UML UML RDBS

  84. SPO UML UML RDBS S O S

  85. CONCLUSION

  86. FLAT HIERARCHICAL

  87. FLAT HIERARCHICAL SPO/REDUCTION CRL/SOS

  88. FLAT HIERARCHICAL SPO/REDUCTION CRL/SOS QUALITATIVE QUANTITATIVE

  89. FLAT HIERARCHICAL SPO/REDUCTION CRL/SOS QUALITATIVE QUANTITATIVE Composition-free Composition-driven

  90. FLAT HIERARCHICAL SPO/REDUCTION CRL/SOS QUALITATIVE QUANTITATIVE Composition-free Composition-driven Sequences Trees

  91. FLAT HIERARCHICAL SPO/REDUCTION CRL/SOS QUALITATIVE QUANTITATIVE Composition-free Composition-driven Sequences Trees Any choice Quantitative choice

  92. FLAT HIERARCHICAL SPO/REDUCTION CRL/SOS QUALITATIVE QUANTITATIVE Composition-free Composition-driven Sequences Trees Any choice Quantitative choice RL/Maude ...RL/Maude!

  93. THANKS!

  94. alberto.lluch@imtlucca.it linkedin.com/in/albertolluch

Recommend

Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference David

Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference David

To appear, Proc. 15th International Joint Conference on AI (IJCAI-97), Nagoya, Japan, August, 1997 Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference David Poole Department of Computer Science University

220 views • 8 slides
Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference David

Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference David

Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference David Poole University of British Columbia 1 Overview Belief Networks Variable Elimination Algorithm Parent Contexts &amp; Structured

259 views • 21 slides
Exploiting Syntactic Structure for Language Modeling Ciprian Chelba, Frederick Jelinek

Exploiting Syntactic Structure for Language Modeling Ciprian Chelba, Frederick Jelinek

Hierarchical Structure in Natural Language ended_S ended_VP with_PP loss_NP of_PP cents_NP contract_NP loss_NP cents_NNS 7_CD the_DT contract_NN ended_VBD with_IN a_DT loss_NN of_IN Words are hierarchically organized in

768 views • 39 slides
EXPLOITING STRUCTURE FOR META-LEARNING NeurIPS Metalearning Workshop | December 8, 2018 Lise

EXPLOITING STRUCTURE FOR META-LEARNING NeurIPS Metalearning Workshop | December 8, 2018 Lise

EXPLOITING STRUCTURE FOR META-LEARNING NeurIPS Metalearning Workshop | December 8, 2018 Lise Getoor | UC Santa Cruz | @lgetoor STRUCTURE STRUCTURE IN STRUCTURE IN INPUTS OUTPUTS STRUCTURE IN META-LEARNING MODEL THIS TALK Structure &amp;

630 views • 45 slides
Extracting Logical Hierarchical Structure of HTML Documents Based on Headings Tomohiro Manabe and

Extracting Logical Hierarchical Structure of HTML Documents Based on Headings Tomohiro Manabe and

Extracting Logical Hierarchical Structure of HTML Documents Based on Headings Tomohiro Manabe and Keishi Tajima Graduate School of Informatics, Kyoto Univ. Sakyo, Kyoto 606-8501 Japan {manabe@dl.kuis, tajima@i}.kyoto-u.ac.jp Background

1.2k views • 64 slides
Dialogue Quality and Nugget Detection for Short Text Conversation (STC-3) based on Hierarchical

Dialogue Quality and Nugget Detection for Short Text Conversation (STC-3) based on Hierarchical

WIDM @ NTCIR-14 STC-3 Task: Dialogue Quality and Nugget Detection for Short Text Conversation (STC-3) based on Hierarchical Multi-Stack Model with Memory Enhance Structure NATIONAL CENTRAL UNIVERSITY, TAOYUAN, TAIWAN AUTHORS : HSIANG-EN CHERNG

984 views • 49 slides
Paper Reviewed (1) Overview Relational Database VS Data Cubes How to derive the Hierarchical

Paper Reviewed (1) Overview Relational Database VS Data Cubes How to derive the Hierarchical

Hierarchical Structure of Data Paper Reviewed (1) Overview Relational Database VS Data Cubes How to derive the Hierarchical Structure of Data Aspects of data dimensions Chris Stolte, Diane Tang, Pat Hanrahan Hierarchical

410 views • 4 slides
Exploiting Structure of Uncertainty for Efficient Matroid Semi-Bandits Pierre Perrault (INRIA

Exploiting Structure of Uncertainty for Efficient Matroid Semi-Bandits Pierre Perrault (INRIA

Exploiting Structure of Uncertainty for Efficient Matroid Semi-Bandits Pierre Perrault (INRIA Lille CMLA, ENS PS) Vianney Perchet (CMLA, ENS PS Criteo AI Lab) Michal Valko (INRIA Lille) Perrault et al. Exploiting Structure of

302 views • 8 slides
Less is more: Exploiting structure in high-dimensional quantum tomography and other problems

Less is more: Exploiting structure in high-dimensional quantum tomography and other problems

Less is more: Exploiting structure in high-dimensional quantum tomography and other problems Jens Eisert FU Berlin Mentions joint work with several people, of which are here Adrian Steffens Carlos Riofrio David Gross Richard Nickl

537 views • 37 slides
Five hierarchical levels of sequence-structure correlations in proteins Chris Bystroff

Five hierarchical levels of sequence-structure correlations in proteins Chris Bystroff

Five hierarchical levels of sequence-structure correlations in proteins Chris Bystroff Rensselaer Polytechnic Institute Troy, New York, USA What does structure prediction tell us about the physics of folding? Check one: A. If we can

1k views • 48 slides
Recursive Lattice Search: Hierarchical Heavy Hitters Revisited Kenjiro Cho IIJ Research

Recursive Lattice Search: Hierarchical Heavy Hitters Revisited Kenjiro Cho IIJ Research

Recursive Lattice Search: Hierarchical Heavy Hitters Revisited Kenjiro Cho IIJ Research Laboratory IMC17 November 2, 2017 Hierarchical Heavy Hitters (HHHs) identifying significant clusters across multiple planes - exploiting underlying

807 views • 45 slides
Using Hierarchical Modeling to Assist Using Hierarchical Modeling to Assist Effects Based

Using Hierarchical Modeling to Assist Using Hierarchical Modeling to Assist Effects Based

Using Hierarchical Modeling to Assist Using Hierarchical Modeling to Assist Effects Based Planning and Assessment Effects Based Planning and Assessment Lt Col Dave Doc Denhard, PhD Maj Robert Dagwood Umstead Air Force Institute of

791 views • 17 slides
Classification using Hierarchical Naive Bayes Models HNB workshop HNB workshop p.1/18

Classification using Hierarchical Naive Bayes Models HNB workshop HNB workshop p.1/18

Classification using Hierarchical Naive Bayes Models HNB workshop HNB workshop p.1/18 Motivation Previous work on learning a HNBs focused on scientific modeling, i.e.: Find an interesting latent structure (based on the BIC score). We

444 views • 17 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
Exploiting Network Structure for Proactive Spam Mitigation Shobha Venkataraman, Subhabrata Sen,

Exploiting Network Structure for Proactive Spam Mitigation Shobha Venkataraman, Subhabrata Sen,

Exploiting Network Structure for Proactive Spam Mitigation Shobha Venkataraman, Subhabrata Sen, Oliver Spatscheck, Patrick Haffner, Dawn Song Portcullis: Protecting Connection Setup from Denial-of-Capability Attacks Bryan Parno, Dan Wendlandt,

774 views • 40 slides
Robot learning from few demonstrations by exploiting the structure and geometry of data Sylvain

Robot learning from few demonstrations by exploiting the structure and geometry of data Sylvain

Robot learning from few demonstrations by exploiting the structure and geometry of data Sylvain Calinon Senior Researcher Idiap Research Institute, Martigny, Switzerland Lecturer EPFL, Lausanne, Switzerland External Collaborator IIT,

607 views • 43 slides
Hierarchical Task Network (HTN) Planning Jos Luis Ambite* [* Based in part on presentations by

Hierarchical Task Network (HTN) Planning Jos Luis Ambite* [* Based in part on presentations by

Hierarchical Task Network (HTN) Planning Jos Luis Ambite* [* Based in part on presentations by Dana Nau and Rao Kambhampati] 1 Hierarchical Decomposition 2 Task Reduction 3 Hierarchical Planning Brief History Originally developed about

545 views • 35 slides
Exploiting Exploiting Back-End Back-End APIs APIs fo for Feasible easible Ontology-Based

Exploiting Exploiting Back-End Back-End APIs APIs fo for Feasible easible Ontology-Based

Simon Simon Schiff Schiff, zgr zgr L. L. zep zep Exploiting Exploiting Back-End Back-End APIs APIs fo for Feasible easible Ontology-Based Ontology-Based Stream Stream Access cess Fourth Stream Reasoning Workshop,

260 views • 22 slides
The Basics 1. Talking about Morphemes 2. General o Affixes o Hierarchical

The Basics 1. Talking about Morphemes 2. General o Affixes o Hierarchical

The Basics 1. Talking about Morphemes 2. General o Affixes o Hierarchical Structure 3. Morphophonology 4. Coining New Words 5. Definition: the study of word structure Morphology is part of the grammar . Contains

811 views • 40 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
CS 4204 Computer Graphics Structure Graphics and Structure Graphics and Hierarchical Modeling

CS 4204 Computer Graphics Structure Graphics and Structure Graphics and Hierarchical Modeling

CS 4204 Computer Graphics Structure Graphics and Structure Graphics and Hierarchical Modeling Hierarchical Modeling Yong Cao Yong Cao Virginia Tech Virginia Tech References: References: Interactive Computer Graphics, Fourth Edition, Ed

508 views • 37 slides
Introduction to HPSG Class 1: Clause Structure, Hierarchical Organization of Knowledge, Lexical

Introduction to HPSG Class 1: Clause Structure, Hierarchical Organization of Knowledge, Lexical

Clause Structure, Hierarchical Organization of Knowledge, Lexical Regularities Introduction to HPSG Class 1: Clause Structure, Hierarchical Organization of Knowledge, Lexical Regularities Stefan M uller Ivan A. Sag Theoretical

1.6k views • 133 slides
Exploiting model structure to encode transition relations and transition rate matrices

Exploiting model structure to encode transition relations and transition rate matrices

Exploiting model structure to encode transition relations and transition rate matrices Gianfranco Ciardo Department of Computer Science and Engineering University of California, Riverside Supported in part by the National Science Foundation

591 views • 44 slides
Exploiting Underlying Structure for Detailed Reconstruction of an Internet-scale Event Abhishek

Exploiting Underlying Structure for Detailed Reconstruction of an Internet-scale Event Abhishek

Exploiting Underlying Structure for Detailed Reconstruction of an Internet-scale Event Abhishek Kumar (Georgia Tech / Google) Vern Paxson (ICSI) Nicholas Weaver (ICSI) Proc. ACM Internet Measurement Conference 2005 1 Enhancing Telescope

574 views • 55 slides

More recommend