Engineering AgentSpeak(L): a formal computational model

DOI10.1093/LOGCOM/8.3.233MaRDI QIDQ4209286zbMATH OpenOpenAlexFDO

Authors Mark d'Inverno, Michael Luck

Publication date 9 November 1998

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/014c238197f4368a37b654e14087ad82c0aa49e4

zbMATH Keywords

formal specificationintelligent agentsagent languagesBDI architecturesbelief-desire-intention framework

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
• Intelligent agents II, Agent theories, architectures, and languages. IJCAI '95 workshop (ATAL), Montréal, Canada, August 19-20, 1995. Proceedings
• Language design issues for agents based on linear logic (extended abstract)
• scientific article; zbMATH DE number 140411

Cited in

(29)

• Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
• Computational Logic in Multi-Agent Systems
• On the testability of BDI agent systems
• scientific article; zbMATH DE number 2088148 (Why is no real title available?)
• A flexible plan step execution model for BDI agents
• BDI Agent Programming in AgentSpeak Using Jason
• The semantics of behavior
• scientific article; zbMATH DE number 1969725 (Why is no real title available?)
• Semantical considerations on intention dynamics for BDI agents
• scientific article; zbMATH DE number 1919417 (Why is no real title available?)
• Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
• Computational Logic in Multi-Agent Systems
• Markov decision processes and the belief-desire-intention model. Bridging the gap for autonomous agents
• scientific article; zbMATH DE number 2084422 (Why is no real title available?)
• scientific article; zbMATH DE number 1980924 (Why is no real title available?)
• Reasoning about rational agents
• Logic-based specification languages for intelligent software agents
• scientific article; zbMATH DE number 1929159 (Why is no real title available?)
• Standard type soundness for agents and artifacts
• LASS -- a language for agent-oriented software specification
• A formal approach to embedding first-principles planning in BDI agent systems
• A formal framework for interactive agents
• scientific article; zbMATH DE number 1759741 (Why is no real title available?)
• scientific article; zbMATH DE number 2209368 (Why is no real title available?)
• Language design issues for agents based on linear logic (extended abstract)
• CTL AgentSpeak(L): A specification language for agent programs
• scientific article; zbMATH DE number 2112098 (Why is no real title available?)
• scientific article; zbMATH DE number 2088145 (Why is no real title available?)
• scientific article; zbMATH DE number 2088156 (Why is no real title available?)

Describes a project that uses

Uses Software

• AgentSpeak
• Z/EVES

This page was built for publication: Engineering AgentSpeak(L): a formal computational model

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