SlideShare a Scribd company logo
1 of 152
Download to read offline
explainability, conceptual
spaces, relevance
Giovanni Sileno
13 June 2018
On the problems
of interface
gsileno@enst.fr
with the (supposedly) near advent of autonomous artificial
entities, or other forms of distributed automatic decision
making,
– humans less and less in the loop
– increasing concerns about unintended consequences
Unintended consequences:
bad or limited design
Unintended consequences:
bad or limited design
● Wallet hacks, fraudulent actions and bugs in the in the
blockchain sector during 2017:
– CoinDash ICO Hack ($10 millions)
– Parity Wallet Breach ($105 millions)
– Enigma Project Scum
– Parity Wallet Freeze ($275 millions)
– Tether Token Hack ($30 millions)
– Bitcoin Gold Scam ($3 millions)
– NiceHash Market Breach ($80 millions)
Source: CoinDesk (2017), Hacks, Scams and Attacks: Blockchain's 2017 Disasters
Unintended consequences:
the “artificial prejudice”
Unintended consequences:
the “artificial prejudice”
● Several studies prove that associations extracted from
linguistic corpora reproduce stereotypes.
Caliskan, A., Bryson, J. J., & Narayanan, A. (2017). Semantics derived automatically from language corpora
contain human-like biases. Science, 356(6334), 183–186.
Unintended consequences:
the “artificial prejudice”
● Several studies prove that associations extracted from
linguistic corpora reproduce stereotypes.
● Ex.: a simple Google visual search a few days ago:
Caliskan, A., Bryson, J. J., & Narayanan, A. (2017). Semantics derived automatically from language corpora
contain human-like biases. Science, 356(6334), 183–186.
teacher
vs
professor
● Software used across the US
predicting future crimes and
criminals is biased against African
Americans (2016).
Angwin J. et al. ProPublica, May 23 (2016). Machine Bias: risk assessments in criminal sentencing
Unintended consequences:
the “artificial prejudice”
● Software used across the US
predicting future crimes and
criminals is biased against African
Americans (2016).
● Role of circumstantial evidence:
how to integrate statistical
inference in judgment?
Angwin J. et al. ProPublica, May 23 (2016). Machine Bias: risk assessments in criminal sentencing
DNA footwear
origin, gender,
ethnicity, wealth, ......
improper
profiling?
Unintended consequences:
the “artificial prejudice”
unintended consequences
with ubiquitous devices/services?
scaling → wider effects → increased risks
unintended consequences
with ubiquitous devices/services?
necessity to review our conception methods!
scaling → wider effects → increased risks
The call for Explanaible AI (XAI)
Source: DARPA, https://www.darpa.mil/program/explainable-artificial-intelligence
Source: DARPA, https://www.darpa.mil/program/explainable-artificial-intelligence
The call for Explanaible AI (XAI)
statistical
Source: DARPA, https://www.darpa.mil/program/explainable-artificial-intelligence
The call for Explanaible AI (XAI)
statistical
Source: DARPA, https://www.darpa.mil/program/explainable-artificial-intelligence
The call for Explanaible AI (XAI)
statistical
? ? ?
Reasoning
● According to the “argumentative theory” of reasoning
[Herbert & Spencer, 2011], reasoning is not meant to take the
best decisions or true conclusions, but to justify these
choices in front of the others.
Reasoning
● According to the “argumentative theory” of reasoning
[Herbert & Spencer, 2011], reasoning is not meant to take the
best decisions or true conclusions, but to justify these
choices in front of the others.
● Two functions used in dual roles:
– generate arguments that are accepted by the others
– evaluate arguments given by others
Mercier, H., & Sperber, D. (2011). Why do humans reason? Arguments for an argumentative theory.
The Behavioral and Brain Sciences, 34(2), 57-74
Reasoning
● Herbert & Spencer [2011] insist on the persuasion aspect:
– generation ↔ convincing others
– evaluation ↔ protecting against being persuaded to
take positions resulting in negative
outcomes
Mercier, H., & Sperber, D. (2011). Why do humans reason? Arguments for an argumentative theory.
The Behavioral and Brain Sciences, 34(2), 57-74
The call for Explanaible AI (XAI)
statistical
alignment
~ dog conditioning
~ child development
? ? ?
adapted to rewards
conscious of rewards
The call for Explanaible AI (XAI)
statistical
alignment
grounding
experential
(indirect)(direct)
communicating
conceptualizing
experential normative
~ dog conditioning
~ child development
adapted to rewards
conscious of rewards
The call for Explanaible AI (XAI)
statistical
alignment
experential
(indirect)(direct)
experential normative
the INTERFACE problem
computation human cognition
grounding communicating
conceptualizing
the INTERFACE problem
computation human cognition
Possible research approaches
● bottom-up: use statistical ML to recreate functions mimicking
to some extent human cognition
● top-down: conceive algorithms reproducing by design
functions observable in human cognition
the INTERFACE problem
computation human cognition
Possible research approaches
● bottom-up: use statistical ML to recreate functions mimicking
to some extent human cognition
● top-down: conceive algorithms reproducing by design
functions observable in human cognition
here we have control on what we want to reproduce
Outline of this presentation
● Problems and solutions about similarity [KI2017]
● Computing contrast [AIC2018]
● An introduction to Simplicity theory [ST]
– Pertinence of causes [COG2018]
– Moral responsibility [JURIX2017]
Sileno, G., Bloch, I., Atif, J., & Dessalles, J.-L. (2017). Similarity and Contrast on Conceptual Spaces for Pertinent
Description Generation. Proceedings of the 2017 KI conference, 10505 LNAI
Sileno, G., Bloch, I., Atif, J., & Dessalles, J. (2018). Computing Contrast on Conceptual Spaces. In Proceedings of
the 6th International Workshop on Artificial Intelligence and Cognition (AIC2018)
https://simplicitytheory.telecom-paristech.fr/
Sileno, G., & Dessalles, J.-L. (2018). Qualifying Causes as Pertinent. Proceedings of the 40th Conference of the
Cognitive Science Society (CogSci 2018)
Sileno, G., Saillenfest, A., & Dessalles, J.-L. (2017). A Computational Model of Moral and Legal Responsibility via
Simplicity Theory. Proceedings of the 30th Int. Conf. on Legal Knowledge and Information Systems (JURIX 2017),
FAIA 302, 171–176
Unveiling similarity
Similarity is crucial to cognition
similar stimulus in similar context similar response
General (often implicit) hypothesis:
Similarity is crucial to cognition
similar stimulus in similar context similar response
~ fixing the task
General (often implicit) hypothesis:
Similarity is crucial to cognition
similar stimulus in similar context similar response
~ fixing the task
General (often implicit) hypothesis:
proximate elements can be used as reference to identify a
certain target (object, situation, etc.)
Practical uses: description generation
Similarity is crucial to cognition
similar stimulus in similar context similar response
~ fixing the task
General (often implicit) hypothesis:
proximate elements can be used as reference to identify a
certain target (object, situation, etc.)
Practical uses: description generation
the caudate nucleus
is an internal brain
structure which is
very close to the
lateral ventricles
Similarity is crucial to cognition
similar stimulus in similar context similar response
General (often implicit) hypothesis:
but how two stimuli are defined similar ?
~ fixing the task
Similarity is crucial to cognition
similar stimulus in similar context similar response
General (often implicit) hypothesis:
but how two stimuli are defined similar ?
psychology
● similarity is a function of a mental distance
between conceptualizations [Shepard1962]
“psychological space” hypothesis
~ fixing the task
Similarity is crucial to cognition
similar stimulus in similar context similar response
General (often implicit) hypothesis:
but how two stimuli are defined similar ?
psychology machine learning
● similarity is a function of a mental distance
between conceptualizations [Shepard1962]
“psychological space” hypothesis
● relies on some metric to compare inputs
● offers pseudo-metric learning methods
~ fixing the task
Similarity is crucial to cognition
similar stimulus in similar context similar response
General (often implicit) hypothesis:
but how two stimuli are defined similar ?
psychology machine learning
● similarity is a function of a mental distance
between conceptualizations [Shepard1962]
“psychological space” hypothesis
● relies on some metric to compare inputs
● offers pseudo-metric learning methods
geometrical model of cognition
~ fixing the task
geometrical model of cognition
psychologypsychology machine learning
Problems:
geometrical model of cognition
psychologypsychology machine learning
Problems:
● similarity in human judgments does
not satisfy fundamental
geometric axioms [Tversky77]
basis of feature-based models
Tversky, A. (1977). Features of similarity. Psychological Review, 84, 327–352.
geometrical model of cognition
psychologypsychology machine learning
Problems:
● similarity in human judgments does
not satisfy fundamental
geometric axioms [Tversky77]
basis of feature-based models
but.. feature selection?
geometrical model of cognition
psychologypsychology machine learning
Problems:
● similarity in human judgments does
not satisfy fundamental
geometric axioms [Tversky77]
● reasoning via artificial devices (still?)
relies on symbolic processing
e.g. through ontologies
basis of feature-based models
but.. feature selection?
geometrical model of cognition
psychologypsychology machine learning
Problems:
● similarity in human judgments does
not satisfy fundamental
geometric axioms [Tversky77]
● reasoning via artificial devices (still?)
relies on symbolic processing
e.g. through ontologies
basis of feature-based models
but.. feature selection? but.. symbol grounding?
predicate selection?
geometrical model of cognition
psychologypsychology machine learning
Problems:
● similarity in human judgments does
not satisfy fundamental
geometric axioms [Tversky77]
basis of feature-based models
● reasoning via artificial devices (still?)
relies on symbolic processing
e.g. through ontologies
Proposed solutions:
● enriching the metric model with additional
elements (e.g. density [Krumhansl78])
but.. feature selection? but.. symbol grounding?
predicate selection?
geometrical model of cognition
psychologypsychology machine learning
Problems:
● similarity in human judgments does
not satisfy fundamental
geometric axioms [Tversky77]
basis of feature-based models
● reasoning via artificial devices (still?)
relies on symbolic processing
e.g. through ontologies
Proposed solutions:
● enriching the metric model with additional
elements (e.g. density [Krumhansl78])
but.. feature selection? but.. symbol grounding?
predicate selection?
but.. holistic distance?
geometrical model of cognition
psychologypsychology machine learning
Problems:
● similarity in human judgments does
not satisfy fundamental
geometric axioms [Tversky77]
basis of feature-based models
● reasoning via artificial devices (still?)
relies on symbolic processing
e.g. through ontologies
Proposed solutions:
● enriching the metric model with additional
elements (e.g. density [Krumhansl78])
● approaching logical structures through
geometric methods (e.g. [Distel2014])
but.. feature selection? but.. symbol grounding?
predicate selection?
but.. holistic distance?
Towards an alternative solution..
associationistic methods
symbolic methods
grounded
not intelligible
not grounded
intelligible
grounded
not intelligible
not grounded
intelligible
Towards an alternative solution..
associationistic methods
symbolic methods
conceptual spaces
grounded
and intelligible
Gärdenfors, P. (2000). Conceptual Spaces: The Geometry of Thought. MIT Press.
Gärdenfors, P. (2014). The Geometry of Meaning: Semantics Based on Conceptual Spaces. MIT Press.
Overview on conceptual spaces
conceptual spaces
● Conceptual spaces stem from
(continuous) perceptive spaces.
● Natural properties emerge as
convex regions over integral
dimensions (e.g. color).
● Concepts are weighted
combinations of properties
● Prototypes can be seen as
centroids of convex regions
(properties or concepts).
Convex regions can be seen as
resulting from the competition
between prototypes (forming a
Voronoi Tessellation).
grounded
Gärdenfors, P. (2000). Conceptual Spaces: The Geometry of Thought. MIT Press.
Gärdenfors, P. (2014). The Geometry of Meaning: Semantics Based on Conceptual Spaces. MIT Press.
“small” problem
The standard theory of conceptual spaces insists to lexical
meaning: linguistic marks are associated to regions.
→ extensional as the standard symbolic approach.
If red, or green, or brown
correspond to regions
in the color space...
why do we say “red dogs” even if they are actually brown?
images after Google
“small” problem
The standard theory of conceptual spaces insists to lexical
meaning: linguistic marks are associated to regions.
→ extensional as the standard symbolic approach.
If red, or green, or brown
correspond to regions
in the color space...
Alternative hypothesis [Dessalles2015]:
Predicates are generated on the fly after an operation of contrast.
C = O – P
contrastor
object prototype
(target) (reference)
Predicates resulting from contrast
Dessalles, J.-L. (2015). From Conceptual Spaces to Predicates. Applications of Conceptual
Spaces: The Case for Geometric Knowledge Representation, 17–31.
Alternative hypothesis [Dessalles2015]:
Predicates are generated on the fly after an operation of contrast.
C = O – P ↝ “red”
contrastor
object prototype
(target) (reference)
These dogs are “red dogs”:
● not because their color is red (they are brown),
● because they are more red with respect to the dog prototype
Predicates resulting from contrast
Predicates resulting from contrast
In logic, usually: above(a, b) ↔ below(b, a)
However, people don't say
“the board is
above the leg.”
“the table is
below the apple.”
If the contrastive hypothesis is correct, C = A – B ↝ “above”
objects
Directional relationships
We considered an existing method [Bloch2006] used in image processing to compute
directional relative positions of visual entities (e.g. of biomedical images).
Bloch, I. (2006). Spatial reasoning under imprecision using fuzzy set theory, formal logics and
mathematical morphology. International Journal of Approximate Reasoning, 41(2), 77–95.
models of relations
for a point centered
in the origin
Directional relationships
We considered an existing method [Bloch2006] used in image processing to compute
directional relative positions of visual entities (e.g. of biomedical images).
“above b”“below a”
Directional relationships
We considered an existing method [Bloch2006] used in image processing to compute
directional relative positions of visual entities (e.g. of biomedical images).
how much a is
(in) “above b”
how much b is
(in) “below a”
“above b”“below a”
Directional relationships
We considered an existing method [Bloch2006] used in image processing to compute
directional relative positions of visual entities (e.g. of biomedical images).
operation scheme: a b + “above”↝
how much a is
“above b”
Directional relationships
We considered an existing method [Bloch2006] used in image processing to compute
directional relative positions of visual entities (e.g. of biomedical images).
operation scheme: a b + “above”↝
inverse operation to contrast: mergehow much a is
“above b”
Directional relationships
We considered an existing method [Bloch2006] used in image processing to compute
directional relative positions of visual entities (e.g. of biomedical images).
operation scheme: a b + “above”↝
alignment as overlap
inverse operation to contrast: mergehow much a is
“above b”
Directional relationships
We considered an existing method [Bloch2006] used in image processing to compute
directional relative positions of visual entities (e.g. of biomedical images).
We considered an existing method [Bloch2006] used in image processing to compute
directional relative positions of visual entities (e.g. of biomedical images).
operation scheme: a b + “above”↝
alignment as overlap
inverse operation to contrast: mergehow much a is
“above b”
cf. with o - p “red”↝
Directional relationships
We considered an existing method [Bloch2006] used in image processing to compute
directional relative positions of visual entities (e.g. of biomedical images).
operation scheme: a b + “above”↝
alignment as overlap
inverse operation to contrast: mergehow much a is
“above b”
cf. with o - p “red”↝
Directional relationships
If we settle upon contrast, we can categorize its output for relations!
● Contrast has been computed by operations inherent to
integral dimensions. These may be interpreted as related
to local perceptual dissimilarity.
– no need to define a holistic distance
● But what about concept (i.e. multi-dimensional) similarity?
From contrast to concept similarity
From contrast to concept similarity
“she is strong.”
this person − prototype person ↝ “strong”
From contrast to concept similarity
“she is (like) a lion.”
“she is strong.”
this person − prototype person ↝ “strong”
(metaphor as conceptual analogy)
From contrast to concept similarity
“she is (like) a lion.”
this person − prototype person ↝ “strong”, etc.
prototype lion − prototype animal ↝ “strong”, etc.
“she is strong.”
this person − prototype person ↝ “strong”
(metaphor as conceptual analogy)
comparison ground
doublecontrast
reference
target
From contrast to concept similarity
“she is (like) a lion.”
this person − prototype person ↝ “strong”, etc.
prototype lion − prototype animal ↝ “strong”, etc.
“she is strong.”
this person − prototype person ↝ “strong”
(metaphor as conceptual analogy)
comparison ground
doublecontrast
reference
target
The reference activates certain discriminating features.
From contrast to concept similarity
“she is (like) a lion.”
this person − prototype person ↝ “strong”, etc.
prototype lion − prototype animal ↝ “strong”, etc.
“she is strong.”
this person − prototype person ↝ “strong”
(metaphor as conceptual analogy)
comparison ground
doublecontrast
Concept similarity is a sequential, multi-layered computation
reference
target
The reference activates certain discriminating features.
geometrical model of cognition
psychologypsychology machine learning
Problems:
● similarity in human judgments does
not satisfy fundamental
geometric axioms [Tversky77]
basis of feature-based models
● reasoning via artificial devices (still?)
relies on symbolic processing
e.g. through ontologies
Proposed solutions:
● enriching the metric model with additional
elements (e.g. density [Krumhansl78])
● approaching logical structures through
geometric methods (e.g. [Distel2014])
but.. feature selection? but.. symbol grounding?
predicate selection?
but.. holistic distance?
1. Problems with symmetry
● Distance between two points should be the same when inverting the terms of
comparison.
1. Problems with symmetry
However,
Tel Aviv is like New York
has a different meaning than:
New York is like Tel Aviv
● Distance between two points should be the same when inverting the terms of
comparison.
1. Problems with symmetry
However,
Tel Aviv is like New York
has a different meaning than:
New York is like Tel Aviv
Our explanation: changing of reference activates different features
● Distance between two points should be the same when inverting the terms of
comparison.
2. Problems with triangle inequality
a c
b
2. Problems with triangle inequality
However,
Jamaica is similar to Cuba
Cuba is similar to Russia
Jamaica is not similar to Russia.
a c
b
2. Problems with triangle inequality
However,
Jamaica is similar to Cuba
Cuba is similar to Russia
Jamaica is not similar to Russia.
Our explanation: different/no comparison grounds after contrast
a c
b
3. Problems with minimality
● Distance with a distinct point should be greater than with the point itself.
3. Problems with minimality
● Distance with a distinct point should be greater than with the point itself.
However,
– when people were asked to find the most similar Morse
code within a list, including the original one, they did not
always return the object itself.
3. Problems with minimality
● Distance with a distinct point should be greater than with the point itself.
However,
– when people were asked to find the most similar Morse
code within a list, including the original one, they did not
always return the object itself.
Our explanation: sequential nature of similarity assessment.
4. Diagnosticity effect
● The distance between two points in a set should not change when changing the set.
4. Diagnosticity effect
However,
– when people were asked for the country most similar to a reference amongst a
given group of countries, they changed answers depending on the group.
Austria
most
similar to
Hungary
Poland
Sweden
● The distance between two points in a set should not change when changing the set.
4. Diagnosticity effect
However,
– when people were asked for the country most similar to a reference amongst a
given group of countries, they changed answers depending on the group.
Austria Hungary
Poland
Sweden
Norway
most
similar to
● The distance between two points in a set should not change when changing the set.
4. Diagnosticity effect
● The distance between two points in a set should not change when changing the set.
However,
– when people were asked for the country most similar to a reference amongst a
given group of countries, they changed answers depending on the group.
Austria Hungary
Poland
Sweden
Norway
most
similar to
Our explanation: effect due to the change of group prototype
Two types of similarity
● There is a fundamental distinction between:
– perceptual similarity
– contrastively analogical similarity
● The two are commonly conflated:
– by using MDS on people’s similarity judgments to elicit
dimensions of psychological (conceptual) spaces
– in similar dimensional reduction techniques used in ML
● This hypothesis provides simple explanations to empirical
experiences manifesting non-metrical properties, yet maintaining
a geometric infrastructure.
Sileno, G., Bloch, I., Atif, J., & Dessalles, J.-L. (2017). Similarity and Contrast on Conceptual Spaces for Pertinent
Description Generation. Proceedings of the 2017 KI conference, 10505 LNAI.
How does contrast work?
Computing contrast (1D)
● Consider coffees served in a bar. Intuitively, whether a
coffee is qualified as being hot or cold depends mostly on
what the speaker expects of coffees served at bars, rather
than a specific absolute temperature.
c = o – p ↝ “hot”
contrastor
object prototype
(target) (reference)
Sileno, G., Bloch, I., Atif, J., & Dessalles, J. (2018). Computing Contrast on Conceptual Spaces. In Proceedings of
the 6th International Workshop on Artificial Intelligence and Cognition (AIC2018)
Computing contrast (1D)
● Consider coffees served in a bar. Intuitively, whether a
coffee is qualified as being hot or cold depends mostly on
what the speaker expects of coffees served at bars, rather
than a specific absolute temperature.
● For simplicity, we represent objects on 1D (temperature)
with real coordinates.
c = o – p ↝ “hot”
contrastor
object prototype
(target) (reference)
Computing contrast (1D)
● Because prototypes are defined together with a concept
region, let us consider some regional information, for
instance represented as an egg-yolk structure.
c = o – p ↝ “hot”
contrastor
object prototype
(target) (reference)
Computing contrast (1D)
● Because prototypes are defined together with a concept
region, let us consider some regional information, for
instance represented as an egg-yolk structure.
– internal boundary (yolk) p ± σ for typical elements of
that category of objects (e.g. coffee served at bar).
c = o – p ↝ “hot”
contrastor
object prototype
(target) (reference)
Computing contrast (1D)
● Because prototypes are defined together with a concept
region, let us consider some regional information, for
instance represented as an egg-yolk structure.
– internal boundary (yolk) p ± σ for typical elements of
that category of objects (e.g. coffee served at bar).
– external boundary (egg) p ± ρ for all elements directly
associated to that category of objects
c = o – p ↝ “hot”
contrastor
object prototype
(target) (reference)
Computing contrast (1D)
c = o – p ↝ “hot”
contrastor
object prototype
(target) (reference)
● Two required functions:
– centering of target with respect to typical region
– scaling to neutralize effect of scale (e.g. “hot
coffee”, “hot planet”)
Computing contrast (1D)
distinguishing abstraction
of distinction
contrastor
c ↝ “hot”
Computing contrast (1D)
● As contrastors are extended objects, they might be
compared to model categories represented as
regions by measuring their degree of overlap:
property label
contrastor model region of property
Computing contrast (1D)
● Applying the previous computation, we easily derive the
membership functions of some general relations with
respect to the objects of that category.
● For instance, by dividing the representational container
in 3 equal parts, we have:
“ok”“cold” “hot”
Computing contrast (1D)
● The previous formulation might be extended to consider
contrast between two regions, by utilizing discretization
( denotes the approximation to the nearest integer):
Computing contrast (>1D)
● If dimensions are perceptually independent, we can
apply contrast on each dimensions separately:
● The result can be used to create a contrastive description
of the object, i.e. its most distinguishing features.
● e.g. apple (as a fruit):
red, spherical, quite sugared
Computing contrast (>1D)
● In the case of 2D visual objects, the two dimensions are
not perceptually independent.
● Let us consider two objects A and B. We can apply
contrast iteratively for each point of A with respect to B,
and then aggregate the resulting contrastors.
Computing contrast (>1D)
● In the case of 2D visual objects, the two dimensions are
not perceptually independent.
● Let us consider two objects A and B. We can apply
contrast iteratively for each point of A with respect to B,
and then aggregate the resulting contrastors.
accumulation set
normalization
counting
Computing contrast (>1D)
● In the case of 2D visual objects, the two dimensions are
not perceptually independent.
● Let us consider two objects A and B. We can apply
contrast iteratively for each point of A with respect to B,
and then aggregate the resulting contrastors.
accumulation set
normalization
counting
Computing contrast (>1D)
● In the case of 2D visual objects, the two dimensions are
not perceptually independent.
● Let us consider two objects A and B. We can apply
contrast iteratively for each point of A with respect to B,
and then aggregate the resulting contrastors.
accumulation set
normalization
counting
Work in progress: use of erosion to compute contrastor!
Computing pertinence
Relevance
● Given a certain image,
– what is relevant to be recognized?
– what is relevant to be said?
Relevance
● Given a certain image,
– what is relevant to be recognized?
– what is relevant to be said?
● More in general, given a certain situation
– what is relevant to be interpreted?
– what is relevant to be done?
Relevance
● Given a certain image,
– what is relevant to be recognized?
– what is relevant to be said?
● More in general, given a certain situation
– what is relevant to be interpreted?
– what is relevant to be done?
● Simplicity Theory (ST) offers a computational cognitive model
for computing relevance, based on unexpectedness and
emotion.
For a more detailed overview and further references see https://simplicitytheory.telecom-paristech.fr/
Simplicity theory: unexpectedness
● Human individuals are highly sensitive to complexity drops: i.e.
to situations that are simpler to describe than to explain.
Simplicity theory: unexpectedness
● Human individuals are highly sensitive to complexity drops: i.e.
to situations that are simpler to describe than to explain.
● Core notion: Unexpectedness
Simplicity theory: unexpectedness
● Human individuals are highly sensitive to complexity drops: i.e.
to situations that are simpler to describe than to explain.
● Core notion: Unexpectedness
causal complexity
concerning how the world generates the situation
Simplicity theory: unexpectedness
● Human individuals are highly sensitive to complexity drops: i.e.
to situations that are simpler to describe than to explain.
● Core notion: Unexpectedness
causal complexity
concerning how the world generates the situation
description complexity
concerning how to identify the situation
Simplicity theory: unexpectedness
● Human individuals are highly sensitive to complexity drops: i.e.
to situations that are simpler to describe than to explain.
● Core notion: Unexpectedness
causal complexity
concerning how the world generates the situation
description complexity
concerning how to identify the situation
The two complexities are defined following Kolmogorov complexity.
Kolmogorov complexity
length in bits of the shortest program generating a string
description of an object
Kolmogorov complexity
length in bits of the shortest program generating a string
description of an object
string equivalent programs
“2222222222222222222222222” = “2” + “2” + … + “2”
= “2” * 25
= “2” * 5^2
Kolmogorov complexity
length in bits of the shortest program generating a string
description of an object
depends on the available operators!!
string equivalent programs
“2222222222222222222222222” = “2” + “2” + … + “2”
= “2” * 25
= “2” * 5^2
Simplicity theory: unexpectedness
● Human individuals are highly sensitive to complexity drops: i.e.
to situations that are simpler to describe than to explain.
● Core notion: Unexpectedness
causal complexity
about how the world generates the situation
description complexity
about how to identify the situation
length of shortest program
creating the situation
length of shortest program
determining the situation
Simplicity theory: unexpectedness
● Human individuals are highly sensitive to complexity drops: i.e.
to situations that are simpler to describe than to explain.
● Core notion: Unexpectedness
causal complexity
about how the world generates the situation
description complexity
about how to identify the situation
length of shortest program
creating the situation
instructions = causal operators
length of shortest program
determining the situation
instructions = mental operators
Simplicity theory: unexpectedness
● Human individuals are highly sensitive to complexity drops: i.e.
to situations that are simpler to describe than to explain.
● Core notion: Unexpectedness
causal complexity
about how the world generates the situation
description complexity
about how to identify the situation
length of shortest program
creating the situation
instructions = causal operators
length of shortest program
determining the situation
instructions = mental operators
SIMULATION
REPRESENTATION
SIMULATION
REPRESENTATION
Simplicity theory: unexpectedness
● Human individuals are highly sensitive to complexity drops: i.e.
to situations that are simpler to describe than to explain.
● Core notion: Unexpectedness
causal complexity
about how the world generates the situation
description complexity
about how to identify the situation
length of shortest program
creating the situation
instructions = causal operators
length of shortest program
determining the situation
instructions = mental operators
SIMULATION
REPRESENTATION
SIMULATION
REPRESENTATION
for the agent!!!
Examples
22222222222222 is more unexpected than 21658367193445
(in a fair extraction)
Examples
22222222222222 is more unexpected than 21658367193445
meeting Obama is more unexpected than meeting Dupont
(in a fair extraction)
Unexpectedness captures plausibility
(or any other famous person) (or any other unknown person)
meeting an old of friend of mine
(or any other known person)
Examples
22222222222222 is more unexpected than 21658367193445
meeting Obama is more unexpected than meeting Dupont
(in a fair extraction)
Unexpectedness captures plausibility
(or any other famous person) (or any other unknown person)
meeting an old of friend of mine
(or any other known person)
when CW
(s) is the same, we
look for low CD
(s)
informativity is maximized by
maximizing unexpectedness
● Focusing on intensity, we can capture anticipation as:
emotion
what the situation induces to the agent
reward model
unexpectedness
Simplicity Theory: Emotion
emotion
actualized
emotion
● Focusing on intensity, we can capture anticipation as:
● Attention is intuitively associated to situations that might occur
depending on their emotional impact.
emotion
what the situation induces to the agent
reward model
unexpectedness
Simplicity Theory: Emotion
emotion
actualized
emotion
● Fundamental principles:
– situations with high anticipated emotion are relevant
– situations with high unexpectedness are relevant
Simplicity Theory: Relevance
epithymically
epistemically
● Fundamental principles:
– situations with high anticipated emotion are relevant
– situations with high unexpectedness are relevant
● Intuitively, contrast and similarity play a role with CD as they
function with the most accessible references, i.e.:
target is determined as
proximate
to simple references
with respect to simple relations
Simplicity Theory: Relevance
● Fundamental principles:
– situations with high anticipated emotion are relevant
– situations with high unexpectedness are relevant
● Why it is relevant to speak of hot coffees, rather than normal
coffees?
Simplicity Theory: Relevance
● Fundamental principles:
– situations with high anticipated emotion are relevant
– situations with high unexpectedness are relevant
● Why it is relevant to speak of hot coffees, rather than normal
coffees?
● Several factors play a role:
– descriptively simple (qualitatively distinctive, accessible references),
– causally difficult (supposing a normal distribution of temperatures),
– emotionally intense (as we might get burned with it).
Simplicity Theory: Relevance
● Fundamental principles:
– situations with high anticipated emotion are relevant
– situations with high unexpectedness are relevant
● Why it is relevant to speak of hot coffees, rather than normal
coffees?
● Several factors play a role:
– descriptively simple (qualitatively distinctive, accessible references),
– causally difficult (supposing a normal distribution of temperatures),
– emotionally intense (as we might get burned with it).
● In the following I'll briefly present two additional tracks I've
started studying, concerning CW (s) and E(s)
Simplicity Theory: Relevance
Identifying causes
An experiment
● Causes play a central role in the way we conceptualize
the world.
● But there is no established model about how people
qualify a cause as pertinent (literally, holding together)
to a specific event.
Sileno, G., & Dessalles, J.-L. (2018). Qualifying Causes as Pertinent. Proceedings of the 40th Conference
of the Cognitive Science Society (CogSci 2018)
An experiment
● Causes play a central role in the way we conceptualize
the world.
● But there is no established model about how people
qualify a cause as pertinent (literally, holding together)
to a specific event.
● We performed an experiment to compare:
– the computation of actual causation via
● conterfactuals (structural equations)
● Bayesian inference
● Simplicity Theory
– people's responses
Johnny is 7 years old. In recent months his mother has been worried because he
developed a craving for sweet things. She bought some pots of strawberry jam and put
them into the larder (a small room near the kitchen). Then one afternoon she finds
that Johnny has gone into the larder and has eaten half a pot of strawberry jam.
Q1. Why is ”half a pot of jam gone”?
a. because of Johnny’s gluttony
b. because Johnny ate it
c. because mother has put the pot in the larder
Example of task
Johnny is 7 years old. In recent months his mother has been worried because he
developed a craving for sweet things. She bought some pots of strawberry jam and put
them into the larder (a small room near the kitchen). Then one afternoon she finds
that Johnny has gone into the larder and has eaten half a pot of strawberry jam.
Q1. Why is ”half a pot of jam gone”?
a. because of Johnny’s gluttony
b. because Johnny ate it
c. because mother has put the pot in the larder
Example of task
● For each task, a model of
the story is constructed,
based on a general
action-scheme
motivation
motive
intention
consequences
action
affordance
Evaluation
● Measures based on probability:
● Measure based on complexity:
Evaluation
motivation
motive
intention
consequences
action
affordance
● Measures based on probability:
● Measure based on complexity:
computation using a
Bayesian Network
computation of complexities using
minimal path search
given a certain
model:
Evaluation
motivation
motive
intention
consequences
action
affordance
● Measures based on probability:
● Measure based on complexity:
computation using a
Bayesian Network
Results: No probabilistic measure is consistently aligned.
Causal contribution as defined by ST performs much better, and
divergences can be explained by intervention of description complexity.
computation of complexities using
minimal path search
given a certain
model:
Attributing responsibility
● In human societies, responsibility attribution is a spontaneous
and seemingly universal behaviour.
Responsibility attribution for humans
12 Angry Men, 1956Rashomon, 1950
Sileno, G., Saillenfest, A., & Dessalles, J.-L. (2017). A Computational Model of Moral and Legal Responsibility via
Simplicity Theory. Proceedings of the 30th Int. Conf. on Legal Knowledge and Information Systems (JURIX 2017),
FAIA 302, 171–176
● In human societies, responsibility attribution is a spontaneous
and seemingly universal behaviour.
● Non-related ancient legal systems bear much resemblance to
modern law and seem perfectly sensible nowadays.
Responsibility attribution for humans
Rashomon, 1950 12 Angry Men, 1956
● In human societies, responsibility attribution is a spontaneous
and seemingly universal behaviour.
● Non-related ancient legal systems bear much resemblance to
modern law and seem perfectly sensible nowadays.
→ responsibility attribution may be controlled by
fundamental cognitive mechanisms.
Responsibility attribution for humans
12 Angry Men, 1956Rashomon, 1950
● In human societies, responsibility attribution is a spontaneous
and seemingly universal behaviour.
● Non-related ancient legal systems bear much resemblance to
modern law and seem perfectly sensible nowadays.
→ responsibility attribution may be controlled by
fundamental cognitive mechanisms.
Responsibility attribution for humans
Working hypothesis: attributions of moral and legal responsibility
share a similar cognitive architecture
12 Angry Men, 1956Rashomon, 1950
● Experiments show that people are more prone to blame an agent
for an action:
flooded mine dilemma (trolley problem variation)
[A. Saillenfest and J.-L. Dessalles. Role of Kolmogorov Complexity on Interest in Moral Dilemma Stories. CogSCI 2012, pages 947–952]
● Experiments show that people are more prone to blame an agent
for an action:
– the more the outcome is severe,
– the more they are closer to the victims,
– the more the outcome follows the action.
flooded mine dilemma (trolley problem variation)
[A. Saillenfest and J.-L. Dessalles. Role of Kolmogorov Complexity on Interest in Moral Dilemma Stories. CogSCI 2012, pages 947–952]
● Experiments show that people are more prone to blame an agent
for an action:
– the more the outcome is severe,
– the more they are closer to the victims,
– the more the outcome follows the action.
● The cognitive model of Simplicity Theory predicts these results.
flooded mine dilemma (trolley problem variation)
[A. Saillenfest and J.-L. Dessalles. Role of Kolmogorov Complexity on Interest in Moral Dilemma Stories. CogSCI 2012]
● Focusing on intensity, we can capture anticipation as:
● The anticipated emotion of doing a to reach s:
emotion
what the situation induces to the agent
reward model
unexpectedness
Simplicity Theory: Emotion
intention as driven by anticipated emotional effects
Simplicity Theory: Moral responsibility
● Difference between intention* and moral responsibility is
one of point of views. computed by A
* For simplicity, we assume here that the action a has only a relevant outcome s and it has no impact on emotion, i.e. E(a*s) = E(s)
Simplicity Theory: Moral responsibility
● Difference between intention and moral responsibility is
one of point of views. computed by A
computed by a
model of A
computed by an observer O
Simplicity Theory: Moral responsibility
● Difference between intention and moral responsibility is
one of point of views. computed by A
computed by a
model of A
computed by an observer O
prescribed role,
reasonable standard
reward model
Simplicity Theory: Moral responsibility
● Difference between intention and moral responsibility is
one of point of views.
● Introducing causal responsibility
computed by A
computed by a
model of A
computed by an observer O
prescribed role,
reasonable standard
reward model
Simplicity Theory: Moral responsibility
actualized
emotion
causal
responsibility
conceptual
remoteness inadvertence
+ + – –
for observer O attributed to A attributed to Afor observer O
Simplicity Theory: Moral responsibility
actualized
emotion
causal
responsibility
conceptual
remoteness inadvertence
+ + – –
for observer O attributed to A attributed to Afor observer O
● From moral to legal responsibility:
– equity before the law
Simplicity Theory: Moral responsibility
actualized
emotion
causal
responsibility
conceptual
remoteness inadvertence
+ + – –
for observer O attributed to A attributed to Afor observer O
● From moral to legal responsibility:
– equity before the law
– law, as a reward system, defines emotion
Simplicity Theory: Moral responsibility
actualized
emotion
causal
responsibility
conceptual
remoteness inadvertence
+ + – –
for observer O attributed to A attributed to Afor observer O
● From moral to legal responsibility:
– equity before the law
– law, as a reward system, defines emotion
This enables to consider extrinsic commitments!
Simplicity Theory: Moral responsibility
actualized
emotion
causal
responsibility
conceptual
remoteness inadvertence
+ + – –
for observer O attributed to A attributed to Afor observer O
● From moral to legal responsibility:
– equity before the law
– law, as a reward system, defines emotion
…
Conclusion
The call for Explanaible AI (XAI)
grounding
experential
(indirect)(direct)
communicating
conceptualizing
experential normative
~ dog conditioning
~ child development
adapted to rewards
conscious of rewards
The call for Explanaible AI (XAI)
grounding
experential
(indirect)(direct)
communicating
conceptualizing
experential normative
automated decision-making need to be:
● non (primarily) statistical
● cognitively plausible
● linguistically competent
● able to take into account norms
conscious of rewards
Outlining the kernel of agency
● The core problem – of normative, epistemic and ontological
alignment – is related to the different modalities that we, as
agents, attribute to reality...
collective
individual
physical
Outlining the kernel of agency
● The core problem – of normative, epistemic and ontological
alignment – is related to the different modalities that we, as
agents, attribute to reality...
collective
individual
physical
This holds for humans, but also for artificial agents.

More Related Content

Similar to On the problems of interface: explainability, conceptual spaces, relevance

Don't Handicap AI without Explicit Knowledge
Don't Handicap AI  without Explicit KnowledgeDon't Handicap AI  without Explicit Knowledge
Don't Handicap AI without Explicit Knowledge
Amit Sheth
 

Similar to On the problems of interface: explainability, conceptual spaces, relevance (20)

AI - Exploring Frontiers
AI - Exploring FrontiersAI - Exploring Frontiers
AI - Exploring Frontiers
 
Lieto - Book Presentation Cognitive Design for Artificial Minds (AGI Northwes...
Lieto - Book Presentation Cognitive Design for Artificial Minds (AGI Northwes...Lieto - Book Presentation Cognitive Design for Artificial Minds (AGI Northwes...
Lieto - Book Presentation Cognitive Design for Artificial Minds (AGI Northwes...
 
Artificial intel
Artificial intelArtificial intel
Artificial intel
 
Don't blindly trust your ML System, it may change your life (Azzurra Ragone, ...
Don't blindly trust your ML System, it may change your life (Azzurra Ragone, ...Don't blindly trust your ML System, it may change your life (Azzurra Ragone, ...
Don't blindly trust your ML System, it may change your life (Azzurra Ragone, ...
 
Smart Data Webinar: Artificial General Intelligence - When Can I Get It?
Smart Data Webinar: Artificial General Intelligence - When Can I Get It?Smart Data Webinar: Artificial General Intelligence - When Can I Get It?
Smart Data Webinar: Artificial General Intelligence - When Can I Get It?
 
Fairness in Machine Learning @Codemotion
Fairness in Machine Learning @CodemotionFairness in Machine Learning @Codemotion
Fairness in Machine Learning @Codemotion
 
From NLP to NLU: Why we need varied, comprehensive, and stratified knowledge,...
From NLP to NLU: Why we need varied, comprehensive, and stratified knowledge,...From NLP to NLU: Why we need varied, comprehensive, and stratified knowledge,...
From NLP to NLU: Why we need varied, comprehensive, and stratified knowledge,...
 
Cognitive systems institute talk 8 june 2017 - v.1.0
Cognitive systems institute talk   8 june 2017 - v.1.0Cognitive systems institute talk   8 june 2017 - v.1.0
Cognitive systems institute talk 8 june 2017 - v.1.0
 
IS
ISIS
IS
 
Artificial intelligence (AI) - Definition, Classification, Development, & Con...
Artificial intelligence (AI) - Definition, Classification, Development, & Con...Artificial intelligence (AI) - Definition, Classification, Development, & Con...
Artificial intelligence (AI) - Definition, Classification, Development, & Con...
 
The Role of Normware in Trustworthy and Explainable AI
The Role of Normware in Trustworthy and Explainable AIThe Role of Normware in Trustworthy and Explainable AI
The Role of Normware in Trustworthy and Explainable AI
 
NodeMN: Building AI into your Node.js apps
NodeMN: Building AI into your Node.js appsNodeMN: Building AI into your Node.js apps
NodeMN: Building AI into your Node.js apps
 
Machine Learning, Artificial General Intelligence, and Robots with Human Minds
Machine Learning, Artificial General Intelligence, and Robots with Human MindsMachine Learning, Artificial General Intelligence, and Robots with Human Minds
Machine Learning, Artificial General Intelligence, and Robots with Human Minds
 
Our hci research interests in xAI
Our hci research interests in xAIOur hci research interests in xAI
Our hci research interests in xAI
 
Algorithmic fairness
Algorithmic fairnessAlgorithmic fairness
Algorithmic fairness
 
Don't Handicap AI without Explicit Knowledge
Don't Handicap AI  without Explicit KnowledgeDon't Handicap AI  without Explicit Knowledge
Don't Handicap AI without Explicit Knowledge
 
The Ethics of AI
The Ethics of AIThe Ethics of AI
The Ethics of AI
 
On serendipity in recommender systems - Haifa RecSoc workshop june 2015
On serendipity in recommender systems - Haifa RecSoc workshop june 2015On serendipity in recommender systems - Haifa RecSoc workshop june 2015
On serendipity in recommender systems - Haifa RecSoc workshop june 2015
 
Heuristic Reasoning in AI: Instrumental Use and Mimetic Absorption
Heuristic Reasoning in AI: Instrumental Use and Mimetic AbsorptionHeuristic Reasoning in AI: Instrumental Use and Mimetic Absorption
Heuristic Reasoning in AI: Instrumental Use and Mimetic Absorption
 
Interactive Narrative Intelligence: Modeling, Design, and Support
Interactive Narrative Intelligence: Modeling, Design, and SupportInteractive Narrative Intelligence: Modeling, Design, and Support
Interactive Narrative Intelligence: Modeling, Design, and Support
 

More from Giovanni Sileno

More from Giovanni Sileno (20)

Code-driven Law NO, Normware SI!
Code-driven Law NO, Normware SI!Code-driven Law NO, Normware SI!
Code-driven Law NO, Normware SI!
 
DPCL: a Language Template for Normative Specifications
DPCL: a Language Template for Normative SpecificationsDPCL: a Language Template for Normative Specifications
DPCL: a Language Template for Normative Specifications
 
Unexpectedness and Bayes' Rule
Unexpectedness and Bayes' RuleUnexpectedness and Bayes' Rule
Unexpectedness and Bayes' Rule
 
On Mapping Values in AI Governance
On Mapping Values in AI GovernanceOn Mapping Values in AI Governance
On Mapping Values in AI Governance
 
Accounting Value Effects for Responsible Networking
Accounting Value Effects for Responsible NetworkingAccounting Value Effects for Responsible Networking
Accounting Value Effects for Responsible Networking
 
Code Driven Law?
Code Driven Law?Code Driven Law?
Code Driven Law?
 
Operationalizing Declarative and Procedural Knowledge
Operationalizing Declarative and Procedural KnowledgeOperationalizing Declarative and Procedural Knowledge
Operationalizing Declarative and Procedural Knowledge
 
History of AI, Current Trends, Prospective Trajectories
History of AI, Current Trends, Prospective TrajectoriesHistory of AI, Current Trends, Prospective Trajectories
History of AI, Current Trends, Prospective Trajectories
 
Computing Contrast on Conceptual Spaces
Computing Contrast on Conceptual SpacesComputing Contrast on Conceptual Spaces
Computing Contrast on Conceptual Spaces
 
A Computational Model of Moral and Legal Responsibility via Simplicity Theory
A Computational Model of Moral and Legal Responsibility via Simplicity TheoryA Computational Model of Moral and Legal Responsibility via Simplicity Theory
A Computational Model of Moral and Legal Responsibility via Simplicity Theory
 
Aligning Law and Action
Aligning Law and ActionAligning Law and Action
Aligning Law and Action
 
Similarity and Contrast on Conceptual Spaces for Pertinent Description Genera...
Similarity and Contrast on Conceptual Spaces for Pertinent Description Genera...Similarity and Contrast on Conceptual Spaces for Pertinent Description Genera...
Similarity and Contrast on Conceptual Spaces for Pertinent Description Genera...
 
A Petri net-based notation for normative modeling: evaluation on deontic para...
A Petri net-based notation for normative modeling: evaluation on deontic para...A Petri net-based notation for normative modeling: evaluation on deontic para...
A Petri net-based notation for normative modeling: evaluation on deontic para...
 
Reading Agendas Between the Lines, an exercise
Reading Agendas Between the Lines, an exerciseReading Agendas Between the Lines, an exercise
Reading Agendas Between the Lines, an exercise
 
Bridging Representation of Laws, of Implementations and of Behaviours
Bridging Representation of Laws, of Implementations and of BehavioursBridging Representation of Laws, of Implementations and of Behaviours
Bridging Representation of Laws, of Implementations and of Behaviours
 
Revisiting Constitutive Rules
Revisiting Constitutive RulesRevisiting Constitutive Rules
Revisiting Constitutive Rules
 
Commitments, Expectations, Affordances and Susceptibilities: Towards Position...
Commitments, Expectations, Affordances and Susceptibilities: Towards Position...Commitments, Expectations, Affordances and Susceptibilities: Towards Position...
Commitments, Expectations, Affordances and Susceptibilities: Towards Position...
 
A Constructivist Approach to Rule Bases
A Constructivist Approach to Rule BasesA Constructivist Approach to Rule Bases
A Constructivist Approach to Rule Bases
 
On the Interactional Meaning of Fundamental Legal Concepts
On the Interactional Meaning of Fundamental Legal ConceptsOn the Interactional Meaning of Fundamental Legal Concepts
On the Interactional Meaning of Fundamental Legal Concepts
 
Legal Knowledge Conveyed by Narratives: towards a representational model
Legal Knowledge Conveyed by Narratives: towards a representational modelLegal Knowledge Conveyed by Narratives: towards a representational model
Legal Knowledge Conveyed by Narratives: towards a representational model
 

Recently uploaded

AKTU Computer Networks notes --- Unit 3.pdf
AKTU Computer Networks notes ---  Unit 3.pdfAKTU Computer Networks notes ---  Unit 3.pdf
AKTU Computer Networks notes --- Unit 3.pdf
ankushspencer015
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
ssuser89054b
 
Call Girls in Ramesh Nagar Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
Call Girls in Ramesh Nagar Delhi 💯 Call Us 🔝9953056974 🔝 Escort ServiceCall Girls in Ramesh Nagar Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
Call Girls in Ramesh Nagar Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
9953056974 Low Rate Call Girls In Saket, Delhi NCR
 
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 BookingVIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
dharasingh5698
 
Call Girls in Netaji Nagar, Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
Call Girls in Netaji Nagar, Delhi 💯 Call Us 🔝9953056974 🔝 Escort ServiceCall Girls in Netaji Nagar, Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
Call Girls in Netaji Nagar, Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
9953056974 Low Rate Call Girls In Saket, Delhi NCR
 

Recently uploaded (20)

Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance BookingCall Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Wakad Call Me 7737669865 Budget Friendly No Advance Booking
 
AKTU Computer Networks notes --- Unit 3.pdf
AKTU Computer Networks notes ---  Unit 3.pdfAKTU Computer Networks notes ---  Unit 3.pdf
AKTU Computer Networks notes --- Unit 3.pdf
 
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdfONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
 
Double rodded leveling 1 pdf activity 01
Double rodded leveling 1 pdf activity 01Double rodded leveling 1 pdf activity 01
Double rodded leveling 1 pdf activity 01
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
 
Unit 2- Effective stress & Permeability.pdf
Unit 2- Effective stress & Permeability.pdfUnit 2- Effective stress & Permeability.pdf
Unit 2- Effective stress & Permeability.pdf
 
Generative AI or GenAI technology based PPT
Generative AI or GenAI technology based PPTGenerative AI or GenAI technology based PPT
Generative AI or GenAI technology based PPT
 
Intro To Electric Vehicles PDF Notes.pdf
Intro To Electric Vehicles PDF Notes.pdfIntro To Electric Vehicles PDF Notes.pdf
Intro To Electric Vehicles PDF Notes.pdf
 
Call Girls in Ramesh Nagar Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
Call Girls in Ramesh Nagar Delhi 💯 Call Us 🔝9953056974 🔝 Escort ServiceCall Girls in Ramesh Nagar Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
Call Girls in Ramesh Nagar Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
 
chapter 5.pptx: drainage and irrigation engineering
chapter 5.pptx: drainage and irrigation engineeringchapter 5.pptx: drainage and irrigation engineering
chapter 5.pptx: drainage and irrigation engineering
 
Bhosari ( Call Girls ) Pune 6297143586 Hot Model With Sexy Bhabi Ready For ...
Bhosari ( Call Girls ) Pune  6297143586  Hot Model With Sexy Bhabi Ready For ...Bhosari ( Call Girls ) Pune  6297143586  Hot Model With Sexy Bhabi Ready For ...
Bhosari ( Call Girls ) Pune 6297143586 Hot Model With Sexy Bhabi Ready For ...
 
(INDIRA) Call Girl Aurangabad Call Now 8617697112 Aurangabad Escorts 24x7
(INDIRA) Call Girl Aurangabad Call Now 8617697112 Aurangabad Escorts 24x7(INDIRA) Call Girl Aurangabad Call Now 8617697112 Aurangabad Escorts 24x7
(INDIRA) Call Girl Aurangabad Call Now 8617697112 Aurangabad Escorts 24x7
 
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
 
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
 
(INDIRA) Call Girl Meerut Call Now 8617697112 Meerut Escorts 24x7
(INDIRA) Call Girl Meerut Call Now 8617697112 Meerut Escorts 24x7(INDIRA) Call Girl Meerut Call Now 8617697112 Meerut Escorts 24x7
(INDIRA) Call Girl Meerut Call Now 8617697112 Meerut Escorts 24x7
 
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 BookingVIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Palanpur 7001035870 Whatsapp Number, 24/07 Booking
 
Double Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torqueDouble Revolving field theory-how the rotor develops torque
Double Revolving field theory-how the rotor develops torque
 
Design For Accessibility: Getting it right from the start
Design For Accessibility: Getting it right from the startDesign For Accessibility: Getting it right from the start
Design For Accessibility: Getting it right from the start
 
Call Girls in Netaji Nagar, Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
Call Girls in Netaji Nagar, Delhi 💯 Call Us 🔝9953056974 🔝 Escort ServiceCall Girls in Netaji Nagar, Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
Call Girls in Netaji Nagar, Delhi 💯 Call Us 🔝9953056974 🔝 Escort Service
 
Thermal Engineering -unit - III & IV.ppt
Thermal Engineering -unit - III & IV.pptThermal Engineering -unit - III & IV.ppt
Thermal Engineering -unit - III & IV.ppt
 

On the problems of interface: explainability, conceptual spaces, relevance

  • 1. explainability, conceptual spaces, relevance Giovanni Sileno 13 June 2018 On the problems of interface gsileno@enst.fr
  • 2. with the (supposedly) near advent of autonomous artificial entities, or other forms of distributed automatic decision making, – humans less and less in the loop – increasing concerns about unintended consequences
  • 4. Unintended consequences: bad or limited design ● Wallet hacks, fraudulent actions and bugs in the in the blockchain sector during 2017: – CoinDash ICO Hack ($10 millions) – Parity Wallet Breach ($105 millions) – Enigma Project Scum – Parity Wallet Freeze ($275 millions) – Tether Token Hack ($30 millions) – Bitcoin Gold Scam ($3 millions) – NiceHash Market Breach ($80 millions) Source: CoinDesk (2017), Hacks, Scams and Attacks: Blockchain's 2017 Disasters
  • 6. Unintended consequences: the “artificial prejudice” ● Several studies prove that associations extracted from linguistic corpora reproduce stereotypes. Caliskan, A., Bryson, J. J., & Narayanan, A. (2017). Semantics derived automatically from language corpora contain human-like biases. Science, 356(6334), 183–186.
  • 7. Unintended consequences: the “artificial prejudice” ● Several studies prove that associations extracted from linguistic corpora reproduce stereotypes. ● Ex.: a simple Google visual search a few days ago: Caliskan, A., Bryson, J. J., & Narayanan, A. (2017). Semantics derived automatically from language corpora contain human-like biases. Science, 356(6334), 183–186. teacher vs professor
  • 8. ● Software used across the US predicting future crimes and criminals is biased against African Americans (2016). Angwin J. et al. ProPublica, May 23 (2016). Machine Bias: risk assessments in criminal sentencing Unintended consequences: the “artificial prejudice”
  • 9. ● Software used across the US predicting future crimes and criminals is biased against African Americans (2016). ● Role of circumstantial evidence: how to integrate statistical inference in judgment? Angwin J. et al. ProPublica, May 23 (2016). Machine Bias: risk assessments in criminal sentencing DNA footwear origin, gender, ethnicity, wealth, ...... improper profiling? Unintended consequences: the “artificial prejudice”
  • 10. unintended consequences with ubiquitous devices/services? scaling → wider effects → increased risks
  • 11. unintended consequences with ubiquitous devices/services? necessity to review our conception methods! scaling → wider effects → increased risks
  • 12. The call for Explanaible AI (XAI) Source: DARPA, https://www.darpa.mil/program/explainable-artificial-intelligence
  • 16. Reasoning ● According to the “argumentative theory” of reasoning [Herbert & Spencer, 2011], reasoning is not meant to take the best decisions or true conclusions, but to justify these choices in front of the others.
  • 17. Reasoning ● According to the “argumentative theory” of reasoning [Herbert & Spencer, 2011], reasoning is not meant to take the best decisions or true conclusions, but to justify these choices in front of the others. ● Two functions used in dual roles: – generate arguments that are accepted by the others – evaluate arguments given by others Mercier, H., & Sperber, D. (2011). Why do humans reason? Arguments for an argumentative theory. The Behavioral and Brain Sciences, 34(2), 57-74
  • 18. Reasoning ● Herbert & Spencer [2011] insist on the persuasion aspect: – generation ↔ convincing others – evaluation ↔ protecting against being persuaded to take positions resulting in negative outcomes Mercier, H., & Sperber, D. (2011). Why do humans reason? Arguments for an argumentative theory. The Behavioral and Brain Sciences, 34(2), 57-74
  • 19. The call for Explanaible AI (XAI) statistical alignment ~ dog conditioning ~ child development ? ? ? adapted to rewards conscious of rewards
  • 20. The call for Explanaible AI (XAI) statistical alignment grounding experential (indirect)(direct) communicating conceptualizing experential normative ~ dog conditioning ~ child development adapted to rewards conscious of rewards
  • 21. The call for Explanaible AI (XAI) statistical alignment experential (indirect)(direct) experential normative the INTERFACE problem computation human cognition grounding communicating conceptualizing
  • 22. the INTERFACE problem computation human cognition Possible research approaches ● bottom-up: use statistical ML to recreate functions mimicking to some extent human cognition ● top-down: conceive algorithms reproducing by design functions observable in human cognition
  • 23. the INTERFACE problem computation human cognition Possible research approaches ● bottom-up: use statistical ML to recreate functions mimicking to some extent human cognition ● top-down: conceive algorithms reproducing by design functions observable in human cognition here we have control on what we want to reproduce
  • 24. Outline of this presentation ● Problems and solutions about similarity [KI2017] ● Computing contrast [AIC2018] ● An introduction to Simplicity theory [ST] – Pertinence of causes [COG2018] – Moral responsibility [JURIX2017] Sileno, G., Bloch, I., Atif, J., & Dessalles, J.-L. (2017). Similarity and Contrast on Conceptual Spaces for Pertinent Description Generation. Proceedings of the 2017 KI conference, 10505 LNAI Sileno, G., Bloch, I., Atif, J., & Dessalles, J. (2018). Computing Contrast on Conceptual Spaces. In Proceedings of the 6th International Workshop on Artificial Intelligence and Cognition (AIC2018) https://simplicitytheory.telecom-paristech.fr/ Sileno, G., & Dessalles, J.-L. (2018). Qualifying Causes as Pertinent. Proceedings of the 40th Conference of the Cognitive Science Society (CogSci 2018) Sileno, G., Saillenfest, A., & Dessalles, J.-L. (2017). A Computational Model of Moral and Legal Responsibility via Simplicity Theory. Proceedings of the 30th Int. Conf. on Legal Knowledge and Information Systems (JURIX 2017), FAIA 302, 171–176
  • 26. Similarity is crucial to cognition similar stimulus in similar context similar response General (often implicit) hypothesis:
  • 27. Similarity is crucial to cognition similar stimulus in similar context similar response ~ fixing the task General (often implicit) hypothesis:
  • 28. Similarity is crucial to cognition similar stimulus in similar context similar response ~ fixing the task General (often implicit) hypothesis: proximate elements can be used as reference to identify a certain target (object, situation, etc.) Practical uses: description generation
  • 29. Similarity is crucial to cognition similar stimulus in similar context similar response ~ fixing the task General (often implicit) hypothesis: proximate elements can be used as reference to identify a certain target (object, situation, etc.) Practical uses: description generation the caudate nucleus is an internal brain structure which is very close to the lateral ventricles
  • 30. Similarity is crucial to cognition similar stimulus in similar context similar response General (often implicit) hypothesis: but how two stimuli are defined similar ? ~ fixing the task
  • 31. Similarity is crucial to cognition similar stimulus in similar context similar response General (often implicit) hypothesis: but how two stimuli are defined similar ? psychology ● similarity is a function of a mental distance between conceptualizations [Shepard1962] “psychological space” hypothesis ~ fixing the task
  • 32. Similarity is crucial to cognition similar stimulus in similar context similar response General (often implicit) hypothesis: but how two stimuli are defined similar ? psychology machine learning ● similarity is a function of a mental distance between conceptualizations [Shepard1962] “psychological space” hypothesis ● relies on some metric to compare inputs ● offers pseudo-metric learning methods ~ fixing the task
  • 33. Similarity is crucial to cognition similar stimulus in similar context similar response General (often implicit) hypothesis: but how two stimuli are defined similar ? psychology machine learning ● similarity is a function of a mental distance between conceptualizations [Shepard1962] “psychological space” hypothesis ● relies on some metric to compare inputs ● offers pseudo-metric learning methods geometrical model of cognition ~ fixing the task
  • 34. geometrical model of cognition psychologypsychology machine learning Problems:
  • 35. geometrical model of cognition psychologypsychology machine learning Problems: ● similarity in human judgments does not satisfy fundamental geometric axioms [Tversky77] basis of feature-based models Tversky, A. (1977). Features of similarity. Psychological Review, 84, 327–352.
  • 36. geometrical model of cognition psychologypsychology machine learning Problems: ● similarity in human judgments does not satisfy fundamental geometric axioms [Tversky77] basis of feature-based models but.. feature selection?
  • 37. geometrical model of cognition psychologypsychology machine learning Problems: ● similarity in human judgments does not satisfy fundamental geometric axioms [Tversky77] ● reasoning via artificial devices (still?) relies on symbolic processing e.g. through ontologies basis of feature-based models but.. feature selection?
  • 38. geometrical model of cognition psychologypsychology machine learning Problems: ● similarity in human judgments does not satisfy fundamental geometric axioms [Tversky77] ● reasoning via artificial devices (still?) relies on symbolic processing e.g. through ontologies basis of feature-based models but.. feature selection? but.. symbol grounding? predicate selection?
  • 39. geometrical model of cognition psychologypsychology machine learning Problems: ● similarity in human judgments does not satisfy fundamental geometric axioms [Tversky77] basis of feature-based models ● reasoning via artificial devices (still?) relies on symbolic processing e.g. through ontologies Proposed solutions: ● enriching the metric model with additional elements (e.g. density [Krumhansl78]) but.. feature selection? but.. symbol grounding? predicate selection?
  • 40. geometrical model of cognition psychologypsychology machine learning Problems: ● similarity in human judgments does not satisfy fundamental geometric axioms [Tversky77] basis of feature-based models ● reasoning via artificial devices (still?) relies on symbolic processing e.g. through ontologies Proposed solutions: ● enriching the metric model with additional elements (e.g. density [Krumhansl78]) but.. feature selection? but.. symbol grounding? predicate selection? but.. holistic distance?
  • 41. geometrical model of cognition psychologypsychology machine learning Problems: ● similarity in human judgments does not satisfy fundamental geometric axioms [Tversky77] basis of feature-based models ● reasoning via artificial devices (still?) relies on symbolic processing e.g. through ontologies Proposed solutions: ● enriching the metric model with additional elements (e.g. density [Krumhansl78]) ● approaching logical structures through geometric methods (e.g. [Distel2014]) but.. feature selection? but.. symbol grounding? predicate selection? but.. holistic distance?
  • 42. Towards an alternative solution.. associationistic methods symbolic methods grounded not intelligible not grounded intelligible
  • 43. grounded not intelligible not grounded intelligible Towards an alternative solution.. associationistic methods symbolic methods conceptual spaces grounded and intelligible Gärdenfors, P. (2000). Conceptual Spaces: The Geometry of Thought. MIT Press. Gärdenfors, P. (2014). The Geometry of Meaning: Semantics Based on Conceptual Spaces. MIT Press.
  • 44. Overview on conceptual spaces conceptual spaces ● Conceptual spaces stem from (continuous) perceptive spaces. ● Natural properties emerge as convex regions over integral dimensions (e.g. color). ● Concepts are weighted combinations of properties ● Prototypes can be seen as centroids of convex regions (properties or concepts). Convex regions can be seen as resulting from the competition between prototypes (forming a Voronoi Tessellation). grounded Gärdenfors, P. (2000). Conceptual Spaces: The Geometry of Thought. MIT Press. Gärdenfors, P. (2014). The Geometry of Meaning: Semantics Based on Conceptual Spaces. MIT Press.
  • 45. “small” problem The standard theory of conceptual spaces insists to lexical meaning: linguistic marks are associated to regions. → extensional as the standard symbolic approach. If red, or green, or brown correspond to regions in the color space...
  • 46. why do we say “red dogs” even if they are actually brown? images after Google “small” problem The standard theory of conceptual spaces insists to lexical meaning: linguistic marks are associated to regions. → extensional as the standard symbolic approach. If red, or green, or brown correspond to regions in the color space...
  • 47. Alternative hypothesis [Dessalles2015]: Predicates are generated on the fly after an operation of contrast. C = O – P contrastor object prototype (target) (reference) Predicates resulting from contrast Dessalles, J.-L. (2015). From Conceptual Spaces to Predicates. Applications of Conceptual Spaces: The Case for Geometric Knowledge Representation, 17–31.
  • 48. Alternative hypothesis [Dessalles2015]: Predicates are generated on the fly after an operation of contrast. C = O – P ↝ “red” contrastor object prototype (target) (reference) These dogs are “red dogs”: ● not because their color is red (they are brown), ● because they are more red with respect to the dog prototype Predicates resulting from contrast
  • 49. Predicates resulting from contrast In logic, usually: above(a, b) ↔ below(b, a) However, people don't say “the board is above the leg.” “the table is below the apple.” If the contrastive hypothesis is correct, C = A – B ↝ “above”
  • 50. objects Directional relationships We considered an existing method [Bloch2006] used in image processing to compute directional relative positions of visual entities (e.g. of biomedical images). Bloch, I. (2006). Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology. International Journal of Approximate Reasoning, 41(2), 77–95.
  • 51. models of relations for a point centered in the origin Directional relationships We considered an existing method [Bloch2006] used in image processing to compute directional relative positions of visual entities (e.g. of biomedical images).
  • 52. “above b”“below a” Directional relationships We considered an existing method [Bloch2006] used in image processing to compute directional relative positions of visual entities (e.g. of biomedical images).
  • 53. how much a is (in) “above b” how much b is (in) “below a” “above b”“below a” Directional relationships We considered an existing method [Bloch2006] used in image processing to compute directional relative positions of visual entities (e.g. of biomedical images).
  • 54. operation scheme: a b + “above”↝ how much a is “above b” Directional relationships We considered an existing method [Bloch2006] used in image processing to compute directional relative positions of visual entities (e.g. of biomedical images).
  • 55. operation scheme: a b + “above”↝ inverse operation to contrast: mergehow much a is “above b” Directional relationships We considered an existing method [Bloch2006] used in image processing to compute directional relative positions of visual entities (e.g. of biomedical images).
  • 56. operation scheme: a b + “above”↝ alignment as overlap inverse operation to contrast: mergehow much a is “above b” Directional relationships We considered an existing method [Bloch2006] used in image processing to compute directional relative positions of visual entities (e.g. of biomedical images).
  • 57. We considered an existing method [Bloch2006] used in image processing to compute directional relative positions of visual entities (e.g. of biomedical images). operation scheme: a b + “above”↝ alignment as overlap inverse operation to contrast: mergehow much a is “above b” cf. with o - p “red”↝ Directional relationships
  • 58. We considered an existing method [Bloch2006] used in image processing to compute directional relative positions of visual entities (e.g. of biomedical images). operation scheme: a b + “above”↝ alignment as overlap inverse operation to contrast: mergehow much a is “above b” cf. with o - p “red”↝ Directional relationships If we settle upon contrast, we can categorize its output for relations!
  • 59. ● Contrast has been computed by operations inherent to integral dimensions. These may be interpreted as related to local perceptual dissimilarity. – no need to define a holistic distance ● But what about concept (i.e. multi-dimensional) similarity? From contrast to concept similarity
  • 60. From contrast to concept similarity “she is strong.” this person − prototype person ↝ “strong”
  • 61. From contrast to concept similarity “she is (like) a lion.” “she is strong.” this person − prototype person ↝ “strong” (metaphor as conceptual analogy)
  • 62. From contrast to concept similarity “she is (like) a lion.” this person − prototype person ↝ “strong”, etc. prototype lion − prototype animal ↝ “strong”, etc. “she is strong.” this person − prototype person ↝ “strong” (metaphor as conceptual analogy) comparison ground doublecontrast reference target
  • 63. From contrast to concept similarity “she is (like) a lion.” this person − prototype person ↝ “strong”, etc. prototype lion − prototype animal ↝ “strong”, etc. “she is strong.” this person − prototype person ↝ “strong” (metaphor as conceptual analogy) comparison ground doublecontrast reference target The reference activates certain discriminating features.
  • 64. From contrast to concept similarity “she is (like) a lion.” this person − prototype person ↝ “strong”, etc. prototype lion − prototype animal ↝ “strong”, etc. “she is strong.” this person − prototype person ↝ “strong” (metaphor as conceptual analogy) comparison ground doublecontrast Concept similarity is a sequential, multi-layered computation reference target The reference activates certain discriminating features.
  • 65. geometrical model of cognition psychologypsychology machine learning Problems: ● similarity in human judgments does not satisfy fundamental geometric axioms [Tversky77] basis of feature-based models ● reasoning via artificial devices (still?) relies on symbolic processing e.g. through ontologies Proposed solutions: ● enriching the metric model with additional elements (e.g. density [Krumhansl78]) ● approaching logical structures through geometric methods (e.g. [Distel2014]) but.. feature selection? but.. symbol grounding? predicate selection? but.. holistic distance?
  • 66. 1. Problems with symmetry ● Distance between two points should be the same when inverting the terms of comparison.
  • 67. 1. Problems with symmetry However, Tel Aviv is like New York has a different meaning than: New York is like Tel Aviv ● Distance between two points should be the same when inverting the terms of comparison.
  • 68. 1. Problems with symmetry However, Tel Aviv is like New York has a different meaning than: New York is like Tel Aviv Our explanation: changing of reference activates different features ● Distance between two points should be the same when inverting the terms of comparison.
  • 69. 2. Problems with triangle inequality a c b
  • 70. 2. Problems with triangle inequality However, Jamaica is similar to Cuba Cuba is similar to Russia Jamaica is not similar to Russia. a c b
  • 71. 2. Problems with triangle inequality However, Jamaica is similar to Cuba Cuba is similar to Russia Jamaica is not similar to Russia. Our explanation: different/no comparison grounds after contrast a c b
  • 72. 3. Problems with minimality ● Distance with a distinct point should be greater than with the point itself.
  • 73. 3. Problems with minimality ● Distance with a distinct point should be greater than with the point itself. However, – when people were asked to find the most similar Morse code within a list, including the original one, they did not always return the object itself.
  • 74. 3. Problems with minimality ● Distance with a distinct point should be greater than with the point itself. However, – when people were asked to find the most similar Morse code within a list, including the original one, they did not always return the object itself. Our explanation: sequential nature of similarity assessment.
  • 75. 4. Diagnosticity effect ● The distance between two points in a set should not change when changing the set.
  • 76. 4. Diagnosticity effect However, – when people were asked for the country most similar to a reference amongst a given group of countries, they changed answers depending on the group. Austria most similar to Hungary Poland Sweden ● The distance between two points in a set should not change when changing the set.
  • 77. 4. Diagnosticity effect However, – when people were asked for the country most similar to a reference amongst a given group of countries, they changed answers depending on the group. Austria Hungary Poland Sweden Norway most similar to ● The distance between two points in a set should not change when changing the set.
  • 78. 4. Diagnosticity effect ● The distance between two points in a set should not change when changing the set. However, – when people were asked for the country most similar to a reference amongst a given group of countries, they changed answers depending on the group. Austria Hungary Poland Sweden Norway most similar to Our explanation: effect due to the change of group prototype
  • 79. Two types of similarity ● There is a fundamental distinction between: – perceptual similarity – contrastively analogical similarity ● The two are commonly conflated: – by using MDS on people’s similarity judgments to elicit dimensions of psychological (conceptual) spaces – in similar dimensional reduction techniques used in ML ● This hypothesis provides simple explanations to empirical experiences manifesting non-metrical properties, yet maintaining a geometric infrastructure. Sileno, G., Bloch, I., Atif, J., & Dessalles, J.-L. (2017). Similarity and Contrast on Conceptual Spaces for Pertinent Description Generation. Proceedings of the 2017 KI conference, 10505 LNAI.
  • 81. Computing contrast (1D) ● Consider coffees served in a bar. Intuitively, whether a coffee is qualified as being hot or cold depends mostly on what the speaker expects of coffees served at bars, rather than a specific absolute temperature. c = o – p ↝ “hot” contrastor object prototype (target) (reference) Sileno, G., Bloch, I., Atif, J., & Dessalles, J. (2018). Computing Contrast on Conceptual Spaces. In Proceedings of the 6th International Workshop on Artificial Intelligence and Cognition (AIC2018)
  • 82. Computing contrast (1D) ● Consider coffees served in a bar. Intuitively, whether a coffee is qualified as being hot or cold depends mostly on what the speaker expects of coffees served at bars, rather than a specific absolute temperature. ● For simplicity, we represent objects on 1D (temperature) with real coordinates. c = o – p ↝ “hot” contrastor object prototype (target) (reference)
  • 83. Computing contrast (1D) ● Because prototypes are defined together with a concept region, let us consider some regional information, for instance represented as an egg-yolk structure. c = o – p ↝ “hot” contrastor object prototype (target) (reference)
  • 84. Computing contrast (1D) ● Because prototypes are defined together with a concept region, let us consider some regional information, for instance represented as an egg-yolk structure. – internal boundary (yolk) p ± σ for typical elements of that category of objects (e.g. coffee served at bar). c = o – p ↝ “hot” contrastor object prototype (target) (reference)
  • 85. Computing contrast (1D) ● Because prototypes are defined together with a concept region, let us consider some regional information, for instance represented as an egg-yolk structure. – internal boundary (yolk) p ± σ for typical elements of that category of objects (e.g. coffee served at bar). – external boundary (egg) p ± ρ for all elements directly associated to that category of objects c = o – p ↝ “hot” contrastor object prototype (target) (reference)
  • 86. Computing contrast (1D) c = o – p ↝ “hot” contrastor object prototype (target) (reference) ● Two required functions: – centering of target with respect to typical region – scaling to neutralize effect of scale (e.g. “hot coffee”, “hot planet”)
  • 87. Computing contrast (1D) distinguishing abstraction of distinction contrastor c ↝ “hot”
  • 88. Computing contrast (1D) ● As contrastors are extended objects, they might be compared to model categories represented as regions by measuring their degree of overlap: property label contrastor model region of property
  • 89. Computing contrast (1D) ● Applying the previous computation, we easily derive the membership functions of some general relations with respect to the objects of that category. ● For instance, by dividing the representational container in 3 equal parts, we have: “ok”“cold” “hot”
  • 90. Computing contrast (1D) ● The previous formulation might be extended to consider contrast between two regions, by utilizing discretization ( denotes the approximation to the nearest integer):
  • 91. Computing contrast (>1D) ● If dimensions are perceptually independent, we can apply contrast on each dimensions separately: ● The result can be used to create a contrastive description of the object, i.e. its most distinguishing features. ● e.g. apple (as a fruit): red, spherical, quite sugared
  • 92. Computing contrast (>1D) ● In the case of 2D visual objects, the two dimensions are not perceptually independent. ● Let us consider two objects A and B. We can apply contrast iteratively for each point of A with respect to B, and then aggregate the resulting contrastors.
  • 93. Computing contrast (>1D) ● In the case of 2D visual objects, the two dimensions are not perceptually independent. ● Let us consider two objects A and B. We can apply contrast iteratively for each point of A with respect to B, and then aggregate the resulting contrastors. accumulation set normalization counting
  • 94. Computing contrast (>1D) ● In the case of 2D visual objects, the two dimensions are not perceptually independent. ● Let us consider two objects A and B. We can apply contrast iteratively for each point of A with respect to B, and then aggregate the resulting contrastors. accumulation set normalization counting
  • 95. Computing contrast (>1D) ● In the case of 2D visual objects, the two dimensions are not perceptually independent. ● Let us consider two objects A and B. We can apply contrast iteratively for each point of A with respect to B, and then aggregate the resulting contrastors. accumulation set normalization counting Work in progress: use of erosion to compute contrastor!
  • 97. Relevance ● Given a certain image, – what is relevant to be recognized? – what is relevant to be said?
  • 98. Relevance ● Given a certain image, – what is relevant to be recognized? – what is relevant to be said? ● More in general, given a certain situation – what is relevant to be interpreted? – what is relevant to be done?
  • 99. Relevance ● Given a certain image, – what is relevant to be recognized? – what is relevant to be said? ● More in general, given a certain situation – what is relevant to be interpreted? – what is relevant to be done? ● Simplicity Theory (ST) offers a computational cognitive model for computing relevance, based on unexpectedness and emotion. For a more detailed overview and further references see https://simplicitytheory.telecom-paristech.fr/
  • 100. Simplicity theory: unexpectedness ● Human individuals are highly sensitive to complexity drops: i.e. to situations that are simpler to describe than to explain.
  • 101. Simplicity theory: unexpectedness ● Human individuals are highly sensitive to complexity drops: i.e. to situations that are simpler to describe than to explain. ● Core notion: Unexpectedness
  • 102. Simplicity theory: unexpectedness ● Human individuals are highly sensitive to complexity drops: i.e. to situations that are simpler to describe than to explain. ● Core notion: Unexpectedness causal complexity concerning how the world generates the situation
  • 103. Simplicity theory: unexpectedness ● Human individuals are highly sensitive to complexity drops: i.e. to situations that are simpler to describe than to explain. ● Core notion: Unexpectedness causal complexity concerning how the world generates the situation description complexity concerning how to identify the situation
  • 104. Simplicity theory: unexpectedness ● Human individuals are highly sensitive to complexity drops: i.e. to situations that are simpler to describe than to explain. ● Core notion: Unexpectedness causal complexity concerning how the world generates the situation description complexity concerning how to identify the situation The two complexities are defined following Kolmogorov complexity.
  • 105. Kolmogorov complexity length in bits of the shortest program generating a string description of an object
  • 106. Kolmogorov complexity length in bits of the shortest program generating a string description of an object string equivalent programs “2222222222222222222222222” = “2” + “2” + … + “2” = “2” * 25 = “2” * 5^2
  • 107. Kolmogorov complexity length in bits of the shortest program generating a string description of an object depends on the available operators!! string equivalent programs “2222222222222222222222222” = “2” + “2” + … + “2” = “2” * 25 = “2” * 5^2
  • 108. Simplicity theory: unexpectedness ● Human individuals are highly sensitive to complexity drops: i.e. to situations that are simpler to describe than to explain. ● Core notion: Unexpectedness causal complexity about how the world generates the situation description complexity about how to identify the situation length of shortest program creating the situation length of shortest program determining the situation
  • 109. Simplicity theory: unexpectedness ● Human individuals are highly sensitive to complexity drops: i.e. to situations that are simpler to describe than to explain. ● Core notion: Unexpectedness causal complexity about how the world generates the situation description complexity about how to identify the situation length of shortest program creating the situation instructions = causal operators length of shortest program determining the situation instructions = mental operators
  • 110. Simplicity theory: unexpectedness ● Human individuals are highly sensitive to complexity drops: i.e. to situations that are simpler to describe than to explain. ● Core notion: Unexpectedness causal complexity about how the world generates the situation description complexity about how to identify the situation length of shortest program creating the situation instructions = causal operators length of shortest program determining the situation instructions = mental operators SIMULATION REPRESENTATION SIMULATION REPRESENTATION
  • 111. Simplicity theory: unexpectedness ● Human individuals are highly sensitive to complexity drops: i.e. to situations that are simpler to describe than to explain. ● Core notion: Unexpectedness causal complexity about how the world generates the situation description complexity about how to identify the situation length of shortest program creating the situation instructions = causal operators length of shortest program determining the situation instructions = mental operators SIMULATION REPRESENTATION SIMULATION REPRESENTATION for the agent!!!
  • 112. Examples 22222222222222 is more unexpected than 21658367193445 (in a fair extraction)
  • 113. Examples 22222222222222 is more unexpected than 21658367193445 meeting Obama is more unexpected than meeting Dupont (in a fair extraction) Unexpectedness captures plausibility (or any other famous person) (or any other unknown person) meeting an old of friend of mine (or any other known person)
  • 114. Examples 22222222222222 is more unexpected than 21658367193445 meeting Obama is more unexpected than meeting Dupont (in a fair extraction) Unexpectedness captures plausibility (or any other famous person) (or any other unknown person) meeting an old of friend of mine (or any other known person) when CW (s) is the same, we look for low CD (s) informativity is maximized by maximizing unexpectedness
  • 115. ● Focusing on intensity, we can capture anticipation as: emotion what the situation induces to the agent reward model unexpectedness Simplicity Theory: Emotion emotion actualized emotion
  • 116. ● Focusing on intensity, we can capture anticipation as: ● Attention is intuitively associated to situations that might occur depending on their emotional impact. emotion what the situation induces to the agent reward model unexpectedness Simplicity Theory: Emotion emotion actualized emotion
  • 117. ● Fundamental principles: – situations with high anticipated emotion are relevant – situations with high unexpectedness are relevant Simplicity Theory: Relevance epithymically epistemically
  • 118. ● Fundamental principles: – situations with high anticipated emotion are relevant – situations with high unexpectedness are relevant ● Intuitively, contrast and similarity play a role with CD as they function with the most accessible references, i.e.: target is determined as proximate to simple references with respect to simple relations Simplicity Theory: Relevance
  • 119. ● Fundamental principles: – situations with high anticipated emotion are relevant – situations with high unexpectedness are relevant ● Why it is relevant to speak of hot coffees, rather than normal coffees? Simplicity Theory: Relevance
  • 120. ● Fundamental principles: – situations with high anticipated emotion are relevant – situations with high unexpectedness are relevant ● Why it is relevant to speak of hot coffees, rather than normal coffees? ● Several factors play a role: – descriptively simple (qualitatively distinctive, accessible references), – causally difficult (supposing a normal distribution of temperatures), – emotionally intense (as we might get burned with it). Simplicity Theory: Relevance
  • 121. ● Fundamental principles: – situations with high anticipated emotion are relevant – situations with high unexpectedness are relevant ● Why it is relevant to speak of hot coffees, rather than normal coffees? ● Several factors play a role: – descriptively simple (qualitatively distinctive, accessible references), – causally difficult (supposing a normal distribution of temperatures), – emotionally intense (as we might get burned with it). ● In the following I'll briefly present two additional tracks I've started studying, concerning CW (s) and E(s) Simplicity Theory: Relevance
  • 123. An experiment ● Causes play a central role in the way we conceptualize the world. ● But there is no established model about how people qualify a cause as pertinent (literally, holding together) to a specific event. Sileno, G., & Dessalles, J.-L. (2018). Qualifying Causes as Pertinent. Proceedings of the 40th Conference of the Cognitive Science Society (CogSci 2018)
  • 124. An experiment ● Causes play a central role in the way we conceptualize the world. ● But there is no established model about how people qualify a cause as pertinent (literally, holding together) to a specific event. ● We performed an experiment to compare: – the computation of actual causation via ● conterfactuals (structural equations) ● Bayesian inference ● Simplicity Theory – people's responses
  • 125. Johnny is 7 years old. In recent months his mother has been worried because he developed a craving for sweet things. She bought some pots of strawberry jam and put them into the larder (a small room near the kitchen). Then one afternoon she finds that Johnny has gone into the larder and has eaten half a pot of strawberry jam. Q1. Why is ”half a pot of jam gone”? a. because of Johnny’s gluttony b. because Johnny ate it c. because mother has put the pot in the larder Example of task
  • 126. Johnny is 7 years old. In recent months his mother has been worried because he developed a craving for sweet things. She bought some pots of strawberry jam and put them into the larder (a small room near the kitchen). Then one afternoon she finds that Johnny has gone into the larder and has eaten half a pot of strawberry jam. Q1. Why is ”half a pot of jam gone”? a. because of Johnny’s gluttony b. because Johnny ate it c. because mother has put the pot in the larder Example of task ● For each task, a model of the story is constructed, based on a general action-scheme motivation motive intention consequences action affordance
  • 127. Evaluation ● Measures based on probability: ● Measure based on complexity:
  • 128. Evaluation motivation motive intention consequences action affordance ● Measures based on probability: ● Measure based on complexity: computation using a Bayesian Network computation of complexities using minimal path search given a certain model:
  • 129. Evaluation motivation motive intention consequences action affordance ● Measures based on probability: ● Measure based on complexity: computation using a Bayesian Network Results: No probabilistic measure is consistently aligned. Causal contribution as defined by ST performs much better, and divergences can be explained by intervention of description complexity. computation of complexities using minimal path search given a certain model:
  • 131. ● In human societies, responsibility attribution is a spontaneous and seemingly universal behaviour. Responsibility attribution for humans 12 Angry Men, 1956Rashomon, 1950 Sileno, G., Saillenfest, A., & Dessalles, J.-L. (2017). A Computational Model of Moral and Legal Responsibility via Simplicity Theory. Proceedings of the 30th Int. Conf. on Legal Knowledge and Information Systems (JURIX 2017), FAIA 302, 171–176
  • 132. ● In human societies, responsibility attribution is a spontaneous and seemingly universal behaviour. ● Non-related ancient legal systems bear much resemblance to modern law and seem perfectly sensible nowadays. Responsibility attribution for humans Rashomon, 1950 12 Angry Men, 1956
  • 133. ● In human societies, responsibility attribution is a spontaneous and seemingly universal behaviour. ● Non-related ancient legal systems bear much resemblance to modern law and seem perfectly sensible nowadays. → responsibility attribution may be controlled by fundamental cognitive mechanisms. Responsibility attribution for humans 12 Angry Men, 1956Rashomon, 1950
  • 134. ● In human societies, responsibility attribution is a spontaneous and seemingly universal behaviour. ● Non-related ancient legal systems bear much resemblance to modern law and seem perfectly sensible nowadays. → responsibility attribution may be controlled by fundamental cognitive mechanisms. Responsibility attribution for humans Working hypothesis: attributions of moral and legal responsibility share a similar cognitive architecture 12 Angry Men, 1956Rashomon, 1950
  • 135. ● Experiments show that people are more prone to blame an agent for an action: flooded mine dilemma (trolley problem variation) [A. Saillenfest and J.-L. Dessalles. Role of Kolmogorov Complexity on Interest in Moral Dilemma Stories. CogSCI 2012, pages 947–952]
  • 136. ● Experiments show that people are more prone to blame an agent for an action: – the more the outcome is severe, – the more they are closer to the victims, – the more the outcome follows the action. flooded mine dilemma (trolley problem variation) [A. Saillenfest and J.-L. Dessalles. Role of Kolmogorov Complexity on Interest in Moral Dilemma Stories. CogSCI 2012, pages 947–952]
  • 137. ● Experiments show that people are more prone to blame an agent for an action: – the more the outcome is severe, – the more they are closer to the victims, – the more the outcome follows the action. ● The cognitive model of Simplicity Theory predicts these results. flooded mine dilemma (trolley problem variation) [A. Saillenfest and J.-L. Dessalles. Role of Kolmogorov Complexity on Interest in Moral Dilemma Stories. CogSCI 2012]
  • 138. ● Focusing on intensity, we can capture anticipation as: ● The anticipated emotion of doing a to reach s: emotion what the situation induces to the agent reward model unexpectedness Simplicity Theory: Emotion intention as driven by anticipated emotional effects
  • 139. Simplicity Theory: Moral responsibility ● Difference between intention* and moral responsibility is one of point of views. computed by A * For simplicity, we assume here that the action a has only a relevant outcome s and it has no impact on emotion, i.e. E(a*s) = E(s)
  • 140. Simplicity Theory: Moral responsibility ● Difference between intention and moral responsibility is one of point of views. computed by A computed by a model of A computed by an observer O
  • 141. Simplicity Theory: Moral responsibility ● Difference between intention and moral responsibility is one of point of views. computed by A computed by a model of A computed by an observer O prescribed role, reasonable standard reward model
  • 142. Simplicity Theory: Moral responsibility ● Difference between intention and moral responsibility is one of point of views. ● Introducing causal responsibility computed by A computed by a model of A computed by an observer O prescribed role, reasonable standard reward model
  • 143. Simplicity Theory: Moral responsibility actualized emotion causal responsibility conceptual remoteness inadvertence + + – – for observer O attributed to A attributed to Afor observer O
  • 144. Simplicity Theory: Moral responsibility actualized emotion causal responsibility conceptual remoteness inadvertence + + – – for observer O attributed to A attributed to Afor observer O ● From moral to legal responsibility: – equity before the law
  • 145. Simplicity Theory: Moral responsibility actualized emotion causal responsibility conceptual remoteness inadvertence + + – – for observer O attributed to A attributed to Afor observer O ● From moral to legal responsibility: – equity before the law – law, as a reward system, defines emotion
  • 146. Simplicity Theory: Moral responsibility actualized emotion causal responsibility conceptual remoteness inadvertence + + – – for observer O attributed to A attributed to Afor observer O ● From moral to legal responsibility: – equity before the law – law, as a reward system, defines emotion This enables to consider extrinsic commitments!
  • 147. Simplicity Theory: Moral responsibility actualized emotion causal responsibility conceptual remoteness inadvertence + + – – for observer O attributed to A attributed to Afor observer O ● From moral to legal responsibility: – equity before the law – law, as a reward system, defines emotion …
  • 149. The call for Explanaible AI (XAI) grounding experential (indirect)(direct) communicating conceptualizing experential normative ~ dog conditioning ~ child development adapted to rewards conscious of rewards
  • 150. The call for Explanaible AI (XAI) grounding experential (indirect)(direct) communicating conceptualizing experential normative automated decision-making need to be: ● non (primarily) statistical ● cognitively plausible ● linguistically competent ● able to take into account norms conscious of rewards
  • 151. Outlining the kernel of agency ● The core problem – of normative, epistemic and ontological alignment – is related to the different modalities that we, as agents, attribute to reality... collective individual physical
  • 152. Outlining the kernel of agency ● The core problem – of normative, epistemic and ontological alignment – is related to the different modalities that we, as agents, attribute to reality... collective individual physical This holds for humans, but also for artificial agents.