Corpus ID: 2695704

The Semantics of Potential Intentions

@inproceedings{Fan2005TheSO,
  title={The Semantics of Potential Intentions},
  author={Xiaocong Fan and J. Yen},
  booktitle={AAAI},
  year={2005}
}
The SharedPlans theory provides an axiomatic framework of collaborative plans based on four types of intentional attitudes. However, there still lacks an adequate semantics for the 'potential intention' operators. In this paper, we give a formal semantics to potential intentions, and examine models that can validate various relations between beliefs, intentions, and potential intentions. 
Intentions and potential intentions revisited
TLDR
A formal semantics to intentions and potential intentions is given, drawing upon both the representationalist approach and the accessibility-based approach, and it is shown that norms play a critical role in the dynamics of intentions in multiagent systems. Expand
A theoretical framework on proactive information exchange in agent teamwork
TLDR
A formal framework for proactive information delivery in agent teamwork is presented and a new modal operator, InfoNeed, is used to represent information needs, and axioms for anticipating the information needs of other agents are proposed and justified. Expand
The principles of intention computing
TLDR
This paper proposes a framework for modelling intention prediction and describes the I-I-I criteria model which is able to help us verify an intention computing model, and sum up five assumptions affecting the intention computing. Expand

References

SHOWING 1-10 OF 23 REFERENCES
A logic of intentions and beliefs
TLDR
A formal theory of intentions and beliefs based on Discourse Representation Theory that captures many of their important logical properties and has an objective semantics, and does not rely on anad hoc labeling of the internal states of agents. Expand
Intention, Plans, and Practical Reason
1. Introduction 2. On the way to the planning theory 3. Plans and practical reasoning 4. Agent rationality: toward a general theory 5. Reconsideration and rationality 6. Agent rationality: theExpand
A logic of intention with cooperation principles and with assertive speech acts as communication primitives
TLDR
A new logic of intention is given where intention is a primitive modal operator having a non-normal possible worlds semantics and principles of cooperation are formulated allowing an agent to infer new intentions from his beliefs about other agents' intentions. Expand
Intention is Choice with Commitment
TLDR
This paper provides a logical analysis of the concept of intention as composed of two more basic concepts, choice (or goal) and commitment, and derives a preliminary account of interpersonal commitments. Expand
Plans for Discourse
Abstract : Discourses are fundamentally instances of collaboration behavior. We propose a model of the collaborative plans of agents achieving joint goals and illustrate the role of these plans inExpand
A Representationalist Theory of Intention
TLDR
Cohen and Levesque [9], in adopting the realism thesis, rely on claims about way an agent may change his beliefs about the connection between an intended proposition and its consequences to make their theory side-effect free, but their theory will not be abstraction free or conjunction free. Expand
Belief, Awareness, and Limited Reasoning.
TLDR
In these logics, the set of beliefs of an agent does not necessarily contain all valid formulas, which makes them more suitable than traditional logics for modelling beliefs of humans (or machines) with limited reasoning capabilities. Expand
Formal Models and Decision Procedures for Multi-Agent Systems
The study of computational agents capable of rational behaviour has received a great deal of attention in recent years. A number of theoretical formalizations for such multiagent systems have beenExpand
A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief
TLDR
It is shown that while the problem of deciding satisfiability of an S5 formula with one agent is NP-complete, the problem for many agents is PSPACE-complete and the problem becomes complete for exponential time once a common knowledge operator is added to the language. Expand
Intentionality: An Essay in the Philosophy of Mind
Acknowledgements Introduction 1. The nature of intentional states 2. The intentionality of perception 3. Intention and action 4. Intentional causation 5. The background 6. Meaning 7. IntensionalExpand
...
1
2
3
...