摘要
The notion of abduction was first introduced by the philosopher and logician C. S. Pierce, who claims de-duction, abduction and induction are three different forms of human reasoning. Broadly speaking, abduction is a rea-soning process invoked to explain a puzzling observation. The study of logic-based abduction has been the most activeresearch in AI, and there are many results around the subject. This paper surveys the state-of-the-art research andpresents some problems for future work.
The notion of abduction was first introduced by the philosopher and logician C. S. Pierce, who claims deduction , abduction and induction are three different forms of human reasoning. Broadly speaking, abduction is a reasoning process invoked to explain a puzzling observation. The study of logic-based abduction has been the most active research in AI?and there are many results around the subject. This paper surveys the state-of-the-art research and presents some problems for future work-
出处
《计算机科学》
CSCD
北大核心
2003年第5期23-25,36,共4页
Computer Science
基金
广东省自然科学基金(011162)
中山大学青年教师科研启动基金
关键词
人工智能
溯因推理
归纳推理
演绎推理
Abduction
Induction
Logic-based abductive reasoning
Logic programming