Speaker: Prof. Yongmei Liu,Dept. of Computer Science, Sun Yat-sen University Inviter: 陆汝钤 院士 Title: High-level Program Execution for Intelligent Behavior Time & Venue: 2013.4.25 10:00am S703 Abstract: The selection of the actions to do next is one of the central problems of Artificial Intelligence (AI). In AI, three approaches have been used to address this problem: learning-based approach, planning, and high-level program execution where agent behavior is specified as a high-level nondeterministic program. Golog is a representative high-level agent programming language based on the situation calculus, an expressive formalism for reasoning about actions and change. In this talk, I will give an overview of the research on reasoning about actions and high-level program execution conducted by the Logic and Intelligence Group at Sun Yat-sen University. Topics covered include: progression of first-order knowledge bases, reasoning about state constraints, a Golog interpreter based on exact progression and limited reasoning, and a multi-agent extension of the situation calculus. Affiliation: Yongmei Liu is a Professor of Computer Science at Sun Yat-sen University. She received her PhD in Computer Science from University of Toronto in 2006. Her research interests lie in Artificial Intelligence, knowledge representation and reasoning, cognitive robotics, program verification and debugging. She has published over ten papers in top international AI conferences IJCAI and AAAI, and served on program committees of IJCAI and AAAI.