Using abstract resources to control reasoning

Journal of Logic, Language and Information

Volumn 7, Issue 1, 1998, Pages 77-101

  Weyhrauch, Richard W ^a   Cadoli, Marco ^b   Talcott, Carolyn L ^c  

^a IBUKI   (United States)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c Stanford University   (United States)

Author keywords

FOL; Logical omniscience; Reasoning; Resourcer

Indexed keywords

EID: 54749146441     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008275403912     Document Type: Article

References (38)

1. Aiello, L., Nardi, D., and Schaerf, M., 1991, "Reasoning about reasoning in a meta-level architecture," Journal of Applied Intelligence 1, 55-67.
2. Attardi, G. and Simi, M., 1984, "Metalanguage and reasoning across viewpoints," pp. 315-324 in Proceedings of the European Conference on Artificial Intelligence, Pisa, T. O'Shea, ed., Amsterdam: Elsevier Science Publishers.
3. Attardi, G. and Simi, M., 1998, "Communication across viewpoints," Journal of Logic, Language and Information 7, 53-75.
4. Barwise, J., 1981, "Scenes and other situations," Journal of Philosophy LXXVIII (7), 369-397.
5. Buvač, S., 1996, "Quantificational logic of context," pp. 600-606 in Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), Menlo Park/Cambridge: AAAI Press/The MIT Press.
6. Cadoli, M. and Schaerf, M., 1992, "Approximate reasoning and non-omniscient agents," pp. 169-183 in Proceedings of the Fourth Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-92), Y. Moser, ed., San Mateo, CA: Morgan Kaufmann.
7. Elgot-Drapkin, J.J., 1991, "Step-logic and the three-wise-men problem," pp. 412-417 in Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), Menlo Park/Cambridge: AAAI Press/The MIT Press.
8. Elgot-Drapkin, J.J. and Perlis, D., 1990, "Reasoning situated in time I: Basic concepts," Journal of Experimental and Theoretical Artificial Intelligence 1, 75-98.
9. Elgot-Drapkin, J.J., Miller, M., and Perlis, D., 1991, "Memory, reason and time: The step-logic approach," pp. 79-103 in Philosophy and AI: Essays at the Interface, R. Cummins and J. Pollock, eds., Cambridge, MA: MIT Press.
10. Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y., 1992, Reasoning about Knowledge, Cambridge, MA: MIT Press.
11. Gamow, G. and Stern, M., 1958, Puzzle Math, Vintage Press.
12. Giunchiglia, F., 1991, "Multilanguage systems," in Proceedings of AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, Menlo Park: AAAI Press. Also IRST-Technical Report No. 9011-17.
13. Giunchiglia, F., 1993, "Contextual reasoning," Epistemologia, Special Issue on I Linguaggi e le Macchine XVI, 345-364.
14. Giunchiglia, F. and Serafini, L., 1994, "Multilanguage hierarchical logics (or: how we can do without modal logics), Artificial Intelligence 65, 29-70.
15. Giunchiglia, F. and Traverso, P., 1995, "A metafheory of a mechanized object theory," Artificial Intelligence 80, 197-241.
16. Giunchiglia, F. and Walsh, T., 1992, "A theory of abstraction," Artificial Intelligence 56, 323-390.
17. Halpern, J.Y. and Moses, Y., 1992, "A guide to completeness and complexity for modal logic of knowledge and belief," Artificial Intelligence Journal 54, 319-379.
18. Halpern, J.Y, 1991, "Reasoning about knowledge: A survey circa 1991," in Encyclopedia of Computer Science and Technology, A.A. Kent and J.G. Williams, eds., Marcel Dekker.
19. Preliminary version on Proceedings of the Conference on Theoretical Aspects of Reasoning about Knowledge (TARK), Morgan Kaufmann Publisher, 1986.
20. Halpern, J.Y. and Vardi, M.Y, 1991, "Model checking vs. theorem proving: A manifesto," pp. 325-334 in Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR-91).
21. Also in Lifshitz, V., 1991, Artificial Intelligence and Mathematical Theory of Computation. Papers in Honor of John McCarthy, San Diego, CA: Academic Press.
22. Hintikka, J., 1962, Knowledge and Belief, Ithaca, NY: Cornell University Press.
23. Kripke, S.A., 1963, "Semantical considerations on modal logic," Acta Philosophica Fennica 16, 83-94.
24. Levesque, H.J., 1984, "A logic of implicit and explicit belief," pp. 198-202 in Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI-84), Los Altos, CA: William Kaufmann.
25. Maes, P. and Nardi, D., eds., 1988, Meta-Level Architectures and Reflection, Amsterdam: Elsevier Science Publishers/North Holland.
26. McCarthy, J., 1987, "Generality in artificial intelligence," Communications of the ACM 30.
27. McCarthy, J. and Buvač, S., 1994, "Formalizing context (Expanded notes)," Technical Note STANCS-TN-94-13, Stanford University.
28. Montague, R., 1968, "Pragmatics," pp. 101-121 in Contemporary Philosophy, R. Kalibansky, ed., La Nuova Italia Editrice.
29. Talcott, C.L. and Weyhrauch, R.W., 1990, "Towards a theory of mechanized reasoning I: FOL contexts, an extensional view," pp. 634-639 in Proceedings of the 8th European Conference on Artificial Intelligence, (ECAI-90), L.C. Aiello, ed., London: Pitman.
30. ter Meulen, A.G.B., 1995a, "Content in context," pp. 97-101 in Formalizing Context, AAAI-95 Fall Symposium, Menlo Park: AAAI Press.
31. ter Meulen, A.G.B., 1995b, Representing Time in Natural Language, Cambridge, MA: MIT Press.
32. Weyhrauch, R.W., 1977, "A Users Manual for Fol," Technical Report STAN-CS-77-432, Stanford University Computer Science Department.
33. Weyhrauch, R.W., 1980, "Prolegomena to a theory of formal reasoning," Artificial Intelligence 13, 133-170.
34. Weyhrauch, R.W. and Talcott, C.L., 1994, "The logic of FOL systems: Formulated in set theory," pp. 119-132 in Festschrift in Honor of Professor Satoru Takasu, M. Hagiya, N. D. Jones, and M. Sato, eds., Lecture Notes in Computer Science, Vol. 792, Berlin: Springer-Verlag.
35. Weyhrauch, R.W. and Talcott, C.L., 1995a "FOL home page," URL = http://www-formal.stanford.edu/FOL/home.html.
36. Weyhrauch, R.W. and Talcott, C.L., 1995b, "The logic of FOL systems: Introduction," URL = http://www-formal.Stanford.edu/FOL/home.html.
37. Weyhrauch, R.W. and Talcott, C.L., 1995c, "Problem solving contexts," URL = http://www-formal.stanford.edu/FOL/home.html.
38. Weyhrauch, R.W., Cadoli, M., and Talcott, C.L., 1995, "Deducing logical omniscience," URL = http://www-formal.Stanford.edu/FOL/home.html.