Maximal infinite-valued constraint languages

被引：0

作者：

Bodirsky, Manuel ^{[1
]}

Chen, Hubie ^{[1
]}

Kara, Jan ^{[1
]}

von Oertzen, Timo ^{[1
]}

机构：

[1] Humboldt Univ, Dept Algorithms & Complex, D-1086 Berlin, Germany

来源：

AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS | 2007年 / 4596卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We systematically investigate the computational complexity of constraint satisfaction problems for constraint languages over an infinite domain. In particular, we study a generalization of the well-established notion of maximal constraint languages from finite to infinite domains. If the constraint language can be defined with an omega-categorical structure, then maximal constraint languages are in one-to-one correspondence to minimal oligomorphic clones. Based on this correspondence, we derive general tractability and hardness criteria for the corresponding constraint satisfaction problems.

引用

页码：546 / +

页数：3

共 50 条

[31] Expressing Preferences in Logic Programming using an Infinite-Valued Logic
Rondogiannis, Panos
Troumpoukis, Antonis
PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015), 2015, : 208 - 219
[32] Hajek basic fuzzy logic and Lukasiewicz infinite-valued logic
Cignoli, R
Torrens, A
ARCHIVE FOR MATHEMATICAL LOGIC, 2003, 42 (04) : 361 - 370
[33] CONSISTENCY OF THE AXIOM OF COMPREHENSION IN THE INFINITE-VALUED PREDICATE LOGIC OF LUKASIEWICZ
WHITE, RB
JOURNAL OF PHILOSOPHICAL LOGIC, 1979, 8 (04) : 509 - 534
[34] Maximum local classes of partial functions of infinite-valued logic
Romov, B.A.
Kibernetika i Sistemnyj Analis, 1992, (05): : 45 - 56
[35] Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued Events
Flaminio, Tommaso
SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019, 2019, 11726 : 397 - 407
[36] Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters
Bou, Felix
40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010, 2010, : 83 - 88
[37] FUZZY QUANTUM-LOGICS AND INFINITE-VALUED LUKASIEWICZ LOGIC
PYKACZ, J
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1994, 33 (07) : 1403 - 1416
[38] A novel way to build expert systems with infinite-valued attributes
Hernando, Antonio
Galan-Garcia, Jose Luis
Aguilera-Venegas, Gabriel
AIMS MATHEMATICS, 2024, 9 (02): : 2938 - 2963
[39] A graded inference approach based on infinite-valued Lukasiewicz semantics
Muino, David Picado
40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010, 2010, : 252 - 257
[40] Strong equivalence of logic programs under the infinite-valued semantics
Nomikos, Christos
Rondogiannis, Panos
Wadge, William W.
INFORMATION PROCESSING LETTERS, 2009, 109 (11) : 576 - 581

← 1 2 3 4 5 →