Multiple-valued tableaux with Δ-reductions

被引：0
|
作者：
de Guzmán, IP [1 ]
Ojeda-Aciego, M [1 ]
Valverde, A [1 ]
机构：
[1] Univ Malaga, Dept Matemat Aplicada, E-29080 Malaga, Spain
来源：
INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL I AND II | 1999年
关键词：
automated deduction; signed logics;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We introduce the reduced signed logics which generalize previous approaches to signed logics in the sense that each variable is allowed to have its own set of semantic values. Reductions on both signed logics and signed formulas are used to describe improvements in tableau provers for MVLs. A labelled deductive system allows to use the implicit information in the formulas to describe improved expansion rules based on these reductions.
引用
收藏
页码：177 / 183
页数：7
相关论文
共 50 条
  • [1] Multiple-valued hyperstructures
    Rosenberg, IG
    [J]. 1998 28TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - PROCEEDINGS, 1998, : 326 - 333
  • [2] MULTIPLE-VALUED COUNTER
    KUO, TH
    LIN, HC
    POTTER, RC
    SCHUPE, D
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (01) : 106 - 109
  • [3] A novel multiple-valued CMOS flip-flop employing multiple-valued clock
    Xia, YS
    Wang, LY
    Almaini, AEA
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 20 (02): : 237 - 242
  • [4] A Novel Multiple-Valued CMOS Flip-Flop Employing Multiple-Valued Clock
    Yin-Shui Xia
    Lun-Yao Wang
    A. E. A. Almaini
    [J]. Journal of Computer Science and Technology, 2005, 20 : 237 - 242
  • [5] MULTIPLE-VALUED LOGIC FOR OPTOELECTRONICS
    ABRAHAM, G
    [J]. OPTICAL ENGINEERING, 1986, 25 (01) : 3 - 13
  • [6] ON MULTIPLE-VALUED RANDOM FUNCTIONS
    LUMLEY, JL
    [J]. JOURNAL OF MATHEMATICAL PHYSICS, 1964, 5 (09) : 1198 - &
  • [7] DEFORMATIONS AND MULTIPLE-VALUED FUNCTIONS
    ALMGREN, F
    [J]. PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1986, 44 : 29 - 130
  • [8] MULTIPLE-VALUED LOGIC - AN IMPLEMENTATION
    DAO, TT
    CAMPBELL, DM
    [J]. OPTICAL ENGINEERING, 1986, 25 (01) : 14 - 21
  • [9] 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
  • [10] MULTIPLE-VALUED CCD CIRCUITS
    BUTLER, JT
    KERKHOFF, HG
    [J]. COMPUTER, 1988, 21 (04) : 58 - 69
12345