Tree rules in probabilistic transition system specifications with negative and quantitative premises
Matias David LeeDaniel GeblerPedro R. D'ArgenioPublished in: EXPRESS/SOS (2012)
Keyphrases
- probabilistic relational
- quantitative measures
- association rules
- probabilistic model
- tree structure
- association rule mining
- qualitative and quantitative
- probabilistic logic
- uncertain data
- positive and negative
- index structure
- rule sets
- conditional probabilities
- semantic constraints
- binary tree
- data mining
- background knowledge
- delay insensitive
- boolean expressions
- fuzzy decision trees
- knowledge base
- training data
- specification language
- functional requirements
- tree structures
- business rules
- quantitative and qualitative
- generative model
- neural network