TY - GEN
T1 - Multi-agent automated reasoning toward machine self-awareness
T2 - 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019
AU - Zeng, Zhenbing
AU - Wang, Jianlin
AU - Yang, Zhengfeng
N1 - Publisher Copyright:
© 2019 IEEE.
PY - 2019/7
Y1 - 2019/7
N2 - In this paper, we present a study on building a special SAARA (Self-Aware Automated Reasoning Agent) system for solving Freudenthal's Sum and Product puzzle, aimed to train the 'self-reflection' and 'subjective experience' abilities as in the Three Wise Men test performed by the Nao robots in Rensselaer Polytechnic Institute in July 2015. We show the dynamic evolution of corresponding knowledge sets in the automated reasoning process for the Sum and Product puzzle.
AB - In this paper, we present a study on building a special SAARA (Self-Aware Automated Reasoning Agent) system for solving Freudenthal's Sum and Product puzzle, aimed to train the 'self-reflection' and 'subjective experience' abilities as in the Three Wise Men test performed by the Nao robots in Rensselaer Polytechnic Institute in July 2015. We show the dynamic evolution of corresponding knowledge sets in the automated reasoning process for the Sum and Product puzzle.
KW - Machine self-awareness
KW - The Sum and Product Puzzle
UR - https://www.scopus.com/pages/publications/85077015211
U2 - 10.1109/TASE.2019.00-17
DO - 10.1109/TASE.2019.00-17
M3 - 会议稿件
AN - SCOPUS:85077015211
T3 - Proceedings - 2019 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019
SP - 73
EP - 80
BT - Proceedings - 2019 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 29 July 2019 through 31 July 2019
ER -