A fixed-point theorem for multi-valued functions with an application to multilattice-based logic programming

被引：0
|
作者：
Medina, Jesus [1 ]
Ojeda-Aciego, Manuel [1 ]
Ruiz-Calvino, Jorge [1 ]
机构：
[1] Univ Malaga, Dept Matemat Aplicada, E-29071 Malaga, Spain
来源：
APPLICATIONS OF FUZZY SETS THEORY | 2007年 / 4578卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents a computability theorem for fixed points of multi-valued functions defined on multilattices, which is later used in order to obtain conditions which ensure that the immediate consequence operator computes minimal models of niultilattice-based logic programs in at most omega iterations.
引用
收藏
页码：37 / +
页数：3
相关论文
共 50 条
  • [21] Geraghty's Fixed Point Theorem for Special Multi-Valued Mappings
    Gordji, M. Eshaghi
    Baghani, H.
    Khodaei, H.
    Ramezani, M.
    THAI JOURNAL OF MATHEMATICS, 2012, 10 (02): : 225 - 231
  • [22] A Common Fixed Point Theorem for a Pair of Nonself Multi-valued Mappings
    Imdad, M.
    Khan, Ladlay
    THAI JOURNAL OF MATHEMATICS, 2005, 3 (02): : 193 - 199
  • [23] A Sequence of Functions of the Multi-Valued Logic
    Andreev, A. A.
    MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2011, 66 (06) : 273 - 277
  • [24] Fixed-Point Convergence of Multi-Valued Non-Expansive Mappings with Applications
    Azam, Akbar
    Rashid, Maliha
    Kalsoom, Amna
    Ali, Faryad
    AXIOMS, 2023, 12 (11)
  • [25] A general multi-valued hybrid fixed point theorem and perturbed differential inclusions
    Dhage, BC
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2006, 64 (12) : 2747 - 2772
  • [26] FIXED POINT THEOREM FOR MULTI-VALUED MAPPINGS OF APPROXIMATIVE ANR-S
    GORNIEWICZ, L
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 431 - +
  • [27] A COMMON FIXED POINT THEOREM FOR MULTI-VALUED θδ CONTRACTIONS VIA SUBSEQUENTIAL CONTINUITY
    Ali, Ahmed
    Mahideb, Saadia
    Beloul, Said
    COMMUNICATIONS FACULTY OF SCIENCES UNIVERSITY OF ANKARA-SERIES A1 MATHEMATICS AND STATISTICS, 2020, 69 (02): : 1473 - 1483
  • [28] Common fixed point theorem for cyclic generalized multi-valued contraction mappings
    Sintunavarat, Wutiphol
    Kumam, Poom
    APPLIED MATHEMATICS LETTERS, 2012, 25 (11) : 1849 - 1855
  • [29] Common fixed point theorem for hybrid generalized multi-valued contraction mappings
    Sintunavarat, Wutiphol
    Kumam, Poom
    APPLIED MATHEMATICS LETTERS, 2012, 25 (01) : 52 - 57
  • [30] A fixed point theorem for multi-valued mappings and its applications to integral inclusions
    Turkoglu, D.
    Altun, I.
    APPLIED MATHEMATICS LETTERS, 2007, 20 (05) : 563 - 570
12345