Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • A logic of goal-directed knowing how.Yanjing Wang - 2018 - Synthese 195 (10):4419-4439.
    In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound and complete (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A Kripkean Approach to Unknowability and Truth.Leon Horsten - 1998 - Notre Dame Journal of Formal Logic 39 (3):389-405.
    We consider a language containing partial predicates for subjective knowability and truth. For this language, inductive hierarchy rules are proposed which build up the extension and anti-extension of these partial predicates in stages. The logical interaction between the extension of the truth predicate and the anti-extension of the knowability predicate is investigated.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Action and Knowledge in Alternating-Time Temporal Logic.Thomas Ågotnes - 2006 - Synthese 149 (2):375-407.
    Alternating-time temporal logic (ATL) is a branching time temporal logic in which statements about what coalitions of agents can achieve by strategic cooperation can be expressed. Alternating-time temporal epistemic logic (ATEL) extends ATL by adding knowledge modalities, with the usual possible worlds interpretation. This paper investigates how properties of agents’ actions can be expressed in ATL in general, and how properties of the interaction between action and knowledge can be expressed in ATEL in particular. One commonly discussed property is that (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations