A logical approach to the dynamics of commitments

DOI10.1016/S0004-3702(99)00061-2MaRDI QIDQ1978378zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

dynamic logicintelligent agentsmotivational attitudes

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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

Cited in

(26)

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

Describes a project that uses

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)