Verifiable Self-Aware Agent-Based Autonomous Systems

Louise A. Dennis; Michael Fisher

doi:10.1109/jproc.2020.2991262

journal article Open Access Jul 01, 2020

Verifiable Self-Aware Agent-Based Autonomous Systems

Louise A. Dennis

Michael Fisher

Proceedings of the IEEE Vol. 108 No. 7 pp. 1011-1026 · Institute of Electrical and Electronics Engineers (IEEE)

View at Publisher Save 10.1109/jproc.2020.2991262

Topics

No keywords indexed for this article. Browse by subject →

References

90

[1]

10.2514/1.i010096

[2]

10.1007/978-3-642-24270-0_17

[3]

10.2514/6.2011-6664

[4]

10.1007/s10515-014-0168-9

[5]

cointe "Ethical judgment of agents’ behaviors in multi-agent systems" Proc 4th Int Conf Auton Agents Multiagent Syst (AAMAS) (2016)

[6]

10.1016/j.robot.2015.11.012

[7]

CAP 393 Air Navigation The Order and the Regulations (2010)

[8]

10.1109/jra.1986.1087032

[9]

10.1093/logcom/exp029

[10]

ROS—Robot Operating System (2020)

[11]

dennis "Recognising assumption violations in autonomous systems verification" Proc 3rd Int Joint Conf Autonomous Agents and Multiagent Systems (AAMAS) (2018)

[12]

10.1007/978-3-030-03769-7_15

[13]

ressia "Run-time evolution through explicit meta-objects" in Proc 5th Workshop Modelsrun time (2010)

[14]

10.1016/s0004-3702(99)00047-8

[15]

winfield Robots with Internal Models A Route to Self-Aware Hence Safer Robots (2014)

[16]

holland "Robots with internal models a route to machine consciousness?" J Consciousness Stud (2003)

[17]

duval A Theory of Objective Self Awareness (1972)

[18]

10.1109/mc.2003.1160055

[19]

lewis Self-Aware Computing Systems An Engineering Approach (2016) 10.1007/978-3-319-39675-0

[20]

10.1145/2228360.2228409

[21]

dennis "Actions with durations and failures in BDI languages" Proc Europ Conf Artif Intel (ECAI) (2014)

[22]

10.7551/mitpress/4074.001.0001

[23]

cardoso "Plan library reconfigurability in BDI agents" Proc 7th Int Workshop Eng Multi-Agent Syst (EMAS) (2019)

[24]

10.1016/s1574-6526(05)80017-3

[25]

konolige "A computational theory of belief introspection" Proc IJCAI (1985)

[26]

10.1145/48529.48530

[27]

johnson-laird Mental Models Toward a Cognitive Science of Language Inference and Consciousness (1983)

[28]

10.1145/359104.359106

[29]

boyer The Correctness Problem in Computer Science (1981)

[30]

maes Meta-level Architecture and Reflection (1988)

[31]

10.1023/a:1022920129859

[32]

10.1007/s10515-011-0088-x

[33]

10.1007/978-3-540-79043-3_8

[34]

Vacuum cleaning robotiRobot Roomba (2020)

[35]

Waymo Wins Industry’s First Approval to Test Driverless Cars on Public Roads in California (2020)

[36]

10.1145/2500468.2494558

[37]

10.1016/j.tcs.2005.11.026

[38]

edmonds "The insufficiency of formal design methods: Necessity of an experimental approach for the understanding and control of complex MAS" Proc AAMAS (2004)

[39]

10.1145/2071356.2071363

[40]

10.1016/j.entcs.2009.09.051

[41]

falcone "A tutorial on runtime verification" Engineering Dependable Software Systems (2013)

[42]

10.1007/s10515-005-6205-y

[43]

10.1080/09528130412331309277

[44]

10.1016/j.robot.2010.05.008

[45]

10.1177/0278364912459665

[46]

10.1109/jproc.2019.2898267

[47]

10.1016/j.cogsys.2017.04.002

[48]

10.3389/frobt.2017.00074

[49]

10.1007/3-540-44631-1_16

[50]

10.1023/a:1010084620690

Showing 50 of 90 references

Cited By

38

Engineering Responsible And Explainable Models In Human-Agent Collectives

Dhaminda B. Abeywickrama, Sarvapali D. Ramchurn · 2023

Applied Artificial Intelligence

Metrics

38

Citations

90

References

Details

Published: Jul 01, 2020
Vol/Issue: 108(7)
Pages: 1011-1026
License: View

Authors

Cite This Article

Louise A. Dennis, Michael Fisher (2020). Verifiable Self-Aware Agent-Based Autonomous Systems. Proceedings of the IEEE, 108(7), 1011-1026. https://doi.org/10.1109/jproc.2020.2991262

Verifiable Self-Aware Agent-Based Autonomous Systems

You May Also Like