Probabilistic relational reasoning for differential privacy

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103670 ◽

2012 ◽

Cited By ~ 56

Author(s):

Gilles Barthe ◽

Boris Köpf ◽

Federico Olmedo ◽

Santiago Zanella Béguelin

Keyword(s):

Differential Privacy ◽

Relational Reasoning

Download Full-text

Probabilistic relational reasoning for differential privacy

ACM SIGPLAN Notices ◽

10.1145/2103621.2103670 ◽

2012 ◽

Vol 47 (1) ◽

pp. 97-110 ◽

Cited By ~ 10

Author(s):

Gilles Barthe ◽

Boris Köpf ◽

Federico Olmedo ◽

Santiago Zanella Béguelin

Keyword(s):

Differential Privacy ◽

Relational Reasoning

Download Full-text

Probabilistic Relational Reasoning for Differential Privacy

ACM Transactions on Programming Languages and Systems ◽

10.1145/2492061 ◽

2013 ◽

Vol 35 (3) ◽

pp. 1-49 ◽

Cited By ~ 31

Author(s):

Gilles Barthe ◽

Boris Köpf ◽

Federico Olmedo ◽

Santiago Zanella-Béguelin

Keyword(s):

Differential Privacy ◽

Relational Reasoning

Download Full-text

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

Behavioral and Brain Sciences ◽

10.1017/s0140525x19000451 ◽

2019 ◽

Vol 42 ◽

Author(s):

Daniel J. Povinelli ◽

Gabrielle C. Glorioso ◽

Shannon L. Kuznar ◽

Mateja Pavlic

Keyword(s):

Temporal Reasoning ◽

Higher Order ◽

Important Case ◽

Human Cognition ◽

Relational Reasoning ◽

Dual Systems ◽

First Order ◽

Reasoning System ◽

Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Download Full-text

The Latin Square Task as a Measure of Relational Reasoning

European Journal of Psychological Assessment ◽

10.1027/1015-5759/a000520 ◽

2020 ◽

Vol 36 (2) ◽

pp. 296-302 ◽

Cited By ~ 1

Author(s):

Luke J. Hearne ◽

Damian P. Birney ◽

Luca Cocchi ◽

Jason B. Mattingley

Keyword(s):

Brain Imaging ◽

Response Times ◽

Latin Square ◽

Error Rates ◽

Functional Brain Imaging ◽

Inspection Time ◽

Relational Reasoning ◽

Validity And Reliability ◽

The Stability ◽

Test Retest Reliability

Abstract. The Latin Square Task (LST) is a relational reasoning paradigm developed by Birney, Halford, and Andrews (2006) . Previous work has shown that the LST elicits typical reasoning complexity effects, such that increases in complexity are associated with decrements in task accuracy and increases in response times. Here we modified the LST for use in functional brain imaging experiments, in which presentation durations must be strictly controlled, and assessed its validity and reliability. Modifications included presenting the components within each trial serially, such that the reasoning and response periods were separated. In addition, the inspection time for each LST problem was constrained to five seconds. We replicated previous findings of higher error rates and slower response times with increasing relational complexity and observed relatively large effect sizes (η2p > 0.70, r > .50). Moreover, measures of internal consistency and test-retest reliability confirmed the stability of the LST within and across separate testing sessions. Interestingly, we found that limiting the inspection time for individual problems in the LST had little effect on accuracy relative to the unconstrained times used in previous work, a finding that is important for future brain imaging experiments aimed at investigating the neural correlates of relational reasoning.

Download Full-text