Reactive maintenance policies over equalized states in dynamic environments

Zeynep G. Saribatur, Chitta Baral, Thomas Eiter

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


We address the problem of representing and verifying the behavior of an agent following a policy in dynamic environments. Our focus is on policies that yield sequences of actions, according to the present knowledge in the state, with the aim of reaching some main goal. We distinguish certain cases where the dynamic nature of the environment may require the agent to stop and revise its next actions. We employ the notion of maintenance to check whether a given policy can maintain the conditions of the main goal, given a respite from environment actions. Furthermore, we apply state clustering to mitigate the large state spaces caused by having irrelevant information in the states, and under some conditions this clustering might change the worst-case complexity. By preserving the behavior of the policy, it helps in checking for maintenance with a guarantee that the result also holds in the original system.

Original languageEnglish (US)
Title of host publicationProgress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Proceedings
EditorsZita Vale, Eugenio Oliveira, Joao Gama, Henrique Lopes Cardoso
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783319653396
StatePublished - 2017
Event18th EPIA Conference on Artificial Intelligence, EPIA 2017 - Porto, Portugal
Duration: Sep 5 2017Sep 8 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10423 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other18th EPIA Conference on Artificial Intelligence, EPIA 2017

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Reactive maintenance policies over equalized states in dynamic environments'. Together they form a unique fingerprint.

Cite this