Maintenance goals of agents in a dynamic environment: formulation and policy construction

DOI10.1016/J.ARTINT.2008.03.005MaRDI QIDQ2389664zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Eiter, M. Bjäreland, Mutsumi Nakamura, Chitta Baral

Publication date 17 July 2009

Published in Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

\(k\)-maintainabilityagent controlanswer set programmingcomputational complexity of agent designdiscrete event dynamic systemsHorn theoriesmaintenance goalsSAT solvingself-stabilization

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Recommendations

• Maintenance goals in intelligent agents
• The complexity of achievement and maintenance problems in agent-based systems
• Maintenance policies for flow line based on multi-agent reinforcement learning
• Optimal maintenance policies in random environments
• An effective maintenance policy for a multi-component dynamic system using factored POMDPs
• Availability and optimal maintenance policy for systems degrading in dynamic environments

Cites work

• A commonsense language for reasoning about causation and rational action
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Complexity, decidability and undecidability results for domain-independent planning
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Declarative problem-solving using the DLV system
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 1696864 (Why is no real title available?)
• scientific article; zbMATH DE number 3888913 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 4166887 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 1341817 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2080340 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
• Modular Feedback Logic for Discrete Event Systems
• On uniformity within \(NC^ 1\)
• Planning control rules for reactive agents
• Planning for temporally extended goals.
• Representing actions: Laws, observations and hypotheses
• Self-stabilizing systems in spite of distributed control
• Stability and stabilizability of discrete event dynamic systems
• STRIPS: A new approach to the application of theorem proving to problem solving
• Supervisory Control of a Class of Discrete Event Processes
• Synthesis of Communicating Processes from Temporal Logic Specifications
• The computational complexity of propositional STRIPS planning
• The DLV system for knowledge representation and reasoning
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation
• Weak, strong, and strong cyclic planning via symbolic model checking

Cited in

(3)

• Learning from interpretation transition
• Maintenance goals in intelligent agents
• Risk-aware analysis for interpretations of probabilistic achievement and maintenance commitments

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Maintenance goals of agents in a dynamic environment: formulation and policy construction

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