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 条
  • [41] 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 - +
  • [42] 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
  • [43] MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics
    Stephan Eggersglüß
    Görschwin Fey
    Andreas Glowatz
    Friedrich Hapke
    Juergen Schloeffel
    Rolf Drechsler
    [J]. Journal of Electronic Testing, 2010, 26 : 307 - 322
  • [44] THE ASSESSMENT OF SINGLE-VALUED AND MULTIPLE-VALUED INDEXES
    BARBER, DC
    TINDALE, WB
    [J]. BRITISH JOURNAL OF RADIOLOGY, 1988, 61 (729): : 869 - 869
  • [45] Synthesis of quantum multiple-valued circuits
    Miller, D. Michael
    Maslov, Dmitri
    Dueck, Gerhard W.
    [J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2006, 12 (5-6) : 431 - 450
  • [46] Automated Deduction for Logics of Default Reasoning
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    [J]. ECAI 2006, PROCEEDINGS, 2006, 141 : 757 - +
  • [47] Multiple-valued structures of intellectual systems
    Chetverikov, Grygoryy
    Puzik, Oleksiy
    Vechirska, Iryna
    [J]. 2016 XITH INTERNATIONAL SCIENTIFIC AND TECHNICAL CONFERENCE COMPUTER SCIENCES AND INFORMATION TECHNOLOGIES (CSIT), 2016, : 204 - 207
  • [48] MULTIPLE-VALUED PADS FOR BINARY CHIPS
    COSTA, AJ
    VALENCIA, M
    BARRIGA, A
    HUERTAS, JL
    BELLIDO, MJ
    [J]. ELECTRONICS LETTERS, 1992, 28 (08) : 794 - 796
  • [49] Computational Neuroscience and Multiple-Valued Logic
    Kawato, Mitsuo
    [J]. ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2009, : 157 - 160
  • [50] DESIGN OF A MULTIPLE-VALUED CELLULAR ARRAY
    KAMIURA, N
    HATA, Y
    YAMATO, K
    [J]. IEICE TRANSACTIONS ON ELECTRONICS, 1993, E76C (03) : 412 - 418
12345