Abducing through negation as failure: stable models within the independent choice logic

Journal of Logic Programming

Volumn 44, Issue 1-3, 2000, Pages 5-35

  Poole, David ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; DECISION THEORY; GAME THEORY; MATHEMATICAL MODELS; PROBABILISTIC LOGICS;

ABDUCTIVE CHARACTERIZATION; ACYCLIC LOGIC PROGRAMS; HORN ABDUCTION; INDEPENDENT CHOICE LOGIC;

LOGIC PROGRAMMING;

EID: 0034230835     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(99)00071-0     Document Type: Article

References (30)

1. K.R. Apt, M. Bezem, Acyclic programs, New Generation Computing 9 (3-4) (1991) 335-363.
2. M. Baker, T.E. Boult, Pruning Bayesian networks for efficient computation, in: Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI-90), Cambridge, MA, 1990, pp. 257-264.
3. C. Boutilier, R. Dearden, M. Goldszmidt, Exploiting structure in policy construction, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montréal, Québec, 1995, pp. 1104-1111.
4. C.L. Chang, R.C.T. Lee, Symbolic Logical and Mechanical Theorem Proving, Academic Press, New York, 1973.
5. K.L. Clark, Negation as failure, in: H. Gallaire, J. Minker (Eds.), Logic and Databases, Plenum Press, New York, 1978, pp. 293-322.
6. L. Console, D. Theseider Dupré, P. Torasso, On the relationship between abduction and deduction, Journal of Logic and Computation 1 (5) (1991) 661-690.
7. G.V. Davydov, I.M. Davydova, Dual algorithms in discrete optimization, in: V. Kreinovich, G. Mints (Eds.), Problems of Reducing the Exhaustive Search, American Mathematical Society, Providence, RI, 1997, pp. 79-103.
8. J. deKleer, A.K. Mackworth, R. Reiter, Characterizing diagnoses and systems, Artificial Intelligence 56 (1992) 197-222.
9. M. Denecker, A terminological interpretation of (abductive) logic programming, in: V.W. Markek, A. Nerode, M. Truszczynski (Eds.), International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence, vol. 928, Springer, Berlin, 1995, pp. 15-29.
10. M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: R. Kowalski, K. Bowen (Eds.), Proceedings of the Fifth Logic Programming Symposium, Cambridge, MA, 1988, pp. 1070-1080.
11. K. Inoue, C. Sakama, A fixpoint characterization of abductive logic programs, Journal of Logic Programming 27 (2) (1996) 107-136.
12. A.C. Kakas, R.A. Kowalski, F. Toni, Abductive logic programming, Journal of Logic and Computation 2 (6) (1993) 719-770.
13. A. Kean, G. Tsiknis, An incremental method for generating prime implicants/implicates, Journal of Symbolic Computation 9 (1990) 185-206.
14. R. Kowalski, Logic for Problem Solving, Artificial Intelligence Series, North-Holland, New York.
15. R. Kowalski, M. Sergot, A logic-based calculus of events, New Generation Computing 4 (1) (1986) 67-95.
16. E. Marchiori, Practical methods for proving termination of general logic programs, Journal of Artificial Intelligence Research 4 (1996) 179-208.
17. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Mateo, CA, 1988.
18. D. Poole, Logic programming, abduction and probability: a top-down anytime algorithm for computing prior and posterior probabilities, New Generation Computing 11 (3-4) (1993) 377-400.
19. D. Poole, Probabilistic Horn abduction and Bayesian networks, Artificial Intelligence 64 (1) (1993) 81-129.
20. D. Poole, Representing diagnosis knowledge, Annals of Mathematics and Artificial Intelligence 11 (1994) 33-50.
21. D. Poole, Exploiting the rule structure for decision making within the independent choice logic, in: P. Besnard, S. Hanks (Eds.), Proceedings of the 11 th Conference on Uncertainty in Artificial Intelligence (UAI-95), Montréal, Québec, 1995, pp. 454-463.
22. D. Poole, The independent choice logic for modelling multiple agents under uncertainty, in: Economic Principles of Multi-agent Systems (special issue), Artificial Intelligence 94 (1997) 7-56.
23. D. Poole, Probabilistic partial evaluation: exploiting rule structure in probabilistic inference, in: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, 1997, pp. 1284-1291.
24. D. Poole, Decision theory, the situation calculus and conditional plans, Linköping Electronic Articles in Computer and Information Science 3 (8) (1998), http://www.ep.liu.se/ea/cis/1998/008/15 June 1998, The Electronic Transactions on Artificial Intelligence 2 (1998) 105-154.
25. D. Poole, Decision theory, the situation calculus and conditional plans, Linköping Electronic Articles in Computer and Information Science 3 (8) (1998), http://www.ep.liu.se/ea/cis/1998/008/15 June 1998, The Electronic Transactions on Artificial Intelligence 2 (1998) 105-154.
26. D. Poole, R. Goebel R. Aleliunas, Theorist: a logical reasoning system for defaults and diagnosis, in: N. Cercone, G. McCalla (Eds.), The Knowledge Frontier: Essays in the Representation of Knowledge, Springer, New York, 1987, pp. 331-352.
27. T.C. Przymusinski, Three-valued nonmonotonic formalisms and semantics of logic programs, Artificial Intelligence 49 (1991) 309-343.
28. R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1) (1987) 57-95.
29. M. Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, Cambridge, MA, 1997.
30. J. Von Neumann, O. Morgenstern, Theory of Games and Economic Behavior, third ed., Princeton University Press, Princeton, NJ, 1953.