Towards Propositional KLM-Style Defeasible Standpoint Logics

Nicholas Leisegang,Thomas Meyer,Sebastian Rudolph

2024-10-06

Abstract:The KLM approach to defeasible reasoning introduces a weakened form of implication into classical logic. This allows one to incorporate exceptions to general rules into a logical system, and for old conclusions to be withdrawn upon learning new contradictory information. Standpoint logics are a group of logics, introduced to the field of Knowledge Representation in the last 5 years, which allow for multiple viewpoints to be integrated into the same ontology, even when certain viewpoints may hold contradicting beliefs. In this paper, we aim to integrate standpoints into KLM propositional logic in a restricted setting. We introduce the logical system of Defeasible Restricted Standpoint Logic (DRSL) and define its syntax and semantics. Specifically, we integrate ranked interpretations and standpoint structures, which provide the semantics for propositional KLM and propositional standpoint logic respectively, in order to introduce ranked standpoint structures for DRSL. Moreover, we extend the non-monotonic entailment relation of rational closure from the propositional KLM case to the DRSL case. The main contribution of this paper is to characterize rational closure for DRSL both algorithmically and semantically, showing that rational closure can be characterized through a single representative ranked standpoint structure. Finally, we conclude that the semantic and algorithmic characterizations of rational closure are equivalent, and that entailment-checking for DRSL under rational closure is in the same complexity class as entailment-checking for propositional KLM.

Artificial Intelligence

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is to combine standpoint logics with the KLM non - monotonic reasoning framework in order to handle incomplete or contradictory information in multi - standpoint knowledge bases. Specifically, the paper aims to introduce a new logical system - Defeasible Restricted Standpoint Logic (DRSL), and define its syntax and semantics. Through this combination, DRSL can represent multiple agents with (possibly contradictory) beliefs in a single logical framework, and these beliefs can be defeasible.

### Main contributions of the paper

1. **Define the syntax and semantics of DRSL**:
- Introduce ranked standpoint structures with ranked interpretations, providing semantic support for propositional KLM logic and propositional standpoint logic respectively.
- Define the syntax of DRSL, allowing the application of standpoint modal operators outside KLM formulas.

2. **Extend rational closure**:
- Extend the concept of rational closure in propositional KLM logic to DRSL.
- Characterize rational closure in both algorithmic and semantic ways, and prove that these two characterizations are equivalent.
- Show that DRSL entailment checking under rational closure has the same complexity class as entailment checking in propositional KLM logic.

### Motivating example

The paper illustrates the problem through a case in 19th - century American courts regarding whether tomatoes should be classified as fruits or vegetables. From the botanical standpoint, tomatoes are fruits; but from the culinary - use standpoint, tomatoes are usually considered vegetables. Therefore, a logical framework is needed to handle such contradictory information under different standpoints, and this information may be defeasible.

### Key technical details

- **KLM non - monotonic reasoning**: Introduce a weakened entailment relation \( \alpha |∼ \beta \), which means "normally, \(\alpha\) entails \(\beta\)", allowing for exceptions in the rules.
- **Standpoint logic**: Use modal operators \( \Box_s \) and \( \Diamond_s \) to express the certainty and possibility of propositions under a certain standpoint.
- **Rational closure**: Define rational closure in DRSL by constructing representative ranked interpretation structures and provide an algorithmic implementation.

### Conclusion

The paper successfully combines KLM non - monotonic reasoning with standpoint logic and proposes DRSL, a new logical system. This system can handle contradictory information in multi - standpoint knowledge bases and maintains the characteristics of non - monotonic reasoning. In addition, the paper also proves that the complexity of entailment checking in DRSL is the same as that in propositional KLM logic.

Through these contributions, the paper provides a strong theoretical basis for handling multi - standpoint, defeasible beliefs.