Concept Learning in AutomationML with Formal Semantics and Inductive Logic Programming.
Yingbing HuaBjörn HeinPublished in: CASE (2018)
Keyphrases
- concept learning
- formal semantics
- inductive logic programming
- first order logic
- background knowledge
- relational learning
- inductive learning
- theorem prover
- representation language
- rule learning
- logic programs
- logic programming
- statistical relational learning
- modeling language
- constructive induction
- probabilistic reasoning
- uncertain databases
- machine learning
- knowledge representation
- inference rules
- general purpose
- markov logic
- contextual information
- object oriented
- markov logic networks
- prior knowledge
- learning algorithm