Go to page
 

Bibliographic Metadata

Title
Reactive Maintenance Policies over Equalized States in Dynamic Environments
AuthorSaribatur, Zeynep G. ; Baral, Chitta ; Eiter, Thomas In der Gemeinsamen Normdatei der DNB nachschlagen
Published in
Progress in Artificial Intelligence. 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugual, September 5-8, 2017, Cham, 2017, page 709-723
Published2017
Edition
Accepted version
LanguageEnglish
SeriesLecture Notes in Computer Science ; 10423
Document typeArticle in a collected edition
Project-/ReportnumberAustrian Science Fund (FWF): W1255-N23
ISBN9783319653402
URNurn:nbn:at:at-ubtuw:3-3426 Persistent Identifier (URN)
DOI10.1007/978-3-319-65340-2_58 
Restriction-Information
 The work is publicly available
Files
Reactive Maintenance Policies over Equalized States in Dynamic Environments [0.35 mb]
Links
Reference
Classification
Abstract (English)

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.

Note
Note
Stats
The PDF-Document has been downloaded 19 times.