scientific article

Publication date: 19 November 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

belief-desire-intention logic of rational agents

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in artificial intelligence (68T01)

Related Items

A calculus for attribute-based memory updates, On the use (and abuse) of logic in game theory, Bounded situation calculus action theories, Using arguments for making and explaining decisions, Quantified epistemic logics for reasoning about knowledge in multi-agent systems, Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams, A Theory of Intentions for Intelligent Agents, A complete coalition logic of temporal knowledge for multi-agent systems, Reasoning About Belief Revision, Improving the adaptability in automated vessel scheduling in container ports using intelligent software agents, Computational representation of practical argument, Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies, A generalized proximal linearized algorithm for DC functions with application to the optimal size of the firm problem, Hierarchical spatial relation based on a contiguity graph, A formalisation of violation, error recovery, and enforcement in the bit transmission problem, Intentions and potential intentions revisited, Towards a theory of intention revision, AbU: a calculus for distributed event-driven programming with attribute-based interaction, A Qualitative Theory of Cognitive Attitudes and their Change, Postulates for revising BDI structures, A formal semantics for agent distribution and fault tolerance in Jason, Generating possible intentions with constrained argumentation systems, Agent deliberation in an executable temporal framework, Towards Agent-Oriented Relevant Information, Efficient loop-check for KD45 logic, An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals, Where logic and agents meet, A logic of intention and attempt, On the logic of cooperation and propositional control, A logic-based model of intention formation and action for multi-agent subcontracting, Evaluating practical reasoning, Reasoning about ignorance and beliefs, Agent-Based Modeling and Artificial Life, PSPACE complexity of modal logic KD45\(_{n}\), Leighton-Micali hash-based signatures in the quantum random-oracle model, Intention as commitment toward time, Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems, Unnamed Item, Model checking abilities of agents: a closer look, An internal version of epistemic logic, A dynamic-epistemic hybrid logic for intentions and information changes in strategic games, Argumentation Theory and Decision Aiding, Speech acts, commitment and multi-agent communication, Exploring the future with resource-bounded agents, Agent Uncertainty Model and Quantum Mechanics Representation: Non-locality Modeling, Partially observable game-theoretic agent programming in Golog, First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment, Intentions and interactive transformations of decision problems, On obligations and normative ability: Towards a logical analysis of the social contract, Reasoning about emotional agents, Process-algebraic approaches for multi-agent systems: an overview