Type inference for hierarchical multiset structures in rule-based systems.
Bogdan AmanGabriel CiobanuPublished in: Inf. Sci. (2021)
Keyphrases
- rule based systems
- backward chaining
- rule base
- inference engine
- expert systems
- rule based expert systems
- knowledge based systems
- formal models
- security systems
- hierarchical structures
- knowledge representation
- knowledge base
- procedural semantics
- artificial intelligence
- inference process
- pattern recognition
- bayesian inference
- high dimensional
- feature selection
- real world