scholarly journals The Advent of Formal Diagrammatic Reasoning Systems

Author(s):  
Frithjof Dau
2021 ◽  
pp. 135406882199025
Author(s):  
Patrick Cunha Silva ◽  
Brian F Crisp

Electoral systems vary in terms of the choice and influence they offer voters. Beyond selecting between parties, preferential systems allow for choices within parties. More proportional systems make it likely that influence over who determines the assembly’s majority will be distributed across relatively more voters. In response to systems that limit choice and influence, we hypothesize that voters will cast more blank, null, or spoiled ballots on purpose. We use a regression discontinuity opportunity in French municipal elections to test this hypothesis. An exogenously chosen and arbitrary cutpoint is used to determine the electoral rules municipalities use to select their assemblies. We find support for our reasoning—systems that do not allow intraparty preference votes and that lead to disproportional outcomes provoke vote spoilage. Rates of vote spoilage are frequently sufficient to change control over the assembly if those votes had instead been cast validly for the second-place party.


Author(s):  
Fangyi Li ◽  
Changjing Shang ◽  
Ying Li ◽  
Jing Yang ◽  
Qiang Shen

AbstractApproximate reasoning systems facilitate fuzzy inference through activating fuzzy if–then rules in which attribute values are imprecisely described. Fuzzy rule interpolation (FRI) supports such reasoning with sparse rule bases where certain observations may not match any existing fuzzy rules, through manipulation of rules that bear similarity with an unmatched observation. This differs from classical rule-based inference that requires direct pattern matching between observations and the given rules. FRI techniques have been continuously investigated for decades, resulting in various types of approach. Traditionally, it is typically assumed that all antecedent attributes in the rules are of equal significance in deriving the consequents. Recent studies have shown significant interest in developing enhanced FRI mechanisms where the rule antecedent attributes are associated with relative weights, signifying their different importance levels in influencing the generation of the conclusion, thereby improving the interpolation performance. This survey presents a systematic review of both traditional and recently developed FRI methodologies, categorised accordingly into two major groups: FRI with non-weighted rules and FRI with weighted rules. It introduces, and analyses, a range of commonly used representatives chosen from each of the two categories, offering a comprehensive tutorial for this important soft computing approach to rule-based inference. A comparative analysis of different FRI techniques is provided both within each category and between the two, highlighting the main strengths and limitations while applying such FRI mechanisms to different problems. Furthermore, commonly adopted criteria for FRI algorithm evaluation are outlined, and recent developments on weighted FRI methods are presented in a unified pseudo-code form, easing their understanding and facilitating their comparisons.


2021 ◽  
Vol 125 ◽  
pp. 101368
Author(s):  
Yi Lin ◽  
Jie Li ◽  
Yael Gertner ◽  
Weiting Ng ◽  
Cynthia L. Fisher ◽  
...  

Author(s):  
Scott C. Chase

AbstractThe combination of the paradigms of shape algebras and predicate logic representations, used in a new method for describing designs, is presented. First-order predicate logic provides a natural, intuitive way of representing shapes and spatial relations in the development of complete computer systems for reasoning about designs. Shape algebraic formalisms have advantages over more traditional representations of geometric objects. Here we illustrate the definition of a large set of high-level design relations from a small set of simple structures and spatial relations, with examples from the domains of geographic information systems and architecture.


Sign in / Sign up

Export Citation Format

Share Document