Diagnosis knowledge constrained network based on first-order logic for syndrome differentiation.
Meiwen LiLin WangQingtao WuJunlong ZhuMingchuan ZhangPublished in: Artif. Intell. Medicine (2024)
Keyphrases
- first order logic
- knowledge representation
- representation language
- expressive power
- propositional logic
- theorem proving
- temporal knowledge
- logical rules
- probabilistic graphical models
- inference rules
- theorem prover
- probabilistic reasoning
- domain knowledge
- markov networks
- transitive closure
- markov logic networks
- logical formulas
- quantifier elimination
- constraint databases
- inductive logic programming
- traditional chinese medicine
- anti unification
- highly expressive
- timed automata
- machine learning
- horn clauses
- relational algebra
- background knowledge
- graphical models
- expert systems
- computational complexity
- artificial intelligence