A logical approach to the dynamics of commitments

DOI10.1016/S0004-3702(99)00061-2zbMATH Open0939.68831OpenAlexW2085858758MaRDI QIDQ1978378FDOQ1978378

Authors: Wiebe van der Hoek, Bernd van Linder, John-Jules Meyer 

Publication date: 4 June 2000

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00061-2

Recommendations

• Interactions between knowledge, action and commitment within agent dynamic logic
• A logical analysis of commitment dynamics
• A coupled operational semantics for goals and commitments
• A logical analysis of the relationship between commitment and obligation

zbMATH Keywords

dynamic logicintelligent agentsmotivational attitudes

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (26)

• Textbook non-malleable commitments
• Reasoning with protocols under imperfect information
• A logic of intention and attempt
• A logical formalization of the OCC theory of emotions
• Agents with emotions
• Title not available (Why is that?)
• A STIT logic for reasoning about social influence
• A Qualitative Theory of Cognitive Attitudes and their Change
• A logic for reasoning about counterfactual emotions
• Interactions between knowledge, action and commitment within agent dynamic logic
• Agent deliberation in an executable temporal framework
• Maintenance commitments: conception, semantics, and coherence
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• A logical analysis of commitment dynamics
• A coupled operational semantics for goals and commitments
• Temporal agent programs
• The cognitive structure of surprise: looking for basic principles
• The Calculus of Responsibility and Commitment
• A logical characterisation of qualitative coalitional games
• A verification framework for agent programming with declarative goals
• Towards a theory of intention revision
• A logical analysis of the relationship between commitment and obligation
• Social commitments in time: satisfied or compensated
• On combinations of propositional dynamic logic and doxastic modal logics
• Intention as commitment toward time
• A formal model of emotion triggers: an approach for BDI agents

Uses Software

• AgentSpeak

This page was built for publication: A logical approach to the dynamics of commitments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978378)