Abductive reasoning through filtering

Artificial Intelligence

Volumn 120, Issue 1, 2000, Pages 1-28

  Baral, Chitta ^a  

^a Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS;

ABDUCTIVE REASONING; KNOWLEDGE ASSIMILATION;

INFERENCE ENGINES;

EID: 0033707285     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00020-5     Document Type: Article

References (67)

1. Allen J., Kautz H., Pelavin R., Tenenberg J. Reasoning about Plans. 1991;Morgan Kaufmann, San Mateo, CA.
2. Baral C., Gelfond M. Logic programming and knowledge representation. J. Logic Programming. Vol. 19-20:1994;73-148.
3. Baral C., Gelfond M. Reasoning about effects of concurrent actions. J. Logic Programming. Vol. 31:(1-3):1997;85-117.
4. Baral C., Gabaldon A., Provetti A. Formalizing Narratives using nested circumscription. Artificial Intelligence. Vol. 104:(1-2):1998;107-164.
5. Baral C., Gabaldon A., Provetti A. Value minimization in circumscription. Artificial Intelligence. Vol. 102:(2):1998;163-186.
6. Boutilier C. Abduction to plausible causes: An event based model of belief update. Artificial Intelligence. Vol. 83:1996;143-166.
7. Boutilier C., Becher V. Abduction as belief revision. Artificial Intelligence. Vol. 77:1995;43-94.
8. Clark K. Negation as failure. Gallaire H., Minker J. Logic and Data Bases. 1978;293-322 Plenum Press, New York.
9. Console L., Dupre D., Torasso P. On the relationship between abduction and deduction. J. Logic Comput. Vol. 2:(5):1991.
10. Crawford J., Etherington D. Formalizing reasoning about change: A qualitative reasoning approach. Proc. AAAI-92, San Jose, CA. 1992;577-583.
11. Denecker M., De Schreye D. SLDNFA: An abductive procedure for abductive logic programs. J. Logic Programming. Vol. 34:(2):1997;111-167.
12. Denecker M., De Schreye D. Representing incomplete knowledge in abductive logic programming. Proc. ILPS-93, Vancouver, BC. 1993;147-164.
13. Denecker M., Missiaen L., Bruynooghe M. Temporal reasoning with abductive event calculus. Proc. ECAI-92, Vienna, Austria. 1992.
14. Dimopoulos Y., Nebel B., Koehler J. Encoding planning problems in nonmonotonic logic programs. Proc. European Conference on Planning. 1997;169-181.
15. Doherty P. Notes on PMON circumscription, Technical Report LITH-IDA-94-43. 1994;Department of Computer and Information Science, Linköping University, Sweden.
16. Doherty P. Reasoning about action and change using occlusion. Proc. ECAI-94, Amsterdam. 1994;401-405.
17. Doherty P. PMON + : A fluent logic for action and change - formal specification. Electronic Transactions on Artificial Intelligence. Vol. 2:(20):1997;. http://www.ep.liu.se/ea/cis/1997/020.
18. Doherty P., Gustafsson J., Karlsson L., Kvarnstrom J. TAL: Temporal action logics - Language specification and tutorial. Electronic Transactions on Artificial Intelligence. Vol. 3:(15):1998;. http://www.ep.liu.se/ej/etai/1998/015.
19. Dung P. Representing actions in logic programming and its application in database updates. Warren D.S. Proc. ICLP-93, Budapest, Hungary. 1993;222-238.
20. Eiter T., Gottlob G., Leone N. Semantics and complexity of abduction from default theories. Artificial Intelligence. Vol. 90:1997;177-223.
21. Eiter T., Leone N., Mateis C., Pfeifer G., Scarcello F. A deductive system for nonmonotonic reasoning. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy. 1998;406-417.
22. Eshghi K. Abductive planning with event calculus. Proc. 5th ICLP. 1988;562-579.
23. K. Eshghi, R. Kowalski, Abduction through deduction (1988), unpublished paper.
24. Eshghi K., Kowalski R. Abduction compared with negation as failure. Levi G., Martelli M. Logic Programming: Proc. 6th Internat. Conference, Lisbon, Portugal. 1989;234-255.
25. H. Geffner, Filtering and conditioning (1999), personal communication.
26. Gelfond M. Belief sets, deductive databases and explanation based reasoning, Technical Report. 1990;University of Texas at El Paso, TX.
27. Gelfond M., Lifschitz V. Classical negation in logic programs and disjunctive databases. New Generation Computing. 1991;365-387.
28. Gelfond M., Lifschitz V. Representing actions and change by logic programs. J. Logic Programming. Vol. 17:(2-4):1993;301-323.
29. Gustafsson J., Doherty P. Embracing occlusion in specifying the indirect effects of actions. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany. 1996.
30. Hobbs J., Stickel M., Appelt D., Martin P. Interpretation as abductions, Technical Report. 1990;SRI, Menlo Park, CA.
31. Inoue K. Extended logic programs with default assumptions. Proc. ICLP-91, Paris. 1991.
32. Kakas A., Kowalski R., Toni F. Abductive logic programming. J. Logic Comput. Vol. 2:(6):1993;719-771.
33. Kakas A., Mancarella P. Generalized stable models: A semantics for abduction. Proc. ECAI-90, Stockholm, Sweden. 1990;385-391.
34. Kakas A., Mourlas C. ACLP: Flexible solutions to complex problems, http://www.cs.ucy.ac.cy/aclp/. Proc. of Logic Programming and Nonmonotonic Reasoning. 1997.
35. Kartha G., Lifschitz V. Actions with indirect effects: Preliminary report. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany. 1994;341-350.
36. Konolige K. Abduction versus closure in causal theories. Artificial Intelligence. Vol. 53:1992;255-272.
37. Lifschitz V. Nested abnormality theories. Artificial Intelligence. Vol. 74:1995;351-365.
38. Lifschitz V. Success of default logic. 1999;. http://www.cs.utexas.edu/users/vl/mypapers/deflog.ps.
39. Lifschitz V., Turner H. Splitting a logic program. Van Hentenryck P. Proc. 11th Internat. Conference on Logic Programming. 1994;23-38.
40. Lin F. Embracing causality in specifying the indirect effects of actions. Proc. IJCAI-95, Montreal, Quebec. 1995;1985-1993.
41. Lloyd J. Foundations of Logic Programming. 2nd ed. 1987.
42. Marek W., Truszczyński M. Nonmonotonic Logic: Context Dependent Reasoning. 1993;Springer, Berlin.
43. McCain N., Turner H. A causal theory of ramifications and qualifications. Proc. IJCAI-95, Montreal, Quebec. 1995;1978-1984.
44. McCain N., Turner H. Causal theories of action and change. Proc. AAAI-97, Providence, RI. 1997;460-465.
45. Missiaen M., Bruynooghe L., Denecker M. CHICA: A planning system based on event calculus. J. Logic Comput. Vol. 5:(5):1995;579-602.
46. Niemela I., Simons P. Efficient implementation of the well-founded and stable model semantics. Proc. Joint International Conference and Symposium on Logic Programming. 1996;289-303.
47. Pearl J. Causality. 2000;Cambridge University Press, Cambridge, UK.
48. Pearl J. Reasoning with cause and effect. Proc. IJCAI-99, Stockholm, Sweden. 1999;1437-1449.
49. Peirce C. Collected papers of Charles Sanders Peirce, Vol. 1-8. 1931-1958;Harvard University Press, Cambridge, MA. Edited by Hartshorn et al.
50. Peirce C. Reasoning and the Logic of Things. 1992;Harvard University Press, Cambridge, MA.
51. Poole D., Goebel R., Aleliunas R. Theorist: A logical reasoning system for defaults and diagnosis. Cercone N., McCalla G. The Knowledge Frontier: Essays in the Representation of Knowledge. 1987;331-352 Springer, New York.
52. Poole D., Mackworth A., Goebel R. Computational Intelligence. 1998;Oxford University Press, Oxford.
53. Poole D. A logical framework for default reasoning. Artificial Intelligence. Vol. 36:(1):1988;27-48.
54. Poole D. Representing knowledge for logic based diagnosis. Proc. of International Conference on Fifth Generation Computer Systems. 1988;1282-1290.
55. Poole D. Explanation and prediction: An architecture for default and abductive reasoning. Computational Intelligence. Vol. 5:(1):1989;97-110.
56. Reggia R. Diagnostic expert system based on a set covering model. Internat. J. Man Machine Studies. Vol. 19:(5):1983;437-460.
57. Reiter R. A logic for default reasoning. Artificial Intelligence. Vol. 13:(1-2):1980;81-132.
58. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence. Vol. 32:(1):1987;57-95.
59. Sandewall E. Filter preferential entailment for the logic of action in almost continuous worlds. Sridharan N.S. Proc. IJCAI-89, Detroit, MI. 1989;894-899.
60. Sandewall E. Features and Fluents: The Representation of Knowledge about Dynamical Systems. 1994;Oxford University Press, Oxford.
61. Sandewall E. Cognitive robotics logic and its metatheory: Features and fluents revisited. Electronic Transactions on Artificial Intelligence. Vol. 3:(17):1998;. http://www.ep.liu.se/ej/etai/1998/017.
62. Shanahan M. Prediction is deduction but explanation is abduction. Proc. IJCAI-89, Detroit, MI. 1989;1055-1060.
63. Shanahan M. Explanation in the situation calculus. Proc. IJCAI-93, Chambéry, France. 1993;160-165.
64. Shanahan M. Solving the Frame Problem: A Mathematical Investigation of the Commonsense Law of Inertia. 1997;MIT Press, Cambridge, MA.
65. Turner H. Representing actions in default logic: A situation calculus approach. Proc. Symposium in Honor of Michael Gelfond's 50th Birthday (also in Common Sense 96). 1995.
66. Turner H. Splitting a default theory. Proc. AAAI-96, Portland, OR. 1996.
67. Turner H. Representing actions in logic programs and default theories. J. Logic Programming. Vol. 31:(1-3):1997;245-298.