### Reasoning in knowledge bases with external and internal uncertainties

#### Abstract

The paper presents a method of logical reasoning in knowledge bases with uncertainty; such a knowledge base is given by a set of “knowledges” of two following forms:

1) <S,I> where S is a sentence, and I Í[0,1] is an interval of the possible values for truth probability of S.

2) <S_{1},I_{1}> Ù <S_{2},I_{2}> Ù …Ù <S_{n},I_{n}> ® <S,I>, where S_{1}, S_{2},…, S_{n}, S are sentences, and I_{1}, I_{2},…, I_{n}, I are the corresponding intervals of their truth probabilities.

Let B be a such knowledge base, and S be a goal sentence. The interval of truth probabilities of S derived from B can be found by the proposed method.

#### Full Text:

PDF (Tiếng Việt)*Journal of Computer Science and Cybernetics *ISSN: 1813-9663**Published by Vietnam Academy of Science and Technology**