Argument-based inductive logics, with coverage of compromised perception.
Selmer BringsjordMichael GiancolaNaveen Sundar GovindarajuluJohn SlowikJames T. OswaldPaul BelloMicah ClarkPublished in: Frontiers Artif. Intell. (2023)
Keyphrases
- expressive power
- modal logic
- inductive learning
- machine learning
- propositional calculus
- knowledge elicitation
- visual perception
- machine intelligence
- bayesian networks
- proof theory
- inference rules
- concept learning
- inductive logic programming
- knowledge representation
- classical logic
- inductive reasoning
- epistemic logic
- practical reasoning
- inductive concept learning