概率拟Hoare逻辑 (Probabilistic Quasi-Hoare Logic).
Xinxing WuGuosheng HuYixiang ChenPublished in: 计算机科学 (2016)
Keyphrases
- probabilistic logic
- probabilistic model
- probability theory
- modal logic
- real time
- predicate logic
- logical framework
- uncertain data
- bayesian networks
- expert systems
- data model
- formal theory
- automated reasoning
- generative model
- logic programming
- search algorithm
- database systems
- learning algorithm
- information retrieval
- machine learning
- data mining
- neural network
- data sets