The Community for Technology Leaders
2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE) (2013)
San Francisco, CA, USA
May 25, 2013 to May 26, 2013
ISBN: 978-1-4673-6437-9
pp: 35-41
Constance Heitmeyer , Center for High Assurance Computer Systems
Marc Pickett , Center for Applied Research in Artificial Intelligence Naval Research Laboratory, Washington, DC 20375, USA
Len Breslow , Center for Applied Research in Artificial Intelligence Naval Research Laboratory, Washington, DC 20375, USA
David Aha , Center for Applied Research in Artificial Intelligence Naval Research Laboratory, Washington, DC 20375, USA
J. Greg Trafton , Center for Applied Research in Artificial Intelligence Naval Research Laboratory, Washington, DC 20375, USA
Elizabeth Leonard , Center for High Assurance Computer Systems
ABSTRACT
Many future decision support systems will be human-centric, i.e., require substantial human oversight and control. Because these systems often provide critical services, high assurance will be needed that they satisfy their requirements. How to develop “high assurance human-centric decision systems” is unknown: while significant research has been conducted in areas such as agents, cognitive science, and formal methods, how to apply and integrate the design principles and disparate models in each area is unclear. This paper proposes a novel process for developing human-centric decision systems where AI (artificial intelligence) methods-namely, cognitive models to predict human behavior and agents to assist the human-are used to achieve adequate system performance, and software engineering methods, namely, formal modeling and analysis, to obtain high assurance. To support this process, the paper introduces a software engineering technique-formal model synthesis from scenarios-and two AI techniques-a model for predicting human overload and user model synthesis from participant studies data. To illustrate the process and techniques, the paper describes a decision system controlling unmanned air vehicles.
INDEX TERMS
CITATION

C. Heitmeyer, M. Pickett, L. Breslow, D. Aha, J. G. Trafton and E. Leonard, "High assurance human-centric decision systems," 2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE), San Francisco, CA, USA, 2013, pp. 35-41.
doi:10.1109/RAISE.2013.6615202
85 ms
(Ver 3.3 (11022016))