Reasoning without believing: on the mechanisation of presuppositions and partiality.
Manfred KerberMichael KohlhasePublished in: J. Appl. Non Class. Logics (2012)
Keyphrases
- reasoning tasks
- knowledge base
- automated reasoning
- conflicting information
- qualitative reasoning
- production rules
- reasoning systems
- model based reasoning
- information systems
- knowledge processing
- knowledge representation
- database
- resource bounded
- databases
- consistency checking
- analogical reasoning
- fuzzy logic
- meta level
- learning environment
- decision making
- genetic algorithm
- machine learning
- data mining
- neural network
- real time