物理与电子工程学院2019学术论坛之十五
Title：Intelligent Reasoning and Artificial Intelligence concerning a Mission to Mars
Speaker：Dr.Zhu Wei, Department of Philosophy, Peking University
Time: 4:10pm, 18 April
Venue: 图书馆副楼5楼报告厅
Abstract: The exploration of Mars depends largely on the application of Artificial Intelligence. AI is based on intelligent reasoning, which includes theoretical reasoning and practical reasoning. Obviously, Mars is, so far, a largely unknown planet for humans. In this sense, on Mars AI-devices should be able to understand and to respond to many unforeseeable situations. A minor mistake or inability to act in front of an unforeseen situation could result in the failure of the mission. I will try to discuss such an issue from the point of view of epistemic logic. More specifically, I will endorse the viewpoint of the so-called belief revision theory. My question, then, will be: if an intelligent agent receives an unpredictable information, i.e. an information which cannot find any correspondence within the system of practical knowledge of the agent, how could the agent properly deal with that piece of information in order to rationally move on, and to avoid getting stuck or proceed in a purely random way. I will argue that it is probably only if we will be able to develop AI-devices which can deal with situations of ignorance and of uncertainty that a more advanced exploration of Mars will be possible.
Speaker: Zhu Wei is currently at the Department of Philosophy and Religious Studies of Peking
University. She has obtained a bachelor’s degree in mathematics and applied mathematics, at the School of Mathematical Sciences, Beijing Normal University, and the master degree in symbolic logic at the Department of Philosophy and Religious Studies, Peking University. She has been awarded a scholarship under the State Scholarship Fund to pursue a one year study at the University of Padova (Italy). She has been conducting researches in Formal Epistemology, Philosophical Logic, and applications of logical systems, such as Belief Revision, and Preference Logic, in the field of Artificial Intelligence.
