A Logic of Inductive Implication or Artificial Intelligence Meets Philosophy of Science II.
Ricardo Sousa SilvestreTarcisio H. C. PequenoPublished in: Canadian Conference on AI (2005)
Keyphrases
- artificial intelligence
- knowledge representation
- deductive reasoning
- cognitive science
- computer science
- logic programming
- machine learning
- inductive learning
- human reasoning
- software engineering
- intelligent systems
- machine intelligence
- knowledge based systems
- fuzzy logic
- inductive logic programming
- modal logic
- engineering design
- ai methods
- classical logic
- information sciences
- asynchronous circuits
- scientific discovery
- cognitive psychology
- data mining
- natural language processing
- human intelligence
- predicate logic
- logical framework
- automated reasoning
- ai researchers
- ambient intelligence