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

DOI10.1016/J.ARTINT.2008.03.005zbMath1183.68630OpenAlexW2160663295WikidataQ113442976 ScholiaQ113442976MaRDI QIDQ2389664

M. Bjäreland, Mutsumi Nakamura, Thomas Eiter, Chitta R. 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

Horn theoriesself-stabilizationanswer set programmingSAT solvingdiscrete event dynamic systems\(k\)-maintainabilityagent controlcomputational complexity of agent designmaintenance goals

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Related Items (3)

MAINTENANCE GOALS IN INTELLIGENT AGENTS ⋮ Risk-aware analysis for interpretations of probabilistic achievement and maintenance commitments ⋮ Learning from interpretation transition

Uses Software

• Smodels

Cites Work

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

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