The virtues of idleness: a decidable fragment of resource agent logic

DOI10.1016/J.ARTINT.2016.12.005MaRDI QIDQ514142zbMATH OpenOpenAlexFDO

Authors Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen

Publication date 28 February 2017

Published in Artificial Intelligence (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.artint.2016.12.005

zbMATH Keywords

model checkingresource constraintsstrategy logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• On the (un-)decidability of model checking resource-bounded agents
• Model-checking for resource-bounded ATL with production and consumption of resources
• scientific article; zbMATH DE number 7368413
• Alternating-time temporal logic with resource bounds
• Decidable model-checking for a resource logic with production of resources

Cites work

• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 1302047 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• A logical and computational theory of located resource
• A resource-sensitive logic of agency
• Alternating-time temporal logic
• Classical BI
• Decidable model-checking for a resource logic with production of resources
• Expressing properties of resource-bounded systems: the logics RTL\(^{*}\) and RTL
• How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract)
• Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
• Logic for coalitions with bounded resources
• Model Checking Coverability Graphs of Vector Addition Systems
• Model checking coalitional games in shortage resource scenarios
• Model-checking for resource-bounded ATL with production and consumption of resources
• On a logic for coalitional games with priced-resource agents
• On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems
• On the (un-)decidability of model checking resource-bounded agents
• On the complexity of resource-bounded logics
• Parameterised verification for multi-agent systems
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Proving guarantee and recurrence temporal properties by abstract interpretation
• Temporal property verification as a program analysis task
• The Logic of Bunched Implications

Cited in

(6)

• State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
• On the (un-)decidability of model checking resource-bounded agents
• Decidable model-checking for a resource logic with production of resources
• Natural strategic ability
• Strategic reasoning with a bounded number of resources: the quest for tractability
• Verifying systems of resource-bounded agents

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: The virtues of idleness: a decidable fragment of resource agent logic

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