KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

Axiomatization of Approximate Exclusion

  1. Matilda Häggblom(University of Helsinki)

Keywords

  1. Inconsistency- and exception-tolerant reasoning-General
  2. Computational aspects of knowledge representation-General
  3. Uncertainty and vagueness-General

Abstract

We define and axiomatize approximate exclusion atoms in the team semantic setting. A team is a set of assignments, which can be seen as a mathematical model of a uni-relational database. We say that an approximate exclusion atom is satisfied in a team if the corresponding usual exclusion atom is satisfied in a large enough subteam. We consider the implication problem for a set of approximate exclusion atoms and show that it is axiomatizable for consequences with a degree of approximation that is not too large. We prove the completeness theorem for usual exclusion atoms, currently missing from the literature, and generalize it to the approximate case. We also provide a polynomial time algorithm for the implication problems. The results can also be applied to exclusion dependencies in database theory.