首页> 外文会议>Logic programming >Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories

【24h】

Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories

机译：将模糊答案集程序编译为模糊命题理论

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We show how a fuzzy answer set program can be compiled to an equivalent fuzzy propositional theory whose models correspond to the answer sets of the program. This creates a basis for constructing fuzzy answer set solvers, such as solvers based on fuzzy SAT-solvers or on linear programming.

机译：我们展示了如何将模糊答案集程序编译为等效的模糊命题理论，该模型的模型与程序的答案集相对应。这为构造模糊答案集求解器（例如基于模糊SAT求解器或线性规划的求解器）奠定了基础。

著录项

来源
《Logic programming 》|2008年|362-376|共15页
会议地点 Udine(IT);Udine(IT)
作者
Jeroen Janssen; Stijn Heymans; Dirk Vermeir; Martine De Cock;
展开▼
作者单位

Dept. of Computer Science, Vrije Universiteit Brussel;

Dept. of Applied Mathematics and Computer Science, Universiteit Gent;

Dept. of Computer Science, Vrije Universiteit Brussel;

Dept. of Applied Mathematics and Computer Science, Universiteit Gent;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类程序设计、软件工程 ;
关键词
answer set programming; fuzzy logic; clark's completion; fuzzy ASSAT;

机译：答案集编程；模糊逻辑;克拉克的完成；模糊ASSAT;

相似文献

外文文献
中文文献
专利

1. Answer to D. Dubois, S. Gottwald, P. Hajek, J. Kacprzyk and H. Prade's paper 'Terminological difficulties in fuzzy set theory—the case of 'Intuitionistic Fuzzy Sets' ' [J] . Krassimir Atanassov Fuzzy sets and systems . 2005 ,第3期

机译：回答D. Dubois，S。Gottwald，P。Hajek，J。Kacprzyk和H. Prade的论文“模糊集理论中的术语困难-直觉模糊集的情况”
2. Fuzzy autoepistemic logic and its relation to fuzzy answer set programming [J] . Marjon Blondeel, Steven Schockaert, Martine De Cock, Fuzzy sets and systems . 2014 ,第mara16期

机译：模糊自流行逻辑及其与模糊答案集编程的关系
3. Reducing fuzzy answer set programming to model finding in fuzzy logics [J] . JEROEN JANSSEN, DIRK VERMEIR, STEVEN SCHOCKAERT, Theory and Practice of Logic Programming . 2012 ,第PTa6期

机译：减少模糊答案集编程以建立模糊逻辑中的模型
4. Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories [C] . Jeroen Janssen, Stijn Heymans, Dirk Vermeir, International Conference on Logic Programming . 2008

机译：编译模糊答案将程序设置为模糊命题理论
5. Fuzzy digital topology with an introduction to fuzzy set theory. [D] . Adamo, Regina. 2005

机译：模糊数字拓扑，介绍了模糊集理论。
6. Segmentation of Electron Tomographic Data Sets Using Fuzzy Set Theory Principles [O] . Garduño Edgar, Mona Wong-Barnum, Niels Volkmann, -1

机译：基于模糊集理论原理的电子断层扫描数据集分割
7. Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories [O] . Jeroen Janssen, Stijn Heymans, Dirk Vermeir, 2009

机译：将模糊答案集程序编译为模糊命题理论

Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories

摘要

著录项

相似文献

相关主题

期刊订阅