Correspondence Analysis for Some Fragments of Classical Propositional Logic.
Yaroslav I. PetrukhinVasilyi ShanginPublished in: Logica Universalis (2021)
Keyphrases
- propositional logic
- correspondence analysis
- horn logic
- multivariate statistical analysis
- belief revision
- factor analysis
- first order logic
- categorical data
- quantified boolean formulae
- valued logic
- lattice theory
- neural network
- multidimensional scaling
- feature selection
- propositional satisfiability
- statistical analysis
- feature vectors
- pattern recognition
- belief change
- knowledge base
- satisfiability testing
- artificial intelligence