UNSW.ai Invited Talk with Prof Gerhard Lakemeyer, RWTH Aachen University

UNSW AI Institute is the flagship artificial intelligence (AI) research institute of the University of New South Wales (World’s Top 20 Universities in QS2024) It supports the activities of over 350 UNSW academics and over 50 research groups, labs and centres, working in AI, data science, and machine learning or applying them in their respective domains. Its researchers’ extensive track record in AI research and development capabilities across several faculties, including Engineering, Science, Business, Law, Medicine, Arts, Design & Architecture and UNSW Canberra, is well recognised globally. It has extensive expertise and capabilities in the development, application and translation of AI. The institute has several goals, including fostering interdisciplinary connections for both teaching and research, participation in public dialogue on AI, and driving the commercialisation of research.Please connect with us on social media for the latest updates.Website:             unsw.aiLinkedIn:             linkedin.com/company/unsw-ai-instituteTwitter:               @unsw_aiYoutube:             http://unsw.to/youtube_aiE﻿mail:                    ai@unsw.edu.au

UNSW AI Institute

UNSW.ai Invited Talk with Professor Gerhard Lakemeyer - A First-Order Logic of Limited Belief Based on Possible Worlds

<h3>UNSW AI Institute (UNSW.ai) Invited Talk with Professor Gerhard Lakemeyer, Professor of Computer Science, RWTH Aachen University</h3><h2>Title: A First-Order Logic of Limited Belief Based on Possible Worlds</h2>Date/Time: Friday 24th February 2023 | 2:00pm - 3:00pmL﻿ocation: Innovation Central Sydney, Basement, K17 Building, UNSW Sydney, Kensington, NSW 2052A﻿nd via Zoom Webinar ( Please register to receive the online Webinar details) Abstract: In a recent paper Lakemeyer and Levesque proposed a first-order logic of limited belief to characterize the beliefs of aknowledge base KB. Among other things, they show that their model of belief is expressive, eventually complete, and tractable. This means, roughly, that a KB may consist of arbitrary first-order sentences, that any sentence which is logically entailed by the KB is eventually believed, given enough reasoning effort, and that reasoning is tractable under reasonable assumptions. One downside of the proposal is that epistemic states are defined in terms of sets of clauses, possibly containing variables, giving the logic a distinct syntactic flavour compared to the more traditional possible-world semantics found in the literature on epistemic logic.In this paper we show that the same properties as above can be obtained by defining epistemic states as sets of three-valued possible worlds. This way we are able to shed new light on those properties by recasting them using the more familiar notion of truth over possible worlds.P﻿lease contact ai.admin@unsw.edu.au for any inquires regarding this event.F﻿or upcoming events and check out our past events, please visit the link below:https://www.unsw.edu.au/unsw-ai/news-events/events

Gerhard Lakemeyer received his Ph.D. from the University of Toronto in 1990. After six years at the University of Bonn, he joined the faculty of the Department of Computer Science at RWTH Aachen University, where he is Full Professor and heads the Knowledge-Based Systems Group. Since 2022 he is also Chair of the Department of Computer Science at RWTH Aachen University. He is also a Full Professor (status-only) at the University of Toronto, Canada, and was a Professorial Fellow at the University of New South Wales, Australia (2015--2020). His research interests include knowledge representation and reasoning with applications to cognitive robotics. He has published more than 150 scientific papers and has served on numerous program committees, including IJCAI, AAAI, ECAI, and KR. He is a Fellow of the European Association for Artificial Intelligence (EurAI) and past President of EurAI (2016--2018). He is Area Editor of Computational Intelligence and a member of the Editorial Board of the Journal of Applied Logic. In the past, he was also Associate Editor of Artificial Intelligence and the Journal of Artificial Intelligence Research.InterestsArtificial IntelligenceKnowledge RepresentationCognitive Robotics

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}