<div class="csl-bib-body">
<div class="csl-entry">Saribatur, Z. G., Baral, C., & Eiter, T. (2017). Reactive Maintenance Policies over Equalized States in Dynamic Environments. In <i>Progress in Artificial Intelligence. 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugual, September 5-8, 2017</i>. Cham. https://doi.org/10.1007/978-3-319-65340-2_58</div>
</div>
The final publication is available via <a href="https://doi.org/10.1007/978-3-319-65340-2_58" target="_blank">https://doi.org/10.1007/978-3-319-65340-2_58</a>.
-
dc.description.abstract
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.
en
dc.description.sponsorship
Austrian Science Funds (FWF)
-
dc.language
English
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.title
Reactive Maintenance Policies over Equalized States in Dynamic Environments
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.relation.publication
Progress in Artificial Intelligence. 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugual, September 5-8, 2017