A case for abductive reasoning over ontologies
作者： Corinna Elsenbroich , Oliver Kutz , Ulrike Sattler
DOI:
关键词: Abductive logic programming 、 Reasoning system 、 Model-based reasoning 、 Context (language use) 、 Deductive reasoning 、 Machine learning 、 Abductive reasoning 、 Computer science 、 Psychology of reasoning 、 Non-monotonic logic 、 Artificial intelligence
摘要: We argue for the usefulness of abductive reasoning in context ontologies. discuss several applicaton scenarios which various forms abduction would be useful, introduce corresponding tasks, give examples, and begin to develop formal apparatus needed employ inference expressive description
manchester.ac.uk
unibz.it 
man.ac.uk 
researchgate.net 参考文章(36)
Pierre Marquis, Extending abduction from propositional to first-order logic FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research. pp. 141- 155 ,(1991) , 10.1007/3-540-54507-7_12
Franz Baader, Ralf Küsters, Nonstandard Inferences in Description Logics: The Story So Far Springer, New York, NY. pp. 1- 75 ,(2006) , 10.1007/0-387-31072-X_1
Aditya Kalyanpur, James Hendler, Debugging and repair of owl ontologies University of Maryland at College Park. ,(2006)
Johan de Kleer, Raymond Reiter, Found ations of assumption-based truth maintenance systems: preliminary report national conference on artificial intelligence. pp. 183- 188 ,(1987)
Achille Varzi, Roberto Casati, Parts and places ,(1999)
Nicolas Lachiche, Abduction and Induction from a Non-Monotonic Reasoning Perspective Springer, Dordrecht. pp. 107- 116 ,(2000) , 10.1007/978-94-017-0606-3_7
Burton Dreben, Warren D. Goldfarb, The decision problem: Solvable classes of quantificational formulas ,(1979)
Antoon Goderis, Ulrike Sattler, Phillip Lord, Carole Goble, Seven Bottlenecks to Workflow Reuse and Repurposing The Semantic Web – ISWC 2005. pp. 323- 337 ,(2005) , 10.1007/11574620_25
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan, Computing the least common subsumer w.r.t. a background terminology european conference on logics in artificial intelligence. pp. 400- 412 ,(2004) , 10.1007/978-3-540-30227-8_34
Franz Baader, Ulrike Sattler, An Overview of Tableau Algorithms for Description Logics Studia Logica. ,vol. 69, pp. 5- 40 ,(2001) , 10.1023/A:1013882326814