Intentions and Rational Commitment
A formalization of intention based on rational commitment is presented, based on a branching-time possible-worlds semantics for beliefs, goals, and intentions, upon which conditions are imposed to capture the notion of rational commitment.
The role of beliefs in goal dynamics: prolegomena to a constructive theory of intentions
The aim here is to question and refine the conceptual foundations of many theories of intentional action, and to provide a detailed and principled analysis of the role of beliefs in goal processing.
Intentions in the Light of Goals
This paper presents a systematic analysis of the various steps of goal-processing and intention creation, as the final outcome of goal-driven action generation. Intention theory has to be founded on…
Motivational Attitudes of Agents: On Desires, Obligations, and Norms
Judged by its applicability, it might seem that the BDI model is becoming less important, due to the looseness of its connection to practical systems, and because of its failure to guide research into implementation directions in any obviously useful way.
Dynamic intention structures I: a theory of intention representation
- PhilosophyAutonomous Agents and Multi-Agent Systems
A new theory of intention representation which is based on a structure called a Dynamic Intention Structure (DIS), which provides a first order semantics for the resulting logic and explores the problem of logical consequence and intention revision.
Belief-Goal Relationships in Possibilistic Goal Generation
A formalization of a possibilistic extension of Bratman's asymmetry thesis to hold between goals and beliefs is proposed and it is shown that the formalism avoids the side-effect and the transference problems.
Changing Commitments Based on Reasons and Assumptions
- Computer ScienceCOIN@AAMAS/PRIMA
An abstract framework is created in which the "reasons" and the "assumptions" that form the base of those commitments are added, and an intention reconsideration mechanism with algorithms satisfying the requirements is introduced using only the dichotomy between assumptions and reasons.
A Model of Intention with (Un)Conditional Commitments
A model theory of a specific modal logic with modalities representing the typical mental attributes as well as action feasibility and realisibility is proposed, and an intention is defined as a conditional/unconditional commitment made for achieving a goal that is believed to be achievable.
SHOWING 1-10 OF 60 REFERENCES
Two Faces of Intention
We do things intentionally, and we intend to do things. Our commonsense psychology uses the notion of intention to characterize both our actions and our mental states: I might intentionally start my…
A Commitment-Based Framework for Describing Informal Cooperative Work
- Computer ScienceCogn. Sci.
Standard models of cooperative work in informal domains such as an office are argued to be inadequate for describing the adaptibility and variabil ity observed in offices, and are fundamentally misleading as metaphors for understanding the skills and knowledge needed by computers or people to do the work.
Elements of a Plan-Based Theory of Speech Acts
- EconomicsCogn. Sci.
This paper explores the truism that people think about what they say. It proposes hat, to satisfy their own goals, people often plan their speech acts to affect their listeners' beliefs, goals, and…
Belief, Awareness, and Limited Reasoning: Preliminary Report
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.
Experimental Robot Psychology
Abstract : In this paper I argue that an intentional methodology is appropriate in the design of robot agents in cooperative planning domains - at least in those domains that are sufficiently…
Inferring domain plans in question-answering
A model of plan inference in conversation that distinguishes between the beliefs of the questioner and the belief of the respondent is presented, and several types of invalidities are defined, relating each to a particular type of belief discrepancy.
A First-Order Formalization of Knowledge and Action for a Multiagent Planning System.
- Computer Science
An alternative formalism for reasoning about knowledge, belief, and action is developed and it is shown how this formalism can be used to deal with several well-known problems, and then described how it could be used by a plan constructing system.
Rational interaction: cooperation among intelligent agents
This dissertation describes a framework for interacting intelligent agents, and explores strategies of interaction among intelligent agents using a formalism that removes some serious restrictions that underlie previous research in distributed artificial intelligence.
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft
The possible-worlds semantics for propositional logics of knowledge and belief is reviewed and it is shown that while the problem of deciding satisfiability of an S5 formula with one knower is NP-complete, the problem for many knowers is PSPACE-complete.