NP-Logic Systems and Model-Equivalence Reductions

被引：0

作者：

Shen, Yu-Ping ^{[1
,2
]}

Zhao, Xi-Shun ^{[1
]}

机构：

[1] Sun Yat Sen Univ, Inst Log & Cognit, Guangzhou 510275, Guangdong, Peoples R China

[2] Sun Yat Sen Univ, Dept Philosophy, Guangzhou 510275, Guangdong, Peoples R China

来源：

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2010年 / 25卷 / 06期

基金：

中国国家自然科学基金;

关键词：

logic system; model-equivalent reduction; expressive power; computational complexity;

D O I：

10.1007/s11390-010-9408-z

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence in NP It is shown that among all NP-systems with model checking problem in NP, the existentially quantified propositional logic (there exists PF) is maximal with respect to poly-time model-equivalent reduction However, there exists PF seems not a maximal NP-system in general because there exits an NP-system with model checking problem D-P-complete

引用

页码：1321 / 1326

页数：6

共 50 条

[1] NP-Logic Systems and Model-Equivalence Reductions
Shen, Yuping
Zhao, Xishun
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (24): : 130 - 138
[2] NP-Logic Systems and Model-Equivalence Reductions
沈榆平
赵希顺
[J]. Journal of Computer Science & Technology, 2010, 25 (06) : 1321 - 1326
[3] NP-Logic Systems and Model-Equivalence Reductions
Yu-Ping Shen
Xi-Shun Zhao
[J]. Journal of Computer Science and Technology, 2010, 25 : 1321 - 1326
[4] Breaking the UIP: A Model-Equivalence Result
Yakhin, Yossi
[J]. JOURNAL OF MONEY CREDIT AND BANKING, 2022, 54 (06) : 1889 - 1904
[5] Testing semiparametric model-equivalence hypotheses based on the characteristic function
Chen, Feifei
Meintanis, Simos G.
Zhu, Lixing
[J]. JOURNAL OF STATISTICAL COMPUTATION AND SIMULATION, 2024, 94 (06) : 1158 - 1190
[6] On the Equivalence of Logic-Based Argumentation Systems
Amgoud, Leila
Vesic, Srdjan
[J]. SCALABLE UNCERTAINTY MANAGEMENT, 2011, 6929 : 123 - 136
[7] The nondeterministic constraint logic model of computation: Reductions and applications
Hearn, RA
Demaine, ED
[J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 401 - 413
[8] The equivalence between fuzzy logic systems and feedforward neural networks
Li, HX
Chen, CLP
[J]. IEEE TRANSACTIONS ON NEURAL NETWORKS, 2000, 11 (02): : 356 - 365
[9] State Space c-Reductions of Concurrent Systems in Rewriting Logic
Lluch-Lafuente, Alberto
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (138):
[10] COST REDUCTIONS OR REPUTATION ENHANCEMENT AS MOTIVES FOR MERGERS - THE LOGIC OF MULTIHOSPITAL SYSTEMS
DRANOVE, D
SHANLEY, M
[J]. STRATEGIC MANAGEMENT JOURNAL, 1995, 16 (01) : 55 - 74

← 1 2 3 4 5 →