Switch to: Citations

Add references

You must login to add references.
  1. Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
    Download  
     
    Export citation  
     
    Bookmark   305 citations  
  • Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  • Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
    Download  
     
    Export citation  
     
    Bookmark   267 citations  
  • Time and modality in the logic of agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.
    Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Belief as defeasible knowledge.Yoram Moses & Yoav Shoham - 1993 - Artificial Intelligence 64 (2):299-321.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Elements of a Plan‐Based Theory of Speech Acts.Philip R. Cohen & C. Raymond Perrault - 1979 - Cognitive Science 3 (3):177-212.
    This paper explores the truism that people think about what they say. It proposes that, to satisfy their own goals, people often plan their speech acts to affect their listeners' beliefs, goals, and emotional states. Such language use can be modelled by viewing speech acts as operators in a planning system, thus allowing both physical and speech acts to be integrated into plans. Methodological issues of how speech acts should be defined in a planbased theory are illustrated by defining operators (...)
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • Tarskian semantics, or no notation without denotation.Drew McDermott - 1978 - Cognitive Science 2 (3):277-82.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Viewing control structures as patterns of passing messages.Carl Hewitt - 1977 - Artificial Intelligence 8 (3):323-364.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Temporal data base management.Thomas L. Dean & Drew V. McDermott - 1987 - Artificial Intelligence 32 (1):1-55.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
    This paper explores principles governing the rational balance among an agent's beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term). By making explicit the conditions under which an agent can drop his goals, i.e., by specifying how the agent is committed to his goals, the formalism captures a number of important properties of intention. Specifically, the formalism provides analyses for Bratman's three characteristic functional roles played (...)
    Download  
     
    Export citation  
     
    Bookmark   111 citations