Intention is choice with commitment

DOI10.1016/0004-3702(90)90055-5zbMath0721.03017OpenAlexW2431139695MaRDI QIDQ2640592

Publication date: 1990

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(90)90055-5

zbMATH Keywords

planning intention possible-worlds semantics syntax design of an artificial agent formal theory of rational action Hintikka-style axiom schema

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Related Items (70)

Agent cooperation based control integration by activity-sharing and joint intention ⋮ Semantics of plan revision in intelligent agents ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Bounded situation calculus action theories ⋮ Specification and Verification of Multi-Agent Systems ⋮ How to decide what to do? ⋮ A verification framework for agent programming with declarative goals ⋮ Logical theories of intention and the database perspective ⋮ A STIT logic for reasoning about social influence ⋮ Temporalizing Modal Epistemic Logic ⋮ Applying intelligent agents technology in a collaborative work environment ⋮ Computation as social agency: what, how and who ⋮ Logic and Ethics: An Integrated Model for Norms, Intentions and Actions ⋮ A formal model of emotion triggers: an approach for BDI agents ⋮ Intentions and potential intentions revisited ⋮ Temporal logic and its application to normative reasoning ⋮ Towards a theory of intention revision ⋮ ALX, an action logic for agents with bounded rationality ⋮ Mechanism design for automated negotiation, and its application to task oriented domains ⋮ Collaborative plans for complex group action ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ The rationale behind the concept of goal ⋮ Postulates for revising BDI structures ⋮ Agent planning programs ⋮ Trust and Norms in the Context of Computer Security: A Logical Formalization ⋮ Formalising the informal? Dynamic social order, bottom-up social control, and spontaneous normative relations. ⋮ A graded BDI agent model to represent and reason about preferences ⋮ Agent deliberation in an executable temporal framework ⋮ Unnamed Item ⋮ Making a start with the stit logic analysis of intentional action ⋮ Where logic and agents meet ⋮ A unified framework for hypothetical and practical reasoning (1): Theoretical foundations ⋮ Intelligent agents in the Situation Calculus: An application to user modelling ⋮ Modal logic for modelling actions and agents ⋮ Practical reasoning with procedural knowledge ⋮ A logic of intention and attempt ⋮ A theoretical framework on proactive information exchange in agent teamwork ⋮ Knowledge and communication: A first-order theory ⋮ A logic-based model of intention formation and action for multi-agent subcontracting ⋮ Intention as commitment toward time ⋮ A logic of intentions and beliefs ⋮ Local properties in modal logic ⋮ An internal version of epistemic logic ⋮ A logic for reasoning about counterfactual emotions ⋮ A dynamic-epistemic hybrid logic for intentions and information changes in strategic games ⋮ On the dynamics of institutional agreements ⋮ Temporal agent programs ⋮ Semantical considerations on intention dynamics for BDI agents ⋮ Abductive Reasoning for Continual Dialogue Understanding ⋮ Agents with emotions ⋮ GOAL Agents Instantiate Intention Logic ⋮ From oughts to goals: a logic for Enkrasia ⋮ Realistic desires ⋮ Reaching agreements through argumentation: a logical model and implementation ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION ⋮ Artificial intelligence and human decision making ⋮ A Logical Splitting Strategy for the Belief Structure of Agents ⋮ Quantificational modal logic with sequential Kripke semantics ⋮ A logical characterisation of qualitative coalitional games ⋮ Refinement of Intentions ⋮ A logical formalization of the OCC theory of emotions ⋮ Intentions and interactive transformations of decision problems ⋮ A Dynamic Neural Field Approach to Natural and Efficient Human-Robot Collaboration ⋮ Modelling last-act attempted crime in criminal law ⋮ Agent based multiviews requirements model ⋮ Joint action and group action made precise ⋮ Asynchronous knowledge with hidden actions in the situation calculus ⋮ Introduction: Progress in formal commonsense reasoning ⋮ The representation of planning strategies ⋮ Process-algebraic approaches for multi-agent systems: an overview

Cites Work

This page was built for publication: Intention is choice with commitment