---
title: "Resource-bounded inference from inconsistent belief bases"
authors:
  - "Pierre Marquis"
  - "Nadège Porquet"
doi: ""
url: "https://ijcai.org/proceedings/2001/14"
pdf: "https://ijcai.org/proceedings/2001/0014.pdf"
venue: "Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence"
year: 2001
pages: "103-107"
track: ""
keywords:
---

# Resource-bounded inference from inconsistent belief bases

Pierre Marquis, Nadège Porquet

*Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence*, pages 103-107.

## Abstract

A family of resource-bounded paraconsistent inference relations is introduced. These relations are based on S - 3 entailment, an inference relation logically weaker than classical entailment and parametrized by a set S of variables. Their properties are investigated, especially from the computational complexity point of view. Among the strong features of our framework is the fact that tractability is ensured each time S is bounded and that binary connectives behave in a classical manner. Moreover, our family is large enough to include both S - 3 inference, the standard inference relations based on the selection of consistent subbases and some additional forms of paraconsistent reasoning as specific cases.