American philosopher who developed a comprehensive account of defeasible reasoning and built OSCAR — an AI system that reasons in accordance with philosophical epistemology.
Defeasible reasoning: not all valid inference is deductive — many inferences are defeasible (can be defeated by additional information). Contemporary Theories of Knowledge: systematic treatment of defeasibility. OSCAR: an AI system implementing defeasible reasoning that demonstrates the computational tractability of philosophical epistemology.
Discussing
Ask anything about John Pollock — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.