this is a reminder for Gerhard Lakemeyer's talk on Tractable Reasoning
in First-Order Knowledge Bases
taking place *today at 16:30* in room 5053.2 and on Zoom. Please find
the details below.
> In knowledge representation, obtaining a notion of belief which is
> tractable, expressive, and eventually complete has been a somewhat
> elusive goal. Expressivity here means that an agent should be able to
> hold arbitrary beliefs in a very expressive language like that of
> first-order logic, but without being required to perform full logical
> reasoning on those beliefs. Eventual completeness means that any
> logical consequence of what is believed will eventually come to be
> believed, given enough reasoning effort.
> Tractability in a first-order setting has been a research topic for
> many years, but in most cases limitations were needed on the form of
> what was believed, and eventual completeness was so far restricted to
> the propositional case. In this talk I present a novel logic of
> limited belief, which has all three desired properties.
Part of the programme of the research training group UnRAVeL is a series
of introductory lectures on the topics of "randomness" and "uncertainty"
in UnRAVeL’s research thrusts: Algorithms and complexity, verification,
logic and languages, and their application scenarios. The main aim is to
provide doctoral researchers as well as master students a broad overview
of the subjects of UnRAVeL.
Science undergoes continuous change and lives from the constant quest
for novel and better results, which are presented at conferences and in
journals. This year, 10 UnRAVeL professors will present some of their
most recent research successes.
Everyone interested, in particular doctoral researchers and master
students, are invited to attend the UnRAVeL lecture series 2022 and
engage in discussions with the researchers.
The talks take place on Tuesdays, 16:30–18:00 in room 5053.2 in the
ground floor of building E2. All events are hybrid. To join remotely,
/ Meeting ID: 960 0388 5007 / Passcode: 273710
We are looking forward to seeing many of you in the UnRAVeL survey
lecture "What's New in UnRAVeL?".
Andreas Klinger, Birgit Willms, and Tim Seppelt