General problem-solving systems can understand descriptions of new problems at runtime and solve them without human intervention. I will discuss GDL-III, a formal description language for general epistemic planning and game playing. GDL-III provides a simpler representation language for actions and knowledge than existing formalisms: All that's required are objective rules about what agents observe and can do. I will define its formal semantics and demonstrate that the language is expressive enough to model common epistemic problems. I will show that GDL-III is as expressive as Dynamic Epistemic Logic (DEL), and I will discuss how we plan to use GDL-III for our general problem-solving Baxter robot to cooperate with humans.
21/06/2018 11:00
Inteligent Systems
Michael Thielscher is a professor of computer science at UNSW Australia, where he also holds the position of an associate director of the iCinema Research Centre. Michael Thielscher received his postgraduate diploma, Ph.D. and Higher Doctorate (Habilitation) in computer science from Darmstadt University. He then joined Dresden University, where he was an associate professor before he moved to his present position. His Habilitation thesis was honoured with the Award for Research Excellence by the alumni of Darmstadt University, and in 2009 he won a Future Fellowship Award from the Australian Research Council.
His current research is mainly in Knowledge Representation, Cognitive Robotics, and Artificial General Intelligence. He is author of over 175 refereed papers and four books, including a new textbook on General Game Playing, and he has co-authored the award-winning system FLUXPLAYER, which in 2006 was crowned the World Champion at the AAAI General Game Playing Competition.
