检索结果-内蒙古大学图书馆

Connectionist weighted fuzzy logic programs

NEUROCOMPUTING 2008年第13-15期71卷 2456-2469页

作者： Chortaras, Alexandros Stamou, Giorgos Stafylopatis, Andreas Natl Tech Univ Athens Sch Elect & Comp Engn Zografos 15780 Greece

fuzzy logic programs are a useful framework for imperfect knowledge representation and reasoning using the formalism of logic programming. Nevertheless, there is the need for modeling adaptation of fuzzy logic programs, so that machine learning techniques, such as connectionist-based learning, can be applied. Weighted fuzzy logic programs bring fuzzy logic programs and connectionist models closer together by associating a significant weight with each atom in the body of a fuzzy rule: by exploiting the existence of the weights, it is possible to construct a connectionist model that reflects the exact structure of a weighted fuzzy logic program. Based on the connectionist representation, we first define the weight adaptation problem as the task of adapting the weights of the rules of a weighted fuzzy logic program, so that they fit: best a set of training data, and then we develop a subgradient descent learning algorithm for the connectionist model that allows us to obtain an approximate solution for the weight adaptation problem. (C) 2008 Elsevier B.V. All rights reserved.

关键词： imperfect knowledge representation fuzzy logic programming rule adaptation connectionist-symbolic integration subgradient descent learning

来源：评论

学校读者我要写书评

暂无评论

Likelog for flexible query answering

引用

SOFT COMPUTING 2002年第2期7卷 107-114页

作者： Fontana, FA Univ Milano Bicocca I-20126 Milan Italy

Starting from unification based on similarity, a logic programming language, called LIKEness in logic (Likelog) is derived, thorougly relying on similarity. An operational semantics and a fix-point semantics of the language are defined, using an extension principle for fuzzy operators. The two approaches are proved to be related and a fuzzy extension of the least Herbrand model is given. One of the principal feature of such a logic programming language is to allow flexible query answering to deductive databases, which we show through an example. Moreover, we describe a system for web information retrieval through Likelog.

关键词： similarity fuzzy logic programming query answering deductive databases

来源：评论

学校读者我要写书评

暂无评论

On the existence and unicity of stable models in normal residuated logic programs

引用

INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS 2012年第3期89卷 310-324页

作者： Madrid, Nicolas Ojeda-Aciego, Manuel ETSI Informat Dept Matemat Aplicada Malaga Spain

We introduce a sufficient condition which guarantees the existence of stable models for a normal residuated logic program interpreted on the truth-space [0, 1](n). Specifically, the continuity of the connectives involved in the program ensures the existence of stable models. Then, we study conditions which guarantee the uniqueness of stable models in the particular case of the product t-norm, its residuated implication and the standard negation.

关键词： stable models residuated logic programming fuzzy logic programming existence of models uniqueness of models

来源：评论

学校读者我要写书评

暂无评论

A Declarative Semantics for a fuzzy logic Language Managing Similarities and Truth Degrees 10th

A Declarative Semantics for a Fuzzy Logic Language Managing ...

引用

10th Annual International Web Rule Symposium (RuleML)

作者： Julian-Iranzo, Pascual Moreno, Gines Penabad, Jaime Vazquez, Carlos UCLM Dept Technol & Informat Syst Ciudad Real 13071 Spain UCLM Dept Comp Syst Albacete 02071 Spain UCLM Dept Math Albacete 02071 Spain

ISBN: (纸本)9783319420196;9783319420189

This work proposes a declarative semantics based on a fuzzy variant of the classical notion of least Herbrand model for the so-called FASILL language (acronym of "fuzzy Aggregators and Similarity Into a logic Language") which has been recently designed and implemented in our research group for coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity.

关键词： fuzzy logic programming Similarity Herbrand model

来源：评论

学校读者我要写书评

暂无评论

Modeling Interpretive Steps in fuzzy logic Computations

Modeling Interpretive Steps in Fuzzy Logic Computations

引用

8th International Workshop on fuzzy logic and Applications

作者： Morcillo, Pedro J. Moreno, Gines Univ Castilla La Mancha Dept Comp Syst Albacete 02071 Spain

ISBN: (纸本)9783642022814

fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming (LP). In this setting, the multi-adjoint logic approach represents an extremely flexible fuzzy language with a procedural principle structured in two separate phases. During the operational one, admissible steps are systematically applied in a similar way to classical resolution steps in LP, thus returning an expression where all atoms have been exploited. This last expression is then interpreted under a given lattice during the so called interpretive phase. Whereas the operational phase has been successfully formalized in the past, more effort is needed to clarify the notion of interpretive step. In this paper we firstly introduce a refinement of this concept which fairly models at a very low level the computational behaviour of the interpretive phase. Then, we present a simple but powerful cost measure induced from such definition which helps to estimate the computational (interpretive) effort required to solve a goal. The resulting method is much more accurate and realistic than other simpler cost measures (like counting the number or the weights of interpretive steps) that we have proposed in the past for proving efficiency properties in program transformation tasks such as fold/unfold, partial evaluation, and so on.

关键词： fuzzy logic programming Cost Measures Aggregators

来源：评论

学校读者我要写书评

暂无评论

On the Declarative Semantics of Multi-Adjoint logic Programs

引用

10th International Work-Conference on Artificial Neural Networks (IWANN 2009)

作者： Julian, P. Moreno, G. Penabad, J. UCLM Dep Informat Technol & Syst Calle Altagracia S-13071 Ciudad Real Spain UCLM Dept Comp Syst S-02071 Albacete Spain UCLM Dept Math S-02071 Albacete Spain

ISBN: (纸本)9783642024771

The notion of least Herbrand model has been traditionally accepted as the declarative semantics for programs in the context of pure logic programming. Some adaptations of this concept, using model-theory, were made for a few number of fuzzy logic programming frameworks in the recent years. Unfortunately, this is not the case of multi-adjoint logic programming, one of the most expressive, powerful approaches for fuzzifying logic programming. To fulfill this gal), in this paper we propose a declarative Semantics for Such kind of fuzzy logic programs based on the so-called least frizzy Herbrand model. We prove and important "minimality" property of our construction which can not trivially be inherited from pure logic programming. Moreover, apart from relating our notion with other existing procedural and fix-point semantics (what is also instrumental to prove its properties), we provide evident;cases where our construction exists even when the rest of the aforementioned fuzzy semantics remain undefined.

关键词： fuzzy logic programming Declarative Semantics Herbrand Model

来源：评论

学校读者我要写书评

暂无评论

An Online Tool for Unfolding Symbolic fuzzy logic Programs 15th

An Online Tool for Unfolding Symbolic Fuzzy Logic Programs

引用

15th International Work-Conference on Artificial Neural Networks (IWANN)

作者： Moreno, Gines Antonio Riaza, Jose UCLM Dept Comp Syst Albacete 02071 Spain

ISBN: (纸本)9783030205188;9783030205171

In many declarative frameworks, unfolding is a very wellknown semantics-preserving transformation technique based on the application of computational steps on the bodies of program rules for improving efficiency. In this paper we describe an online tool which allows us to unfold a symbolic extension of amodern fuzzy logic language where program rules can embed concrete and/or symbolic fuzzy connectives and truth degrees on their bodies. The system offers a comfortable interaction with users for unfolding symbolic programs and it also provides useful options to navigate along the sequence of unfolded programs. Finally, the symbolic unfolding transformation is connected with some fuzzy tuning techniques that we previously implemented on the same tool.

关键词： fuzzy logic programming Symbolic execution Unfolding

来源：评论

学校读者我要写书评

暂无评论

A Sound Semantics for a Similarity-Based logic programming Language

引用

11th International Work-Conference on Artificial Neural Networks (IWANN)

作者： Julian-Iranzo, Pascual Rubio-Manzano, Clemente Univ Castilla La Mancha Dept Informat Technol & Syst E-13071 Ciudad Real Spain

ISBN: (纸本)9783642214981

Bousi similar to Prolog is an extension of the standard Prolog language aiming at to make more flexible the query answering process and to deal with vagueness applying declarative techniques. In this paper we precise a model-theoretic semantics for a pure subset of this language. Next, for the first time, we define a notion of correct answer which provides a declarative description of the output of a program and a goal in the context of a similarity relation. Afterwards, we recall both the WSLDresolution principle and a similarity-based unification algorithm which is the basis of its operational mechanism and then we prove the soundness of WSLD-resolution.

关键词： fuzzy logic programming fuzzy Herbrand Model Weak Unification Weak SLD-Resolution Proximity/ Similarity Relations

来源：评论

学校读者我要写书评

暂无评论

fuzzy Computed Answers Collecting Proof Information

引用

11th International Work-Conference on Artificial Neural Networks (IWANN)

作者： Morcillo, Pedro J. Moreno, Gines Penabad, Jaime Vazquez, Carlos Univ Castilla La Mancha Fac Comp Sci Engn Albacete 02071 Spain

ISBN: (纸本)9783642214981

MALP (i.e., the so-called Multi-Adjoint logic programming approach) can be seen as a promising fuzzy extension of the popular, pure logic language Prolog, including too a wide repertoire of constructs based on fuzzy logic in order to support uncertainty and approximated reasoning in a natural way. Moreover, the fuzzy logic programming Environment for Research, FLOPER in brief, that we have implemented in our research group, is intended to assists the development of real-world applications written with MALP syntax. Among other capabilities, the system is able to safely translate fuzzy code into Prolog clauses which can be directly executed inside any standard Prolog interpreter in a completely transparent way for the final user. In this fuzzy setting, it is mandatory the use of lattices modeling truth degrees beyond {true;false}. As described in this paper, FLOPER is able to successfully deal (in a very easy way) with sophisticated lattices modeling truth degrees in the real interval [0, 1], also documenting -via declarative traces-the proof procedures followed when solving queries, without extra computational cost.

关键词： fuzzy logic programming logic Proofs Declarative Debugging

来源：评论

学校读者我要写书评

暂无评论

FASILL: fuzzy Correct Answers and Soundness

FASILL: Fuzzy Correct Answers and Soundness

引用

IEEE International Conference on fuzzy Systems (FUZZ-IEEE)

作者： Julian-Iranzo, Pascual Moreno, Gines Penabad, Jaime Univ Castilla La Mancha Dept Informat Technol & Syst Ciudad Real Spain Univ Castilla La Mancha Dept Comp Syst Ciudad Real Spain Univ Castilla La Mancha Dept Math Ciudad Real Spain

ISBN: (纸本)9781509060207

The FASILL programming language (acronym of "fuzzy Aggregators and Similarity Into a logic Language") combines a weak unification algorithm, based on similarity relations, along with a rich repertoire of fuzzy connectives and aggregators, whose truth functions can be defined on a complete lattice. In this paper, after recalling the operational semantics of this language, we provide a notion of fuzzy correct answer for a program and a goal and we prove the soundness of FASILL for this operational semantics and the notion of correct answer introduced.

关键词： fuzzy logic programming Declarative Semantics Correct Answer Soundness

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：