Algorithm of transforming any formula in LP(X) to a pure-generalized conjunction normal form

机译：将LP（X）中的任何公式转换为纯广义合取范式的算法

获取原文

页面导航

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

摘要

In the present paper the algorithm of transforming any formula in LP(X) to a pure-generalized conjunction normal form is focused. Concretely, some important concepts and results about lattice implication algebra (LIA), lattice-valued prepositional logic LP(X) and resolution principle based on LP(X) are introduced firstly. Then algorithm of transforming any implication term to a reducible form is considered. Finally, the method of transforming any formula F in LP(X) to a pure-generalized conjunction normal form is given.

机译：在本文中，着重讨论了将LP（X）中的任何公式转换为纯广义合取范式的算法。具体来说，首先介绍了有关格蕴涵代数（LIA），格值介词逻辑LP（X）和基于LP（X）的解析原理的一些重要概念和结果。然后考虑将任何蕴涵项转换为可约形式的算法。最后，给出了将LP（X）中的任何公式F转换为纯广义联合范式的方法。

著录项

来源
《Fuzzy Information Processing Society, 2002. Proceedings. NAFIPS. 2002 Annual Meeting of the North American》||p.40-45|共6页
会议地点
作者
Dan Meng; Yang Xu; Keyun Qin;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. A Novel Helicopter-Borne RoSAR Imaging Algorithm Based on the Azimuth Chirp $z$ transform [J] . Li Wen-Jun, Liao Guisheng, Zhu Shengqi, IEEE Geoscience and Remote Sensing Letters . 2019,第2期

机译：基于方位角Chi $ z $ 变换的新型直升机-Borne RoSAR成像算法
2. Correlators of vector, tensor, and scalar composite vertices of order O( α s 2 documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ {lpha}_{mathrm{s}}^2 $$end{document} β ₀) [J] . S. V. Mikhailov, N. Volchanskiy The journal of high energy physics . 2021,第2期

机译：载体的相关器O（<内联公式ID =“IEQ1”> <替代方案> α S 2 DocumentClass [12pt] {minimal} usepackage {ammath} usepackage {isysym} usepackage {amsfonts} usepackage {amssys} usepackage {amsbsy} usepackage {mathrsfs} usepackage {mathek} setLength { oddsidemargin} { - 69pt} begin {document} $$ { alpha} _ { mathrm {s}} ^ 2 $$ end {document} β _{0 ）}
3. A Nonlinear Acoustic Echo Canceller Using Sigmoid Transform in Conjunction With RLS Algorithm [J] . Jing Fu, Wei-Ping Zhu IEEE transactions on circuits and systems. II, Express briefs . 2008,第10期

机译：结合Sigmoid变换和RLS算法的非线性声学回声消除器
4. Algorithm of transforming any formula in LP(X) to a pure-generalized conjunction normal form [C] . Dan Meng, Yang Xu, Keyun Qin Annual Meeting of the North American Fuzzy Information Processing Society . 2002

机译：将LP（x）中的任何公式转换为纯一般结合正常形式的算法
5. Differential regulation of ferritin H by TNF-alpha in normal and transformed cells. [D] . Jennings-Gee, Jamie Elizabeth. 2002

机译：正常细胞和转化细胞中TNF-α对铁蛋白H的差异调节。
6. Differential induction of phosphatidylcholine hydrolysis diacylglycerol formation and protein kinase C activation by epidermal growth factor and transforming growth factor-alpha in normal human skin fibroblasts and keratinocytes. [O] . N J Reynolds, H S Talwar, J J Baldassare, 1993

机译：在正常人皮肤成纤维细胞和角质形成细胞中通过表皮生长因子和转化生长因子-α差异诱导磷脂酰胆碱水解二酰基甘油形成和蛋白激酶C活化。
7. EFFICIENT ALGORITHM TO TRANSFORM MINIMALIST SUBSET OF LTL FORMULA INTO FINITE STATE MODELS [O] . Bilal Kanso, Ali Kansou 2018

机译：高效算法将LTL公式的极简主义子集转换为有限状态模型

Algorithm of transforming any formula in LP(X) to a pure-generalized conjunction normal form

摘要

著录项

相似文献

相关主题

期刊订阅