In this paper a new parallel version of finding the Fuzzy Reasoning Path (FRP) using the knowledge representation model, introduced by Chandwani & Chaudhari [1] known as Fuzzy Deduction Graph (FDG) is presented. In an FDG, a systematic method of finding the Fuzzy Reasoning Path (FRP) already exists, which is based on Dijkstra's shortest path framework [2]. Our FRP algorithm is conglomerati...

We report on an application of Precisiated Natural Language (PNL) concepts and protoformal deduction, which are integral to Computational Theory of Perception, and Computing with Words, as developed by Lotfi Zadeh. A semi-automated precisiation process is part of an information extraction module for a question answering system. Simplified natural language statements (containing a single verb ph...

In this paper, we present a methodology for designing a Precisiated Natural Language (PNL) based deduction engine for automated Question Answering (QA) systems. QA is one type of information retrieval system, and is regarded as the next advancement beyond keyword-based search engines, as it requires deductive reasoning and use of domain/background knowledge. PNL, as discussed by Zadeh, is one r...

In context-aware systems, one of the main challenges is how to tackle context uncertainty well, since perceived context always yields uncertainty and ambiguity with consequential effect on the performance of context-aware systems. We argue that uncertainty is mainly generated by two sources. One is sensor’s inherent inaccuracy and unreliability. The other source is deduction process from low-le...

inconsistent Recently a syntactical extension of rst order Possibilistic logic called PLFC dealing with fuzzy constants and fuzzily re stricted quanti ers has been proposed In this paper we present steps towards both the formalization of PLFC itself and an auto mated deduction system for it by i provid ing a formal semantics ii de ning a sound resolution style calculus by refutation and iii des...

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0, 1]. The logic is known to be axiomatizable, but no deduction system amenable to prooftheoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work o...

This article will introduce abductive case-based reasoning (CBR) and attempt to show that abductive CBR and deductive CBR can be integrated in clinical process and problem solving. Then it provides a unified formalization for integration of abduction, abductive CBR, deduction and deductive CBR. This article also investigates abductive case retrieval and deductive case retrieval using similarity...

We consider linguistic database summaries in the sense of Yager (1982), in an implementable form proposed by Kacprzyk & Yager (2001) and Kacprzyk, Yager & Zadrożny (2000), exemplified by, for a personnel database, “most employees are young and well paid” (with some degree of truth) and their extensions as a very general tool for a human consistent summarization of large data sets. We advocate t...