El problema de marco: la formalización de sistemas dinámicos en agentes artificiales

• Autores: María Inés Silenzi
• Localización: Revista iberoamericana de argumentación, ISSN-e 2172-8801, Nº. 3, 2011, págs. 61-81
• Idioma: español
• Enlaces
  • Texto completo
• Referencias bibliográficas
  • Allen, J. (1983). “Maintaining knowledge about temporal intervals”. Communications of the ACM26: 832–843.
  • Brzoska, C.(1993). “Temporal logic programming with bounded universal modality goals”. Proceedings of the Tenth International...
  • Dennett, D. (1984). “Cognitive Wheels: The Frame Problem of AI". En: C. Hookway (Ed.), Minds, Machines and Evolution (pp. 129-151), Londres:...
  • Gabbay, D. M., Hogger, C. J., y Robinson, J. A. (Eds.). (1994). Handbook of Logic in Artificial Intelligence and Logic Programming,...
  • Garson J. (2006). Modal Logic for Philosophers. Cambridge: Cambridge University Press.
  • Hamblin, C. L. (1972). “Instants and intervals”. En: F. Haber, J. Fraser y G. Muller (Eds.), The Study of Time (pp.324-328), New York: Springer...
  • Kowalski, R. (1979). Logic for problem solving, New York, Elsevier North Holland.
  • Kowalski, R. y Sergot, M. (1986). “A logic-based calculus of events”. New Generation Computing 4, 67–95.
  • McCarthy, J. (1963). “A basis for a mathematical theory of computation. En: P. Brafford y D.Hirshberg, (Eds.), Computer Programming and Formal...
  • McCarthy, J. (1986). “Applications of circumscription to formalizing common sense knowledge”, Artificial Intelligence, 28, 89-116.
  • McCarthy, J. y Hayes, P. (1969). “Some philosophical problems from the standpoint of artificial intelligence”, Machine Intelligence, 4, 463-502.
  • Minsky, M. (1986). La sociedad de la mente. La inteligencia humana a la luz de la inteligencia artificial. Buenos Aires: Ediciones Galápagos.
  • Müeller, E. (2006). Commonsense reasoning. San Francisco: Elsevier.
  • Pinto, J. y Reiter, R. (1993). “Temporal reasoning in logic programming: A case for the situation calculus”, Proceedings of the Tenth International...
  • Prior, A. (1957). Time and Modality. Oxford; Clarendon Press.
  • Prior, A. (1966). “Postulates for tense logic”, American Philosophical Quarterly 2: 153-161.
  • Prior, A. (1967a). Past, Present and Future. Oxford: Clarendon Press.
  • Prior, A. (1967b). “Stratified metric tense logic”, Theoria 33: 28-38.
  • Quine, W. (1960). Word and Object. Cambridge: MIT Press.
  • Reiter, R. (1993). “Proving properties of states in the situation calculus”. Artificial Intelligence 64: 337-351.
  • Rescher, N. y Urquhart, A. (1971). Temporal Logic. New York: Springer-Verlag.
  • Rescher, N. (1966). “On the logic of chronological propositions”. Mind 75 (297): 75-96.
  • Shanahan, M. (1993). “Explanation in the situation calculus”. Proceedings of IJCAI: 160-165.
  • Shanahan, M. (1997). Solving the frame problem: A mathematical Investigation of the Common Sense Law of Inertia. Cambridge: The MIT Press.
  • Terttu, O. (1993). Temporal reasoning and data base. PhD thesis, Royal Institute of Technology, Department of Computer...
  • Vardi M. y Wolper P. (1986). “Automata-theoretic techniques for modal logics of programs”,Journal of Computer and System Science 32(2): 183–221.