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...

Fuzzy logics based on residuated t-norms provide a robust mathematical formalism for logical deduction under uncertain or vague premises. In this paper, we describe a decision algorithm for the tautology problem of Basic Logic, which is the logic of continuous t-norms and their residua [Háj98, CEGT00]. Our algorithm is a refinement of the semantic method of Baaz, Hájek, Montagna, and Veith [BHM...

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...

in this paper we present a method for solving fuzzy linear systemsby two crisp linear systems. also necessary and sufficient conditions for existenceof solution are given. some numerical examples illustrate the efficiencyof the method.

An application of so-called perception-based logical deduction in the modeling of an economic analysis given in natural language is presented. Fuzzy IF-THEN rules and theory of evaluating linguistic expressions are used, and possibilities of automated reasoning are outlined.

We consider linguistic data(base) summaries in the sense of Yager [Information Sciences 28 (1982) 69–86], exemplified by ‘‘most employees are young and well paid’’ (with some degree of truth added), for a personnel database, as an intuitive, human consistent and natural language based knowledge discovery tool. We present first an extension of the classic Yager s approach to involve more sophist...

Guidance systems are central to the success of automated deduction systems. Semantic guidance systems are guidance systems that exploit semantic information when guiding the search of a deduction system. The general objective of this research has been to investigate how semantic guidance can be used to improve the performance of automated deduction systems. More specifically, this research has ...