نتایج جستجو برای: fuzzy deduction system

تعداد نتایج: 2294022  

2003
JOSE AGUILAR

A fuzzy cognitive map is a graphical means of representing arbitrarily complex models of interrelations between concepts. The purpose of this paper is to describe a dynamic fuzzy cognitive map based on the random neural network model. Previously, we have developed a random fuzzy cognitive map and illustrated its application in the modeling of processes. The adaptive fuzzy cognitive map changes ...

Journal: :Knowl.-Based Syst. 2007
Chunyan Miao Qiang Yang Haijing Fang Angela Goh

There is an increasing need for various e-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, ...

1999
Teresa Alsinet Lluis Godo Sandra A. Sandri

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

Journal: :Int. J. Intell. Syst. 2005
Zhaohao Sun Gavin R. Finnie Klaus Weber

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

2004
Giangiacomo Gerla

1. GRADED DEDUCTIVE TOOLS FOR GRADED INFORMATION In accordance with Tarski’s point of view, we identify a crisp deductive apparatus with a “deduction operator”, i.e. a closure operator D : P(Å)→ P(Å) where Å is the set of formulas in a logic. Given a set X of formulas, we interpret D(X) as the set of logical consequences of X. Now, we can imagine a "stratified" deduction apparatus, i.e. the ava...

2015
Rasoul Saneifard Rahim Saneifard

This paper deals with one problem that needs to be addressed in the emerging field known under the name computing with perceptions. It is the problem of describing, approximately, a given fuzzy set in natural language. This problem has lately been referred to as the problem of retranslation. An approaches to dealing with the retranslation problem is discussed in the paper, that is based on a pr...

Journal: :J. Symb. Log. 1993
Maria Luisa Bonet Samuel R. Buss

We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in Frege proof systems compared to lengths in these new systems. As applications we give near-linear simulations of the propositio...

Journal: :Int. J. General Systems 2010
Vilém Novák Martin Stepnicka Antonín Dvorák Irina Perfilieva Viktor Pavliska Lenka Vavrickova

A new methodology for the analysis and forecasting of time series is proposed. It directly employs two soft computing techniques: the fuzzy transform and the perception-based logical deduction. Thanks to the use of both these methods, and to the innovative approach, consisting of the construction of several independent models, the methodology is successfully applicable to robust long-time predi...

2007
Lotfi Zadeh

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید