Strategies in human nonmonotonic reasoning

Computational Intelligence

Volumn 16, Issue 3, 2000, Pages 446-468

  Ford, Marilyn ^a   Billington, David ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

SOCIAL ASPECTS;

HUMAN NONMONOTONIC REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0034248808     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/0824-7935.00119     Document Type: Article

References (26)

1. ANTONIOU, G. 1997. Nonmonotonic Reasoning. MIT Press, Cambridge, MA.
2. BACCHUS, F. 1989. A modest, but semantically well founded, inheritance reasoner. Proceedings of the 11th IJCAI, 1104-1109.
3. BACCHUS, F., A. J. GROVE, J. Y. HALPERN, and D. KOLLER. 1996. From statistical knowledge bases to degrees of belief. Artificial Intelligence, 87:75-143.
4. BILLINGTON, D. 1993. Defeasible logic is stable. Journal of Logic and Computation, 3:379-400.
5. BILLINGTON, D. 1998. Defeasible deduction with arbitrary propositions. Poster proceedings of the 11th Australian Joint Conference on Artificial Intelligence, pp. 3-14.
6. BRACHMAN, R. J. 1990. The future of knowledge representation. In Proceedings of AAAI-90, pp. 1082-1092.
7. 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.
8. 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.
9. FAHLMAN, S. E., D. S. TOURETZKY, and W. VAN ROGGEN. 1981. Cancellation in a parallel semantic network. Proceedings of the 7th IJCAI, 257-263.
10. FORD, M. 1995. Two modes of mental representation and problem solution in syllogistic reasoning. Cognition, 54:1-71.
11. GABBAY, D. 1994. Preface. In Handbook of Logic in Artificial Intelligence and Logic Programming; Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning. Edited by D. M. Gabbay, C. J. Hogger, and J. A. Robinson. Clarendon Press, Oxford, pp. v-xii.
12. 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.
13. HORTY, J. F. 1994. Some direct theories of nonmonotonic inheritance. In Handbook of Logic in Artificial Intelligence and Logic Programming; Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning. Edited by D. M. Gabbay, C. J. Hogger, and J. A. Robinson. Clarendon Press, Oxford, pp. 111-187.
14. HORTY, J. F., and R. H. THOMASON. 1988. Mixing strict and defeasible inheritance. Proceedings of AAAI-88, 427-432.
15. JOHNSON-LAIRD, P. N. 1983. Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness. Cambridge University Press, Cambridge.
16. JOHNSON-LAIRD, P. N., and R. BYRNE. 1991. Deduction. Erlbaum, Hillsdale, NJ.
17. LIFSCHITZ, V. 1989. Benchmark problems in formal nonmonotonic reasoning. In Lecture Notes in Artificial Intelligence: Non-Monotonic Reasoning. Edited by M. Reinfrank, J. de Kleer, M. Ginsburg, and E. Sandewall. Springer, Berlin, pp. 202-219.
18. MAREK, V. W., and M. TRUSZCZYNSKI. 1993. Nonmonotonic Logic: Context-Dependent Reasoning. Springer-Verlag, Berlin.
19. NUTE, D. 1994. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming; Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning. Edited by D. M. Gabbay, C. J. Hogger, and J. A. Robinson. Clarendon Press, Oxford, pp. 353-395.
20. PELLETIER, F. J., and R. ELIO. 1997. What should default reasoning be, by default? Computational Intelligence, 13:165-187.
21. SCHLECHTA, K. 1997. Nonmonotonic logics: Basic concepts, results, and techniques. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin.
22. SONENBERG, L., and R. TOPOR. 1994. A preferred model semantics for inheritance networks. Methods of Logic in Computer Science, 1:3-18.
23. STEIN, L. A. 1989. Skeptical inheritance: Computing the intersection of credulous extensions. Proceedings of the 11th IJCAI, pp. 1153-1158.
24. TOURETZKY, D. S. 1984. Implicit ordering of defaults in inheritance systems. Proceedings of the AAAI-84, pp. 322-325.
25. TOURETZKY, D. S., R. H. THOMASON, and J. F. HORTY. 1991. A skeptic's menagerie: Conflictors, pre-emptors, reinstators, and zombies in nonmonotonic inheritance. Proceedings of the 12th IJCAI, 478-483.
26. 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.