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 条
  • [1] A Framework for Automated Reasoning in Multiple-Valued Logics
    James J. Lu
    Neil V. Murray
    Erik Rosenthal
    [J]. Journal of Automated Reasoning, 1998, 21 : 39 - 67
  • [2] Restricted Δ-trees in multiple-valued logics
    de Guzmán, IP
    Ojeda-Aciego, M
    Valverde, A
    [J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2002, 2443 : 223 - 232
  • [3] FORMALIZING MULTIPLE-VALUED LOGICS AS INSTITUTIONS
    AGUSTICULLELL, J
    ESTEVA, F
    GARCIA, P
    GODO, L
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 521 : 269 - 278
  • [4] UNCERTAINTY, ENERGY, AND MULTIPLE-VALUED LOGICS
    HAYES, JP
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1986, 35 (02) : 107 - 114
  • [5] Issues on adjointness in multiple-valued logics
    Morsi, Nehad N.
    Roshdy, Elewa M.
    [J]. INFORMATION SCIENCES, 2006, 176 (19) : 2886 - 2909
  • [6] Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
    Ansotegui, Carlos
    Bofill, Miguel
    Manya, Felip
    Villaret, Mateu
    [J]. FUZZY SETS AND SYSTEMS, 2016, 292 : 32 - 48
  • [7] OPTICAL IMPLEMENTATION OF MULTIPLE-VALUED AND CONTINUOUS LOGICS
    MADA, H
    [J]. JAPANESE JOURNAL OF APPLIED PHYSICS PART 2-LETTERS & EXPRESS LETTERS, 1990, 29 (07): : L1290 - L1292
  • [8] RESOLUTION AND PATH DISSOLUTION IN MULTIPLE-VALUED LOGICS
    MURRAY, NV
    ROSENTHAL, E
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 570 - 579
  • [9] EMPIRICAL PLAUSIBLE REASONING BY MULTIPLE-VALUED LOGIC
    BOTTONI, P
    MARI, L
    MUSSIO, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 521 : 279 - 285
  • [10] Deduction and search strategies for regular multiple-valued logics
    Lu, JJ
    Murray, NV
    Rosenthal, E
    [J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2005, 11 (3-4) : 375 - 406
12345