In this paper we give a possible model for handling uncertain information. The concept of fuzzy knowledge-base will be defined as a quadruple of any background knowledge, defined by the proximity of predicates and terms; a deduction mechanism: a fuzzy Datalog program; a connecting algorithm, which connects the background knowledge with the program and a decoding set of the program, which help u...

In this work we present a model for handling uncertain information. The concept of fuzzy knowledge-base is defined as a quadruple of background knowledge. Specifically, the latter is defined by the proximity of predicates and terms; a deduction mechanism: a fuzzy Datalog program; a connecting algorithm, which connects the background knowledge with the program, and a decoding set of the program ...

This paper describes the architecture, implementation and performance, of a heterogeneous parallel deduction system (HPDS). The HPDS uses multiple deduction components, each of which attempts to find a refutation of the same input set, but using different deduction formats. The components cooperate by distributing clauses they generate to other components. The HPDS has been implemented in Prolo...

Fuzzy reasoning, case-based reasoning (CBR) and experience-based reasoning (EBR) or natural reasoning have been seriously studied for years. However, these studies essentially can be considered as a 1-dimensional approach, because their reasoning paradigm is 1-dimensional. This paper will propose a 2-dimensional (2D) approach that represents fuzzy reasoning, CBR, and EBR in a unified way. This ...

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. At first the concept of fuzzy Datalog will be summarized, then its extensions for intuitionisticand interval-valued fuzzy logic is given and the concept of bipolar fuzzy Datalog is introduced. Based on these ideas the concept of multivalued knowledge-b...

Our main purpose in this dissertation is to develop a system to diagnose and indicate solutions to financial health problems of small and medium firms (SMF). Although monitoring and adjusting financial problems play a central role in the firm’s performance, usually SMF face difficulties in these tasks for lacking human resources and for having incapacity to afford a consultant. The closest type...

In this paper we study generic expansions of predicate logics of some left-continuous t-norms (mainly Gödel and Nilpotent Minimum predicate logics) with a countable set of truth-constants. Using known results on tnorm based predicate fuzzy logics we obtain results on the conservativeness and completeness for the expansions of some predicate fuzzy logics. We describe the problem for the cases of...

in this paper we continue development of formal theory of a special class offuzzy logics, called eq-logics. unlike fuzzy logics being extensions of themtl-logic in which the basic connective is implication, the basic connective ineq-logics is equivalence. therefore, a new algebra of truth values calledeq-algebra was developed. this is a lower semilattice with top element endowed with two binary...

There is an increasing need for various web-service, e-commerce and e-business sites to provide personalized recommendations to on-line customers. This paper proposes a new type of personalized recommendation agents called fuzzy cognitive agents. Fuzzy cognitive agents are designed to give personalized suggestions based on the user’s current personal preferences, other user’s common preferences...