Existing search engines––with Google at the top––have many remarkable capabilities; but what is not among them is deduction capability––the capability to synthesize an answer to a query from bodies of information which reside in various parts of the knowledge base. In recent years, impressive progress has been made in enhancing performance of search engines through the use of methods based on b...

Existing search engines, with Google at the top, have many truly remarkable capabilities. Furthermore, constant progress is being made in improving their performance. But what is not widely recognized is that there is a basic capability which existing search engines do not have: deduction capability – the capability to synthesize an answer to a query by drawing on bodies of information which re...

This paper shows an architecture for Deductive Fuzzy RDBMS which integrates two approaches of fuzzy databases: the relational and the logical ones. It uses the first one to represent and manipulate imprecise information and the second one to obtain intensional information. Besides, it shows how it is possible to use the resources offered by a conventional RDBMS together with a deduction module ...

The paper deals with fuzzy logic in narrow sense of Lukasiewicz style, i.e. a special kind of many-valued logic which is aimed at modeling of vagueness phenomenon. This logic is a generalization of Lukasiewicz logic with many interesting properties (for example, generalization of the deduction and completeness theorems hold in it). Our aim is to prepare the background for the resolution in fuzz...

The purpose of this paper is to describe a fuzzy cognitive map based on the random neural network model, and to illustrate its application in the modeling of process. This model is based on the probability of activation of the neurons/concepts in the network. Our model carries out inferences via numerical calculation instead of symbolic deduction. The arcs define dynamic relationships between c...

This paper is a continuation of Part I [9]. First, the extension of fuzzy theories is studied and the important deduction theorem is proved which is a generalisation of the corresponding classical one. In Section 7.3, algebraic properties of the set of formulae are studied. This section serves as a preparation for the proofs of the most important theorems in this paper which are the completenes...

The paper deals with fuzzy logic in the narrow sense of Lukasiewicz style, i.e. a special kind of many-valued logic which is aimed at modeling of vagueness phenomenon. This logic is a generalization of Lukasiewicz logic with many interesting properties (for example, generalization of the deduction and completeness theorems hold in it). Our aim is to prepare the background for the resolution in ...

We consider a standard system of sequents and a system of extended natural deduction (which is a modification of natural deduction) for intuitionistic predicate logic and connect the special cuts, maximum cuts, from sequent derivations and maximum segments from derivations of extended natural deduction. We show that the image of a sequent derivation without maximum cuts is a derivation without ...

The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. The concept of multivalued knowledgebase will be defined as a quadruple of any background knowledge; a deduction mechanism; a connecting algorithm, and a function set of the program, which help us to determine the uncertainty levels of the results. At ...