Generalized Logical Consequence: Making Room for Induction in the Logic of Science.
Samir ChopraEric MartinPublished in: J. Philos. Log. (2002)
Keyphrases
- attribute oriented
- computer science
- multi valued
- continuous valued attributes
- logic programming
- data mining
- machine learning
- artificial intelligence
- computational properties
- proof search
- automated reasoning
- longitudinal study
- concept formation
- modal logic
- computational science
- proof theory
- real time
- intuitionistic logic
- deontic logic
- science learning
- classical logic
- science education
- inductive learning
- databases
- data sets