System ls: A three-tiered nonmonotonic reasoning system

Computational Intelligence

Volumn 20, Issue 1, 2004, Pages 89-108

  Ford, Marilyn ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

Human reasoning; Logical strength of arguments; Nonmonotonic reasoning; System P

Indexed keywords

DECISION MAKING; FORMAL LOGIC; PROBLEM SOLVING;

HUMAN REASONING; LOGICAL STRENGTH OF ARGUMENTS; NONMONOTONIC REASONINGG; SYSTEM F;

ARTIFICIAL INTELLIGENCE;

EID: 1442282536     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/j.0824-7935.2004.00231.x     Document Type: Article

References (42)

1. ADAMS, E. W. 1975. The Logic of Conditionals. Reidel, Dordrecht, Netherlands.
2. ADAMS, E. W. 2002. On a proportionality analysis of syllogistic reasoning. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July, 2002. (Also to appear as Adams, E. W. On a proportionality analysis of syllogistic private reasoning. Synthese, in press.)
3. ADAMS, E. W. 2002. On a proportionality analysis of syllogistic reasoning. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July, 2002. (Also to appear as Adams, E. W. On a proportionality analysis of syllogistic private reasoning. Synthese, in press.)
4. BACCHUS, F. 1989. A modest, but semantically well founded, inheritance reasoner. In Proceedings of International Joint Conference on AI (IJCAI-89), Detroit, MI, pp. 1104-1109.
5. BENFERHAT, S., J. F. BONNEFON, and R. DA SILVA NEVES. 2002. An overview of possibilistic handling of default reasoning: applications and empirical studies. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002. (Also to appear in BENFERHAT, S., J. F. BONNEFON, and R. DA SILVA NEVES. An overview of possibilistic handling of default reasoning, with experimental studies. Synthese, in press.)
6. BENFERHAT, S., J. F. BONNEFON, and R. DA SILVA NEVES. 2002. An overview of possibilistic handling of default reasoning: applications and empirical studies. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002. (Also to appear in BENFERHAT, S., J. F. BONNEFON, and R. DA SILVA NEVES. An overview of possibilistic handling of default reasoning, with experimental studies. Synthese, in press.)
7. BOURNE, R., and S. PARSONS. 1998. Propagating probabilities in System P. In Proceedings of the Eleventh International FLAIRS Conference, Sanibel Island, FL, pp. 440-445.
8. DA SILVA NEVES, R. M., J. F. BONNEFON, and E. RAUFAUSTE. 2002. An empirical test of patterns for nonmonotonic inference. Annals of Mathematics and Artificial Intelligence, 34:107-130.
9. DIEUSSAERT, K., W. SCHAEKEN, and G. D'YDEWALLE. 2002. A study of the belief revision process: The value of context and contra-evidence. In First Salzburg Workshop on Paradigms of Cognition, Salzburg.
10. ELIO, R., and F. J. PELLETIER. 1993. Human benchmarks on AI's benchmarks problems. In Proceedings of the Fifteenth Annual Conference of the Cognitive Science Society, Boulder, CO. Lawrence Erlbaum, Hillsdale, NJ, pp. 406-411.
11. ELIO, R., and F. J. PELLETIER. 1994. On relevance in non-monotonic reasoning: Some empirical studies. In Relevance: American Association for Artificial Intelligence 1994 Fall Symposium Series. Edited by R. Greiner and D. Subramanian. AAAI, Menlo Park, CA, pp. 64-67.
12. ELIO, R., and F. J. PELLETIER. 1996. On reasoning with default rules and exceptions. In Proceedings of the Eighteenth Annual Cognitive Science Society. Edited by E. W. Cottrell. Lawrence Erlbaum Associates, Hillsdale, NJ, pp. 131-136.
13. EVANS, J. ST. B. T., S. E NEWSTEAD, and R. M. J. BYRNE. 1993. Human Reasoning: The Psychology of Deduction. Erlbaum, Hillsdale, NJ.
14. FORD, M. 1995. Two modes of mental representation and problem solution in syllogistic reasoning. Cognition, 54:1-71.
15. FORD, M. 2002. Factors helping people to reason nonmonotonically. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002 (Also to appear in Ford, M. Human nonmonotonic reasoning: The importance of seeing the logical strength of arguments. Synthese, in press.)
16. FORD, M. 2002. Factors helping people to reason nonmonotonically. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002 (Also to appear in Ford, M. Human nonmonotonic reasoning: The importance of seeing the logical strength of arguments. Synthese, in press.)
17. FORD, M. Reasoning with "usually." (forthcoming).
18. FORD, M., and D. BILLINGTON. 2000. Strategies in human nonmonotonic reasoning. Computational Intelligence, 16:446-468.
19. FREUND, M., D. LEHMANN, and P. MORRIS. 1991. Rationality, transitivity, and contraposition. Artificial Intelligence, 52:191-203.
20. GILIO, A. 2000. Precise propagation of upper and lower probability bounds in System P. In Proceedings of the Eighth International Workshop on Nonmonotonic Reasoning, Special Session: Uncertainty Frameworks in NonMonotonic Reasoning (organised by S. Benferhat and H. Prade), Breckenridge, Colorado, USA, April 9-11, 2000.
21. GILIO, A. 2002. Probabilistic reasoning under coherence in system P. Annals of Mathematics and Artificial Intelligence, 34:5-34.
22. HEWSON, C., and C. VOGEL. 1994. Psychological evidence for assumptions of path-based inheritance reasoning. In Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, Atlanta, Georgia, pp. 409-414.
23. HORTY, J. F. 1994. Some direct theories of nonmonotonic inheritance. In Handbook of Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning. Vol. 3. Edited by D. M. Gabbay, C. J. Hogger, and J. A. Robinson. Clarendon Press, Oxford, pp. 111-187.
24. HORTY, J. F., and R. H. THOMASON. 1988. Mixing strict and defeasible inheritance. AAAI, Menlo Park, CA, pp. 427-432.
25. JOHNSON-LAIRD, P. N., and R. M. J. BYRNE. 1991. Deduction. Erlbaum, Hove, UK.
26. KRAUS, S., D. LEHMANN, and M. MAGIDOR. 1990. Nonmonotonic reasoning, preferential models and cumulative models. Artificial Intelligence, 44:167-207.
27. LEHMANN, D., and M. MAGIDOR. 1992. What does a conditional knowledge base entail? Artificial Intelligence, 55:1-60.
28. NUTE, D. 1994. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning, Vol. 3. Edited by D. M. Gabbay, C. J. Hogger, and J. A. Robinson. Clarendon Press, Oxford, pp. 353-395.
29. PEARL, J. 1988. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufman, San Mateo, CA.
30. PELLETIER, F. J., and R. ELIO. 1997. What should reasoning be, by default? Computational Intelligence, 13:165-187.
31. PELLETIER, F. J., and R. ELIO. 2002. Human performance in default reasoning. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002. (Also to appear in Pelletier, F. J., and R. Elio. The case for psychologism in default and inheritance reasoning: Empirical investigations into human non-monotonic inference. Synthese, in press.)
32. PELLETIER, F. J., and R. ELIO. 2002. Human performance in default reasoning. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002. (Also to appear in Pelletier, F. J., and R. Elio. The case for psychologism in default and inheritance reasoning: Empirical investigations into human non-monotonic inference. Synthese, in press.)
33. PFEIFER, N., and G. D. KLEITER. 2002. Experiments on nonmonotonic reasoning and the coherence of human probability judgments. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002 (Also to appear as Pfeifer N., and G. D. Kleiter. Coherence and nonmonotonicity in human reasoning. Synthese, in press.)
34. PFEIFER, N., and G. D. KLEITER. 2002. Experiments on nonmonotonic reasoning and the coherence of human probability judgments. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002 (Also to appear as Pfeifer N., and G. D. Kleiter. Coherence and nonmonotonicity in human reasoning. Synthese, in press.)
35. SCHLECHTA, K. 1997. Nonmonotonic logics: Basic concepts, results, and techniques. In Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin.
36. SCHURZ, G. 2001. Nichtmonotones schließen: Ergebnisse einer empirischen untersuchung. Technical report 17, Insititut für Philosophie, SFB Forschungsmitteilungen.
37. SCHURZ, G. 2002. Nonmonotonic reasoning: Ontic, logical and cognitive foundations. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002 (Also to appear in Schurz, G. Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations. Synthese, in press.)
38. SCHURZ, G. 2002. Nonmonotonic reasoning: Ontic, logical and cognitive foundations. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002 (Also to appear in Schurz, G. Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations. Synthese, in press.)
39. SIEBEL, M. 2002. There's something about Linda: Probability, coherence, and rationality. In First Salzburg Workshop on Paradigms of Cognition, Salzburg, July 2002.
40. STEIN, L. A. 1989. Skeptical inheritance: Computing the intersection of credulous extensions. In Proceedings of International Joint Conference on AI (IJCAI-89), Detroit, MI, pp. 1153-1158.
41. TOURETZKY, D. S. 1984. Implicit ordering of defaults in inheritance systems. AAAI, Menlo Park, CA, pp. 322-325.
42. VOGEL, C. 1996. Human reasoning with negative defaults. In Lecture Notes in Artificial Intelligence: Practical Reasoning. Edited by D. Gabbay and H. Juergen Ohlbach. Springer, Berlin, pp. 606-621.