Symbolic Unfolding of Multi-adjoint Logic Programs

被引：6
作者：
Moreno, Gines [1 ]
Penabad, Jaime [2 ]
Riaza, Jose Antonio [1 ]
机构：
[1] UCLM, Dept Comp Syst, Albacete 02071, Spain
[2] UCLM, Dept Math, Albacete 02071, Spain
来源：
TRENDS IN MATHEMATICS AND COMPUTATIONAL INTELLIGENCE | 2019年 / 796卷
关键词：
Fuzzy logic programming; Symbolic programs; Unfolding; FUZZY-LOGIC;
D O I：
10.1007/978-3-030-00485-9_5
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The unfolding transformation has been widely used in many declarative frameworks for improving the efficiency of programs after applying computational steps on their rules. In this paper we apply such operation to a symbolic extension of a powerful fuzzy logic language where program rules extend the classical notion of clause by adding concrete and "symbolic" fuzzy connectives and truth degrees on their bodies.
引用
收藏
页码：43 / 51
页数：9
相关论文
共 18 条
  • [1] Baldwin J.F., 1995, Fril-Fuzzy and Evidential Reasoning in Artificial Intelligence
  • [2] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS
    BURSTALL, RM
    DARLINGTON, J
    [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 44 - 67
  • [3] Ishizuka M., 1985, P 9 INT JOINT C ART, P701
  • [4] On fuzzy unfolding:: A multi-adjoint approach
    Julián, P
    Moreno, G
    Penabad, J
    [J]. FUZZY SETS AND SYSTEMS, 2005, 154 (01) : 16 - 33
  • [5] Julián P, 2006, J UNIVERS COMPUT SCI, V12, P1679
  • [6] Julian-Iranzo P., 2016, LECT NOTES COMPUT SC, V9718, P68, DOI DOI 10.1007/978-3-319-42019-6_5
  • [7] Thresholded semantic framework for a fully integrated fuzzy logic language
    Julian-Iranzo, Pascual
    Moreno, Gines
    Penabad, Jaime
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 93 : 42 - 67
  • [8] Lassez J.L., 1988, FDN DEDUCTIVE DATABA, P587
  • [9] FUZZY LOGIC AND RESOLUTION PRINCIPLE
    LEE, RCT
    [J]. JOURNAL OF THE ACM, 1972, 19 (01) : 109 - &
  • [10] Li D., 1990, A fuzzy Prolog database system
12