A framework for automated reasoning in multiple-valued logics

被引：24

作者：

Lu, JJ

Murray, NV

Rosenthal, E

机构：

[1] Bucknell Univ, Dept Comp Sci, Lewisburg, PA 17838 USA

[2] SUNY Albany, Dept Comp Sci, Albany, NY 12222 USA

[3] Univ New Haven, Dept Math, West Haven, CT 06516 USA

来源：

JOURNAL OF AUTOMATED REASONING | 1998年 / 21卷 / 01期

基金：

美国国家科学基金会;

关键词：

multiple-valued logics; signed formulas; annotated logics; fuzzy operator logics; inference;

D O I：

10.1023/A:1005784309139

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The language of signed formulas offers a first-order classical logic framework for automated reasoning in multiple-valued logics. It is sufficiently general to include both annotated logics and fuzzy operator logics. Signed resolution unifies the two inference rules of annotated logics, thus enabling the development of an SLD-style proof procedure for annotated logic programs. Signed resolution also captures fuzzy resolution. The logic of signed formulas offers a means of adapting most classical inference techniques to multiple-valued logics.

引用

页码：39 / 67

页数：29

共 50 条

[31] ON MULTIPLE-VALUED RANDOM FUNCTIONS
LUMLEY, JL
[J]. JOURNAL OF MATHEMATICAL PHYSICS, 1964, 5 (09) : 1198 - &
[32] DEFORMATIONS AND MULTIPLE-VALUED FUNCTIONS
ALMGREN, F
[J]. PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1986, 44 : 29 - 130
[33] MULTIPLE-VALUED LOGIC - AN IMPLEMENTATION
DAO, TT
CAMPBELL, DM
[J]. OPTICAL ENGINEERING, 1986, 25 (01) : 14 - 21
[34] MULTIPLE-VALUED LOGIC - INTRODUCTION
BUTLER, JT
[J]. COMPUTER, 1988, 21 (04) : 13 - 15
[35] Decomposition of multiple-valued relations
Perkowski, M
MarekSadowska, M
Jozwiak, L
Luba, T
Grygiel, S
Nowicka, M
Malvi, R
Wang, Z
Zhang, JS
[J]. 27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 13 - 18
[36] MULTIPLE-VALUED CCD CIRCUITS
BUTLER, JT
KERKHOFF, HG
[J]. COMPUTER, 1988, 21 (04) : 58 - 69
[37] A Multiple-Valued Plateau Problem
Funk, Quentin
Hardt, Robert
[J]. INDIANA UNIVERSITY MATHEMATICS JOURNAL, 2020, 69 (01) : 37 - 71
[38] Multiple-valued tableaux with Δ-reductions
de Guzmán, IP
Ojeda-Aciego, M
Valverde, A
[J]. INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL I AND II, 1999, : 177 - 183
[39] MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics
Eggersgluess, Stephan
Fey, Goerschwin
Glowatz, Andreas
Hapke, Friedrich
Schloeffel, Juergen
Drechsler, Rolf
[J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2010, 26 (03): : 307 - 322
[40] Diverse Applications of an Automated Argument System Based on the Logic of Multiple-Valued Argumentation
Jeong, Gowun
Sawamura, Hajime
[J]. MULTI-AGENT SYSTEMS FOR SOCIETY, 2009, 4078 : 88 - +

← 1 2 3 4 5 →