STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917711620079616 |
|---|---|
| author | Hurley, Isabelle Paleja, Rohan Suh, Ashley Peña, Jaime D. Siu, Ho Chit |
| author_facet | Hurley, Isabelle Paleja, Rohan Suh, Ashley Peña, Jaime D. Siu, Ho Chit |
| contents | As learned control policies become increasingly common in autonomous systems, there is increasing need to ensure that they are interpretable and can be checked by human stakeholders. Formal specifications have been proposed as ways to produce human-interpretable policies for autonomous systems that can still be learned from examples. Previous work showed that despite claims of interpretability, humans are unable to use formal specifications presented in a variety of ways to validate even simple robot behaviors. This work uses active learning, a standard pedagogical method, to attempt to improve humans' ability to validate policies in signal temporal logic (STL). Results show that overall validation accuracy is not high, at $65\% \pm 15\%$ (mean $\pm$ standard deviation), and that the three conditions of no active learning, active learning, and active learning with feedback do not significantly differ from each other. Our results suggest that the utility of formal specifications for human interpretability is still unsupported but point to other avenues of development which may enable improvements in system validation. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_02632 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) Hurley, Isabelle Paleja, Rohan Suh, Ashley Peña, Jaime D. Siu, Ho Chit Human-Computer Interaction Formal Languages and Automata Theory As learned control policies become increasingly common in autonomous systems, there is increasing need to ensure that they are interpretable and can be checked by human stakeholders. Formal specifications have been proposed as ways to produce human-interpretable policies for autonomous systems that can still be learned from examples. Previous work showed that despite claims of interpretability, humans are unable to use formal specifications presented in a variety of ways to validate even simple robot behaviors. This work uses active learning, a standard pedagogical method, to attempt to improve humans' ability to validate policies in signal temporal logic (STL). Results show that overall validation accuracy is not high, at $65\% \pm 15\%$ (mean $\pm$ standard deviation), and that the three conditions of no active learning, active learning, and active learning with feedback do not significantly differ from each other. Our results suggest that the utility of formal specifications for human interpretability is still unsupported but point to other avenues of development which may enable improvements in system validation. |
| title | STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) |
| topic | Human-Computer Interaction Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2407.02632 |