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) is 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转化为纯一般化结合正常形式的方法。

著录项

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

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP273.4-53;
关键词
Automated reasoning; Resolution principle; Lattice-valued propositional logic; Quasi-generalized conjunction normal form; Pure-generalized conjunction normal form;

机译：自动推理;分辨率原则;格子值题目逻辑;准普遍的结合正常形式;纯广义结合正常形式;

相似文献

外文文献
中文文献
专利

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

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅