Aggregation over Property-Based Preference Domains

被引:1
|
作者
Cardin, Marta [1 ]
机构
[1] Univ Ca Foscari Venezia, Dept Econ, Venice, Italy
来源
AGGREGATION FUNCTIONS IN THEORY AND IN PRACTICE | 2018年 / 581卷
关键词
D O I
10.1007/978-3-319-59306-7_13
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We provide an axiomatic characterization of preorders that are defined with respect to a set of properties. Moreover, it is proven that property-based posets are in natural correspondence with topological spaces. This paper propose also a characterization and a generalization of a Sugeno-type integral in our framework.
引用
收藏
页码:130 / 137
页数:8
相关论文
共 50 条
  • [41] Property-Based Testing via Proof Reconstruction
    Blanco, Roberto
    Miller, Dale
    Momigliano, Alberto
    PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
  • [42] PROPR: Property-Based Automatic Program Repair
    Gissurarson, Matthias Pall
    Applis, Leonhard
    Panichella, Annibale
    van Deursen, Arie
    Sands, David
    2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 1768 - 1780
  • [43] Checking Laws of the Blockchain with Property-Based Testing
    Chepurnoy, Alexander
    Rathee, Mayank
    2018 IEEE 1ST INTERNATIONAL WORKSHOP ON BLOCKCHAIN ORIENTED SOFTWARE ENGINEERING (IWBOSE), 2018, : 40 - 47
  • [44] Property-based software engineering measurement - Reply
    Zuse, H
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (08) : 533 - 533
  • [45] Property-Based Brittleness Analysis of Temporal Networks
    Vaquero, Tiago
    Chien, Steve
    Agrawal, Jagriti
    Saint-Guillain, Michael
    Parmentier, Maxime
    JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2023, 20 (07): : 398 - 417
  • [46] Property-Based Test Case Generators for Free
    De Angelis, Emanuele
    Fioravanti, Fabio
    Palacios, Adrian
    Pettorossi, Alberto
    Proietti, Maurizio
    TESTS AND PROOFS (TAP 2019), 2019, 11823 : 186 - 206
  • [47] Polyvariant Program Specialisation with Property-based Abstraction
    Gallagher, John P.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (299): : 34 - 48
  • [48] FlinkCheck: Property-Based Testing for Apache Flink
    Espinosa, Cristina Valentina
    Martin-Martin, Enrique
    Riesco, Adrian
    Rodriguez-Hortala, Juan
    IEEE ACCESS, 2019, 7 : 150369 - 150382
  • [49] Physicochemical descriptors in property-based drug design
    Raevsky, OA
    MINI-REVIEWS IN MEDICINAL CHEMISTRY, 2004, 4 (10) : 1041 - 1052
  • [50] A Property-Based Method for Acquiring Commonsense Knowledge
    Wang, Ya
    Cao, Cungen
    Cao, Yuting
    Wang, Shi
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, PT I, 2021, 12815 : 53 - 65