A computational framework for Karl Popper's logic of scientific discovery.
Wei LiYuefei SuiPublished in: Sci. China Inf. Sci. (2018)
Keyphrases
- computational framework
- scientific discovery
- human reasoning
- computational model
- artificial intelligence
- knowledge discovery
- tensor voting
- active vision
- algebraic structure
- logic programming
- classical logic
- modal logic
- multi valued
- automated reasoning
- deontic logic
- digital circuits
- defeasible logic
- database
- genetic algorithm
- information retrieval
- neural network