NOL Seminar with Ana Ozaki
published: 2026-04-13
event date:
2026-04-27
The Nordic Online Logic Seminar
is organised monthly over Zoom, with expository talks on topics of interest for
the broader logic community. The seminar is open for professional or aspiring
logicians and logic aficionados worldwide. If you wish to receive the Zoom ID
and password for it, as well as further announcements, please subscribe here:
https://listserv.gu.se/sympa/subscribe/nordiclogic
Date Monday, 27 April 2026 at 16:00 CEST (UTC+2) on Zoom
Speaker Ana Ozaki (Associate Professor, University of Oslo)
Title Model Change for Description Logic Concepts
Abstract
The field of Belief Change studies how an agent updates its beliefs in the
presence of new information. In this work, we consider the case where beliefs
are represented as description logic concepts and the new information is in the
format of pointed interpretations. We call this setting model change, and
distinguish three main kinds of changes: eviction, which consists of only
removing models; reception, which incorporates models; and revision, which
combines removal with incorporation of models in a single operation. We
introduce a formal notion of revision and argue that it does not reduce to a
simple combination of eviction and reception, contrary to intuition. We provide
positive and negative results on the compatibility of eviction and reception for
EL and ALC description logic concepts and on the compatibility of revision for
ALC concepts.