RESOLUTION FOR MANY VALUED LOGICS

被引：0

作者：

BAAZ, M ^{[1
]}

FERMULLER, CG ^{[1
]}

机构：

[1] VIENNA TECH UNIV, INST COMP, A-1040 VIENNA, AUSTRIA

来源：

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 624卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

To achieve efficient proof procedures for quantificational logics with finitely many truth values we extend the classical resolution principle. By generalizing the notion of a semantic tree we demonstrate the completeness of resolution and of some effective refinements. We also present translation calculi that convert formulae of many valued logics to clause syntax. As an application we investigate some well known examples of many-valued logics.

引用

页码：107 / 118

页数：12

共 50 条

[1] RESOLUTION FOR MANY-VALUED LOGICS
MORGAN, CG
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 199 - 200
[2] Classical Resolution for Many-Valued Logics
[J]. 1600, Elsevier B.V., Netherlands (323):
[3] AN ORDERED RESOLUTION AND PARAMODULATION CALCULUS FOR FINITE MANY-VALUED LOGICS
ZABEL, N
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 304 - 318
[4] RESOLUTION-BASED THEOREM-PROVING FOR MANY-VALUED LOGICS
BAAZ, M
FERMULLER, CG
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1995, 19 (04) : 353 - 391
[5] Calculi for Many-Valued Logics
Kaminski, Michael
Francez, Nissim
[J]. LOGICA UNIVERSALIS, 2021, 15 (02) : 193 - 226
[6] Calculi for Many-Valued Logics
Michael Kaminski
Nissim Francez
[J]. Logica Universalis, 2021, 15 : 193 - 226
[7] MODELS OF MANY-VALUED LOGICS
FLETCHER, TJ
[J]. AMERICAN MATHEMATICAL MONTHLY, 1963, 70 (04): : 381 - &
[8] SOME INVESTIGATIONS ON MANY VALUED LOGICS
MOTOHASH.N
[J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1972, 48 (02): : 59 - &
[9] CERES in many-valued logics
Baaz, M
Leitsch, A
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 1 - 20
[10] MANY-VALUED COMPUTATIONAL LOGICS
STACHNIAK, Z
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1989, 18 (03) : 257 - 274

← 1 2 3 4 5 →