2010 40th IEEE International Symposium on Multiple-Valued Logic最新文献_第6页

Non-deterministic Multi-valued Logics--A Tutorial 非确定性多值逻辑——教程

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.18

A. Avron, A. Zamansky

引用次数: 7

Number of Maximal Partial Clones 最大部分克隆数

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.60

Karsten Schölzel

引用次数: 4

MDGs Reduction Technique Based on the HOL Theorem Prover 基于HOL定理证明的mdg约简技术

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.12

Sa'ed Abed, O. Mohamed

引用次数: 0

Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions 类比比例、反向类比比例和谬误比例的多值逻辑解释

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.55

H. Prade, G. Richard

{"title":"Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions","authors":"H. Prade, G. Richard","doi":"10.1109/ISMVL.2010.55","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.55","url":null,"abstract":"Boolean logic interpretations have been recently proposed for analogical proportions (i.e. statements of the form ''$a$ is to $b$ as $c$ is to $d$\"), and for two other related formal proportions named reverse analogy (''what $a$ is to $b$ is the reverse of what $c$ is to $d$\"), and paralogy (''what $a$ and $b$ have in common $c$ and $d$ have it also\"). These proportions relate items $a$, $b$, $c$, and $d$ in different ways, on the basis of their differences, or of their similarities. This paper investigates multiple-valued models for these proportions. These extensions may serve different purposes, such as taking into account graded features, or handling crisp ones in non binary attribute domains in a compact way. After summarizing the main results in the binary case, we discuss what multiple valued patterns make sense for the different proportions, starting with tri-valued interpretations, and then considering $[0,1]$-valued interpretations. It appears that Lukasiewicz implication-based interpretation fits well with the intended meaning of analogy and reverse analogy, while a minimum-based interpretation is more suitable for paralogy in case of graded features. Besides, the interest of an interpretation based on Post algebra in case of non binary attribute domains is briefly outlined. Similarities and differences with the standard Boolean setting are highlighted.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129909091","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 29

Co-stone Residuated Lattices 辅石残余格

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-01-02 DOI: 10.1109/ISMVL.2010.27

C. Mureşan

引用次数: 16

Finitely Generated Maximal Partial Clones and Their Intersections 有限生成的极大部分克隆及其交点

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2009-10-30 DOI: 10.1109/ISMVL.2010.31

Miguel Couceiro, L. Haddad

引用次数: 3

Classes of Operations Closed under Permutation, Cylindrification and Composition 在置换、圆柱化和复合下闭合的操作类

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2009-10-28 DOI: 10.1109/ISMVL.2010.30

Miguel Couceiro, Erkko Lehtonen

引用次数: 2

The Arity Gap of Polynomial Functions over Bounded Distributive Lattices 有界分配格上多项式函数的性差

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2009-10-27 DOI: 10.1109/ISMVL.2010.29

Miguel Couceiro, Erkko Lehtonen

引用次数: 10