Reproduce “Model Change for Description Logic Concepts” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Ana Ozaki, Jandson S. Ribeiro
Ozaki and Ribeiro formalize model change for Description Logic concepts by defining eviction, reception, and revision operators, showing how to modify conceptual beliefs based on observed models. They establish rationality postulates for these operations and determine their compatibility for EL– and ALC under different model classes, demonstrating that revision is a distinct operation from sequential eviction and reception.
Key insights
- Model revision is a distinct, atomic operation that cannot generally be reduced to a sequential application of eviction and reception, highlighting its inherent complexity in model-based belief change.
- The compatibility of model change operations for DLs like EL– and ALC is highly sensitive to the expressivity of the logic and the specific class of models, often leading to non-compatibility in general settings.
- Rationality postulates provide a principled way to define model change operators, ensuring minimal changes and finite representability, with a concrete construction for a rational revision operator.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.