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 条

[1] ON FUZZY MULTI-VALUED FUNCTIONS .3. FIXED-POINT THEOREM
MATLOKA, M
FUZZY SETS AND SYSTEMS, 1985, 15 (03) : 255 - 262
[2] A FIXED POINT THEOREM FOR MULTI-VALUED FUNCTIONS
ONEILL, B
DUKE MATHEMATICAL JOURNAL, 1957, 24 (01) : 61 - 62
[3] AN ABSTRACT FIXED-POINT THEOREM FOR MULTI-VALUED MAPPINGS
SAMANTA, SK
INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 1989, 20 (11): : 1080 - 1082
[4] A FIXED POINT THEOREM FOR CONNECTED MULTI-VALUED FUNCTIONS
SMITHSON, RE
AMERICAN MATHEMATICAL MONTHLY, 1966, 73 (4P1): : 351 - &
[5] SOME CONSEQUENCES OF LEFSCHETZ FIXED-POINT THEOREM FOR MULTI-VALUED MAPS
GORNIEWICZ, L
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (02): : 165 - 170
[6] A FIXED-POINT THEORY FOR MULTI-VALUED MAPPINGS
PASICKI, L
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 83 (04) : 781 - 789
[7] FIXED POINT THEOREM ON MULTI-VALUED MAPPINGS
Joseph, J. Maria
Ramganesh, E.
INTERNATIONAL JOURNAL OF ANALYSIS AND APPLICATIONS, 2013, 1 (02): : 123 - 127
[8] FIXED POINT THEOREMS FOR MULTI-VALUED FUNCTIONS
STROTHER, WL
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1952, 58 (01) : 60 - 60
[9] Fixed-Point Approaches for Multi-Valued Contraction Mappings in a Novel Space With an Application
Hammad, Hasanen A.
De la Sen, Manuel
INTERNATIONAL JOURNAL OF ANALYSIS AND APPLICATIONS, 2024, 22
[10] TOPOLOGICAL METHODS IN THE FIXED-POINT THEORY OF MULTI-VALUED MAPS
BORISOVICH, YG
GELMAN, BD
MYSHKIS, AD
OBUKHOVSKII, VV
RUSSIAN MATHEMATICAL SURVEYS, 1980, 35 (01) : 65 - 143

← 1 2 3 4 5 →