[Hội thảo] Lập Luận về Tri Thức (Reasoning about Knowledge)

  • Diễn giả: GS. Thomas Agotnes, Đại học Bergen, Na Uy
  • Thời gian: 14:00, thứ sáu ngày 19 tháng 02 năm 2016
  • Địa điểm: Phòng A2.601
  • Nội dung tóm lược:
    Do you know that I know that you know the title of this talk? In many daily situations we need to reason about what other people know, and what they know about what we know, and what they know about what we know that they know, and so on. This happens for example when we are playing certain card games, but also when we interact in more general ways. Reasoning about knowledge is not easy: humans are not very good at it. However, reasoning about knowledge is important in many scientific disciplines, including artificial intelligence, computer science, cognitive science, economics, and linguistics. Thus, it is important to carefully model and analyse the principles of this type of reasoning. For this purpose, formal logic has turned out to be very useful. In the talk I will introduce and motivate the problem of reasoning about knowledge, and briefly introduce and demonstrate a logical formalism for reasoning about knowledge: epistemic logic. You don’t have to know anything about logic to understand the talk.

Rất mong sự hiện diện của Quý thầy cô, nghiên cứu viên, cán bộ và sinh viên tại buổi hội thảo.