Normal Modal Logics Determined by Aligned Clusters.
Zofia KostrzyckaYutaka MiyazakiPublished in: Stud Logica (2017)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- nonmonotonic logics
- inference rules
- clustering algorithm
- hierarchical clustering
- default logic
- classical logic
- fuzzy clustering
- autoepistemic logic
- cluster analysis
- epistemic logic
- first order logic
- data integration
- state space
- data points
- situation calculus
- probabilistic model
- special case
- expert systems
- reinforcement learning
- knowledge base
- artificial intelligence