Answering Image Riddles using Vision and Reasoning through Probabilistic Soft Logic

Answering Image Riddles using Vision and Reasoning through
Probabilistic Soft Logic

Somak Aditya   Yezhou Yang   Chitta Baral
Arizona State University, Tempe, AZ
{saditya1,yz.yang,chitta}@asu.edu
   Yiannis Aloimonos
University of Maryland, College Park
yiannis@cs.umd.edu
Abstract

In this work, we explore a genre of puzzles (“image riddles”) which involves a set of images and a question. Answering these puzzles require both capabilities involving visual detection (including object, activity recognition) and, knowledge-based or commonsense reasoning. We compile a dataset of over 3k riddles where each riddle consists of images and a groundtruth answer. The annotations are validated using crowd-sourced evaluation. We also define an automatic evaluation metric to track future progress. Our task bears similarity with the commonly known IQ tasks such as analogy solving, sequence filling that are often used to test intelligence.

We develop a Probabilistic Reasoning-based approach that utilizes probabilistic commonsense knowledge to answer these riddles with a reasonable accuracy. We demonstrate the results of our approach using both automatic and human evaluations. Our approach achieves some promising results for these riddles and provides a strong baseline for future attempts. We make the entire dataset and related materials publicly available to the community in ImageRiddle Website (http://bit.ly/22f9Ala).

1 Introduction

Figure 1: An Image Riddle Example. Question: “What word connects these images?” .

A key component of computer vision is understanding of images and it comes up in various tasks such as image captioning and visual question answering (VQA). In this paper, we propose a new task of “image riddles” which requires deeper and conceptual understanding of images. In this task a set of images are provided and one needs to find a concept (described in words) that is invoked by all the images in that set. Often the common concept is not something that even a human can observe in her first glance but can come up with after some thought about the images. Hence the word “riddle” in the phrase “image riddles”. Figure 1 shows an example of an image riddle. The images individually connect to multiple concepts such as: outdoors, nature, trees, road, forest, rainfall, waterfall, statue, rope, mosque etc. On further thought, the common concept that emerges for this example is “fall”. Here, the first image represents the fall season (concept). There is a “waterfall” (region) in the second image. In the third image, it shows “rainfall” (concept) and the fourth image depicts that a statue is “fall”ing (action/event). The word “Fall” is invoked by all the images as it shows logical connections to objects, regions, actions or concepts specific to each image.

In addition, the answer also connects the most significant111Formally, an aspect is as significant as the specificity of the information it contains. aspects of the images. Other possible answers like “nature” or “outdoors” do not demonstrate such properties. They are too general. In essence, image riddles is a challenging task that not only tests our ability to detect visual items in a set of images, but also tests our knowledge and our ability to think and reason.

Based on the above analysis, we argue that a system should have the following capabilities to answer Image Riddles appropriately: i) the ability to detect and locate the objects, regions, and their properties; ii) the ability to recognize actions; iii) the ability to infer concepts from the detected words; and iv) the ability to rank a concept (described in words) based on its relative appropriateness; in other words, the ability to reason with and process background or commonsense knowledge about the semantic similarity and relations between words and phrases. These capabilities, in fact, are also desired of any automated system that aims to understand a scene and answer questions about it. For example, in VQA dataset [1], “Does this man have children”, “Is this a vegetarian Pizza?” are some such examples, where one needs explicit commonsense knowledge.

These riddles can be thought of as a visual counterpart to IQ test question types such as sequence filling and analogy solving 222Examples are: word analogy tasks (male : female :: king : ?); numeric sequence filling tasks: . where one needs to find commonalities between items. This task is different from traditional VQA, as in VQA the queries provide some clues regarding what to look for in the image in question. Most riddles in this task require both superior detection and reasoning capabilities, whereas a large percentage (of questions) of the traditional VQA dataset tests system’s detection capabilities. This task differs from both VQA and Captioning in that this task requires analysis of multiple images. While video analysis may require analysis of multiple images, this task of “image riddles” focuses on analysis of seemingly different images.

Hence, this task of Image Riddles is simple to explain; shares similarities with well-known and pre-defined types of IQ questions and it requires a combination of vision and reasoning capabilities. In this paper, we introduce a promising approach in tackling the problem.

In our approach, we first use state-of-the-art Image Classification techniques [21] to get the top identified class-labels from each image. Given these probabilistic detections, we use the knowledge of connections and relations of these words to infer a set of most probable words (or phrases). We use ConceptNet 5 [15] as the source of commonsense and background knowledge that encodes the relations between words and short phrases using a structured graph. Note, the possible range of candidates are the entire vocabulary of ConceptNet 5 (roughly 0.2 million). For representation and reasoning with this huge probabilistic knowledge we use the Probabilistic Soft Logic (PSL) [10, 2] framework333PSL is shown to be a powerful framework for high-level Computer Vision tasks like Activity Detection [16].. Given the inferred words for each image, we then infer the final set of answers for each riddle.

Our contributions are threefold: i) we introduce the 3K Image Riddles Dataset; ii) we present a probabilistic reasoning approach to solve the riddles with reasonable accuracy; iii) our reasoning module inputs detected words (a closed set of class-labels) and logically infers all relevant concepts (belonging to a much larger vocabulary).

2 Related Work

The problem of Image Riddles has some similarities to the genre of topic modeling [3] and Zero-shot Learning [13]. However, this dataset imposes a few unique challenges: i) the possible set of target labels is the entire Natural Language vocabulary; ii) each image, when grouped with different set of images can map to a different label; iii) almost all the target labels in the dataset are unique (3k examples with 3k class-labels). These challenges make it hard to directly adopt topic model-based or Zero-shot learning-based approaches.

Our work is also related to the field of Visual Question Answering. Very recently, researchers spent a significant amount of efforts on both creating datasets and proposing new models [1, 18, 6, 17]. Interestingly both [1] and [6] adapted MS-COCO [14] images and created an open domain dataset with human generated questions and answers. Both [18] and [6] use recurrent networks to encode the sentence and output the answer.

Even though some questions from [1] and [6] are very challenging which actually require logical reasoning in order to answer correctly, popular approaches are still hoping to learn the direct signal-to-signal mapping from image and question to its answer, given a large enough annotated data. The necessity of common-sense reasoning could be easily neglected. Here we introduce the new Image Riddle problem which is 1) a well-defined cognitively challenging task that requires both vision and reasoning capability, 2) it is impossible to model the problem as direct signal-to-signal mapping, due to the data sparsity and 3) system’s performance could still be bench-marked automatically for comparison. All these qualities make our Image Riddle dataset a good testbed for vision and reasoning research.

3 Background

In this Section, we briefly introduce the different techniques and Knowledge Sources used in our system.

3.1 Probabilistic Soft Logic (PSL)

PSL is a recently proposed framework for Probabilistic Logic [10, 2]. A PSL model is defined using a set of weighted if-then rules in first-order logic.

Let be such a collection where each is a disjunction of literals, where each literal is a variable or its negation , where . Let (resp. ) be the set of indices of the variables that are not negated (resp. negated) in . Each can be written as:

(1)

or equivalently, . Each rule is associated with a non-negative weight . PSL relaxes the boolean truth values of each ground atom (constant term or predicate with all variables replaced by constants) to the the interval [0, 1], denoted by . To compute soft truth values for logical formulas, Lukasiewicz’s relaxation [11] of conjunctions (), disjunctions () and negations () is used :

(2)

In PSL, the ground atoms are considered as random variables and the distribution is modeled using Hinge-Loss Markov Random Field, which is defined as follows:

Definition 3.1.

Let and be two vectors of and random variables respectively, over the domain . The feasible set is a subset of , defined as:

where are linear constraint functions associated with the index sets and denoting equality and inequality constraints. A Hinge-Loss Markov Random Field is a probability density, defined as: if , then ; if , then:

(3)

where

The hinge-loss energy function is defined as: where ’s are non-negative free parameters and are linear constraints over and .

The final inference objective of HL-MRF is:

(4)

In PSL, each logical rule in the database is used to define i.e. the linear constraints over . Given a set of weighted logical formulas, PSL builds a graphical model defining a probability distribution over the continuous space of values of the random variables in the model.

The final optimization problem is defined in terms of “distance to satisfaction”. For each rule this distance to satisfaction is measured using the term . This encodes the penalty to the system if a rule is not satisfied. The final optimization problem becomes:

(5)

3.2 ConceptNet

ConceptNet [22], is a multilingual Knowledge Graph, that encodes commonsense knowledge about the world and is built primarily to assist systems that attempts to understand natural language text. The knowledge in ConceptNet is semi-curated. The nodes (called concepts) in the graph are words or short phrases written in natural language. The nodes are connected by edges (called assertions) which are labeled with meaningful relations (selected from a well-defined closed set of relation-labels). For example: (reptile, IsA, animal), (reptile, HasProperty, cold blood) are some edges. Each edge has an associated confidence score. Also, compared to other knowledge-bases like WordNet, YAGO, NELL [23, 20]; ConceptNet has a more extensive coverage of English language words and phrases. These properties make this Knowledge Graph a perfect source for the required probabilistic commonsense knowledge.

3.3 Word2vec

Word2vec uses the theory of distributional semantics444The central idea is: “a word is known by the company it keeps”. to capture word meanings and produce word embeddings (vectors). The pre-trained word-embeddings have been successfully used in numerous Natural Language Processing applications and the induced vector-space is known to capture the graded similarities between words with reasonable accuracy [19]. Throughout the paper, for word2vec-based similarities, we use the 3 Million word-vectors trained on Google-News corpus [19].

4 Approach

Given a set of images (in our case four: ), the objective is to determine a set of ranked words () based on how well the word semantically connects these image. In this work, we present an approach that uses Probabilistic Reasoning on top of a probabilistic Knowledge Base (ConceptNet). It also uses additional semantic knowledge of words from Word2vec. Using these knowledge sources, we predict the answers to the riddles.

4.1 Outline of our Framework

1:procedure UnRiddler()
2:     for   do
3:          = getClassLabelsNeuralNetwork().
4:         for  do
5:               = retrieveTargets();
6:         end for
7:          = rankTopTargets();
8:          = inferConfidenceStageI().
9:     end for
10:      = inferConfidenceStageII().
11:end procedure
Algorithm 1 Solving Riddles

As outlined in algorithm 1, for each image (here, ), we follow three stages to infer related words and phrases: i) Image Classification: we get top class labels and the confidence from Image Classifier (), ii) Rank and Retrieve: using these labels and confidence scores, we rank and retrieve top related words from ConceptNet (), iii) Probabilistic Reasoning and Inference (Stage I): using the labels () and the top related words (), we design an inference model to logically infer final set of words () for each image. Lastly, we use another probabilistic reasoning model (Stage II) on the combined set of inferred words (targets) from all images in a riddle. This model assigns the final confidence scores on the combined set of targets (). The pipeline followed for each image is depicted with an example in Figure 2.

Figure 2: An overview of the framework followed for each Image; demonstrated using an example image of an aardvark (resembles animals such as tapir, ant-eater). We run a similar pipeline for each image and then infer final results using a final Probabilistic Inference Stage (Stage II).

4.2 Image Classification

Neural Networks trained on ample source of images and numerous image classes has been very effective. Studies have found that convolutional neural networks (CNN) can produce near human level image classification accuracy [12], and related work has been used in various visual recognition tasks such as scene labeling [5] and object recognition [7]. To exploit these advances, we use the state-of-the-art class detections provided by the Clarifai API [21] and the Deep Residual Network Architecture by [8] (using the trained ResNet-200 model). For each image () we use top 20 detections (). Let us call these detections as . An example is provided in the Figure 2. Each detection is accompanied with the classifier’s confidence score ().

4.3 Rank and Retrieve Related Words

Our goal is to logically infer words or phrases that represent (higher or lower-level) concepts that can best explain the co-existence of the seeds in a scene. Say, for “hand” and “care”, implied words could be “massage”, “ill”, “ache” etc. For “transportation” and “sit”, implied words/phrases could be “sit in bus”, “sit in plane” etc. The reader might be inclined to infer other concepts. However, to “infer” is to derive “logical” conclusions. Hence, we prefer the concepts which shares strong explainable connections with the seed-words.

A logical choice would be traversing a knowledge-graph like ConceptNet and find the common reachable nodes from these seeds. As this is computationally quite infeasible, we use the association-space matrix representation of ConceptNet, where the words are represented as vectors. The similarity between two words approximately embodies the strength of the connection over all paths connecting the two words in the graph. We get the top similar words for each seed, approximating the reachable nodes.

4.3.1 Retrieve Related Words For a Seed

Visual Similarity: We observe that, for objects, the ConceptNet-similarity gives a poor result (See Table 1). So, we define a metric called visual similarity. Let us call the similar words as targets. In this metric, we represent the seed and the target as vectors. To define the dimensions, for each seed, we use a set of relations (HasA, HasProperty, PartOf and MemberOf). We query ConceptNet to get the related words (say, W1,W2,W3…) under such relations for the seed-word and its superclasses. Each of these relation-word pairs (i.e. HasA-W1,HasA-W2,PartOf-W3,…) becomes a separate dimension. The values for the seed-vector are the weights assigned to the assertions. For each target, we query ConceptNet and populate the target-vector using the edge-weights for the dimensions defined by the seed-vector.

To get the top words using visual similarity, we use the cosine similarity of the seed-vector and the target-vector to re-rank the top retrieved similar target-words using ConceptNet-similarity. For abstract seed-words, we do not get any such relations and we use the ConceptNet similarity directly.

ConceptNet Visual Similarity word2vec
man, merby, misandrous,
philandry, male_human,
dirty_pig, mantyhose,
date_woman,guyliner,manslut
priest, uncle, guy,
geezer, bloke, pope,
bouncer, ecologist,
cupid, fella
women, men, males,
mens, boys, man, female,
teenagers,girls,ladies
Table 1: Top 10 similar Words for “Men”. More in appendix.

Table 1 shows the top similar words using ConceptNet, word2vec and visual-similarity for the word “men”. Moreover, the ranked list based on visual-similarity ranks boy, chap, husband, godfather, male_person, male in the ranks to .

Formulation: For each seed (), we get the top words () from ConceptNet using the visual similarity metric and the similarity vector . Together for an image, these constitute and the matrix , where . Next we describe the defined similarity metric.

A large percentage of the error in Image Classifiers are due to visually similar (or semantically similar) objects or objects from the same category [9]. In such cases, we use this visual similarity metric to predict the possible visually similar objects and then use an inference model to infer the actual object.

4.3.2 Rank Targets

We use as an approximate vector representation for the image, in which the seed-words are the dimensions. The columns of provides vector representations for the target words () in the space. We calculate cosine similarities for each target with such a image-vector and then re-rank the targets. We consider the top targets and we call it .

4.4 Probabilistic Reasoning and Inference

4.4.1 PSL Inference Stage I

Given a set of candidate targets and a set of weighted seeds (), we build an inference model to infer a set of most probable targets (). We model the joint distribution using PSL as this formalism adopts Markov Random Field which obeys the properties of Gibbs Distribution. In addition, a PSL model is declared using rules. Given the final answer from the system, the set of satisfied (grounded) rules show the logical connections between the detected words and the final answer, which demonstrates the system’s explainability.

The PSL model can be best depicted as an Undirected Graphical Model involving seeds and targets, as given in Figure 3.

Figure 3: Joint Modeling of seeds and targets, depicted as a Undirected Graphical Model. We define the seed-target and target-target potentials using PSL rules. We connect each seed to each target and the potential depends on their similarity and the target’s popularity bias. We connect each target to (1 or 2) maximally similar targets. The potential depends on their similarity.

Formulation: Using PSL, we add two sets of rules: i) to define seed-target potentials, we add rules of the form for each word and target ; ii) to define target-target potentials, for each target , we take the most similar targets (). For each target and each , we add two rules and . Next, we describe the choices in detail.

i) From the perspective of optimization, the rule adds the term to the objective. This means that if confidence score of the target is not greater than (i.e. ), then the rule is not satisfied and we penalize the model by times the difference between the confidence scores. We add the above rule for seeds and targets for which the combined weighted similarity exceeds certain threshold .

We encode the commonsense knowledge of words and phrases obtained from different knowledge sources into the weights of these rules . Both the knowledge sources are considered because ConceptNet embodies commonsense knowledge and word2vec encodes word-meanings. It is also important that the inference model is not biased towards more popular targets (i.e. abstract words or words too commonly used/detected in corpus). We compute eigenvector centrality score () for each word in the context of ConceptNet (a network of words and phrases). Higher indicates higher connectivity of a word in the graph. This yields a higher similarity score to many words and might give an unfair bias to this target in the inference model. Hence, the higher the , the word provides less specific information for an image. Hence, the weight becomes

(6)

where is the normalized ConceptNet-based similarity. is the normalized word2vec similarity of two words and is the eigenvector-centrality score of the argument in the ConceptNet matrix.

ii) To model dependencies among the targets, we observe that if two concepts and are very similar in meaning, then a system that infer should infer too, given the same set of observed words. Therefore, the two rules and are designed to force the confidence values of and to be as close to each other as possible. is the same as Equation 6 without the penalty for popularity.

The combined PSL model inference objective becomes:

To let the targets compete against each other, we add a constraint on the sum of the confidence scores of the targets i.e. . Here and . As a result of this model, we get an inferred reduced set of targets .

4.4.2 PSL Inference Stage II

To learn the most probable set of common targets jointly, we consider the targets and the seeds from all images together. Assume that the seeds and the targets are nodes in a knowledge-graph. Then, the most appropriate target-nodes should observe similar properties as an appropriate answer to the riddle: i) a target-node should be connected to the high-weight seeds in an image i.e. should relate to the important aspects of the image; ii) a target-node should be connected to seeds from all images.

Formulation: Here, we use the rules for each word and target for all . To let the set of targets compete against each other, we add the constraint . Here and .

To minimize the penalty for each rule, the optimal solution will try to maximize the confidence score of . To minimize the overall penalty, it should maximize the confidence scores of those targets which will satisfy most of the rules (or rules with maximum total weight). As the summation of confidence scores is bounded, only a few top inferred targets should have non-zero confidence.

5 Experiments and Results

In this section, we provide the results of the validation experiments of the newly introduced Image Riddle dataset, followed by empirical evaluation of the proposed approach against vision-only baselines.

5.1 Dataset Validation and Analysis

We have collected a set of riddles from the internet (puzzle websites). Each riddle has images (, 6KB in size) and a groundtruth label associated with it. To verify the groundtruth answers, we define the metrics: i) “correctness” - how correct and appropriate the answers are, and ii) “difficulty” - how difficult are the riddles. We conduct an Amazon Mechanical Turker-based evaluation. We ask them to rate the correctness from 1-65551: Completely gibberish, incorrect, 2: relates to one image, 3 and 4: connects two and three images respectively, 5: connects all 4 images, but could be a better answer, 6: connects all images and an appropriate answer.. The “difficulty” is rated from 1-7666These gradings are adopted from VQA AMT instructions [1]. 1: A toddler can solve it (ages:3-4), 2: A younger child can solve it (ages:5-8), 3: A older child can solve it (ages:9-12), 4: A teenager can solve it (ages:13-17), 5: An adult can solve it (ages:18+), 6: Only a Linguist (one who has above-average knowledge about English words and the language in general) can solve it, 7: No-one can solve it.. According to the Turkers, the mean correctness rating is 4.4 (with Standard Deviation 1.5). The “difficulty” ratings show the following distribution: toddler (), younger child (), older child (), teenager (), adult (), linguist (), no-one (). In short, the average age to answer the riddles seems to be closer to 13-17yrs. Also, few of these () riddles seem to be incredibly hard. Interestingly, the average age perceived reported for the recently proposed VQA dataset [1] is 8.92 yrs. Although, this experiment measures “the turkers’ perception of the required age”, one can conclude that the riddles are comparably harder.

5.2 System Evaluation

The presented approach suggests the following hypotheses that requires empirical tests: I) the proposed approach (and their variants) attain reasonable accuracy in solving the riddles; II) the individual stages of the framework improves the final inference accuracy of the answers. In addition, we also experiment to observe the effect of using commercial classification methods like Clarifai against a published state-of-the-art Image Classification method.

5.2.1 Systems

We propose several variations of the proposed approach and compare them with a simple vision-only baseline (hypothesis I). We introduce an additional Bias-Correction stage after the Image Classification, which aims to re-weight the detected seeds using additional information from other images. The variations then, are created to test the effects of varying the Bias-Correction stage and the effects of the individual stages of the framework on the final accuracy (hypothesis II). We also vary the initial Image Classification Method (Clarifai, Deep Residual Network).

Bias-Correction: We experimented with two variations: i) greedy bias-correction and ii) no bias-correction. We follow the intuition that the re-weighting of the seeds of one image can be influenced by the others777A person would often skim through all the images at one go and will try to come up with the aspects that needs more attention.. To this end, we develop the “GreedyUnRiddler” (GUR) approach. In this approach, we consider all of the images together to dictate the new weight of each seed. Take image for example. To re-weight seeds in , we calculate the weights using the following equation: . is vector of the weights assigned i.e. confidence scores of each seed in the image. Each element of is the ConceptNet-similarity score between the seed and i.e. the seed of the image. The re-weighted seeds () of an image are then passed through the rest of the pipeline to infer the final answers.

In the original pipeline (“UnRiddler”,in short UR), we just normalize the weights of the seeds and pass on to the next stage. We experiment with another variation (called BiasedUnRiddler or BUR), the results of which are included in appendix, as GUR achieves the best results.

Effect of Stages: We observe the accuracy after each stage in the pipeline (VB: Upto Bias Correction, RR: Upto Rank and Retrieve stage, All: The entire Pipeline). For VB, we use the normalized weighted seeds, get the weighted centroid vector over the word2vec embeddings of the seeds for each image. Then we obtain the mean vector over these centroids. The top similar words from the word2vec vocabulary to this mean vector, constitutes the final answers. For RR, we get the mean vector over the top predicted targets for all images. Again, the most similar words from the word2vec vocabulary constitutes the answers.

Baseline: We create Vision-only Baselines. We directly use the class-labels and the confidence scores predicted using a Neural Network-based Classifier. For each image, we calculate the weighted centroid of the word2vec embeddings of these labels and the mean of these centroids for the 4 images. For the automatic evaluation we use this centroid and for the human evaluation, we use the most similar word to this vector, from the word2vec vocabulary. The Baseline performances are listed in Table 2 in the VB+UR cells.

5.2.2 Experiment I: Automatic Evaluation

We evaluate the performance of the proposed approach on the 3333 Image Riddles dataset using both automatic and Amazon Mechanical Turker (AMT)-based evaluations.

As an evaluation metric, we use word2vec similarity measure. An answer to a riddle may have several semantically similar answers. Hence it is reasonable to use such a metric. For each riddle, we calculate the maximum similarity between the groundtruth and top 10 detections from an approach. To calculate phrase similarities, we use n_similarity method of the gensim.models.word2vec package. The average of such maximum similarities is reported in percentage form.

GUR UR
3.3k 2.8k 3.3k 2.8k
Clarifai VB 65.3 65.36 65 65.3
RR 65.9 65.73 65.9 65.7
All 68.8* 68.7 68.5 68.57
ResNet VB 66.8 66.4 68.3 68
RR 66.3 66.2 67 66.7
All 68.2 68.2 68.53 68.2
Table 2: Accuracy on the Image Riddle Dataset. Pipeline variants (VB, RR and All) are combined with Bias-Correction stage variants (GUR, UR). All values are in percentage form. (*- Best, - Baselines).
Number of Targets 2500
ConceptNet-similarity Weight 1
word2vec-similarity weight 4
Number of maximum similar Targets 1
Seed-target similarity Threshold 0.8
Sum of confidence scores in Stage I 2
Table 3: A List of parameters used in the approach

To select the parameters in the parameter vector , We employed a random search on the parameter-space over first 500 riddles over combinations. The final set of parameters used and their values are tabulated in Table 3.

Each of the stage-variants (VB, RR and All) are combined with different variations of the Bias-Correction stage (GUR and UR respectively). The accuracies on all are listed in Table 2. We provide our experimental results on this riddles and riddles (barring riddles we used for the parameter search).

5.2.3 Experiment II: Human Evaluation

We conduct an AMT-based comparative evaluation of the results of the proposed approach (GUR+All using Clarifai) and two vision-only baselines. We define two metrics: i) “correctness” and ii) “intelligence”. Turkers are presented with a scenario: We have three separate robots that attempted to answer this riddle. You have to rate the answer based on the correctness and the degree of intelligence (explainability) shown through the answer.. The correctness is defined as before. In addition, turkers are asked to rate intelligence in a scale of 1-48881: Not intelligent, 2: Moderately Intelligent, 3: Intelligent, 4: Very Intelligent.. We plot the the percentage of total riddles per each value of correctness and intelligence in Figure 4. In these histograms plots, we expect a increase in the rightmost buckets for the more “correct” and “intelligent” systems.

(a)
(b)
Figure 4: AMT Results of The GUR+All (our), Clarifai (baseline 1) and ResidualNet (baseline 2) approaches. Correctness Means are: , , . For Intelligence:

5.2.4 Analysis

(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)
(j)
(k)
(l)
(m)
(n)
(o)
(p)
(q)
(r)
Figure 5: Positive and Negative (in red) results of the “GUR” approach (GUR+All variant) on some of the riddles. The groudtruth labels, closest label among top 10 from GUR and the Clarifai baseline are provided for all images. For more results, check Appendix and the ImageRiddle website (http://bit.ly/1Rj4tFc).

Experiment I shows that the GUR variant (GUR+All in Table 2) achieves the best results in terms of word2vec-based accuracy. Similar trend is reflected in the AMT-based evaluations (Figure 4). Our system has increased the percentage of puzzles for the rightmost bins i.e. produces more “correct” and “intelligent” answers for more number of puzzles. The word2vec-based accuracy puts the performance of ResNet baseline close to that of the GUR variant. However, as evident from Figure 4, the AMT evaluation of the correctness shows clearly that the ResNet baseline lags in predicting meaningful answers. Experiment II also includes what the turkers think about the intelligence of the systems that tried to solve the puzzles. This also puts the GUR variant at the top. The above two experiments empirically show that our approach achieves a reasonable accuracy in solving the riddles (Hypothesis I). In table 2, we observe how the accuracy varies after each stage of the pipeline (hypothesis II). The table shows a jump in the accuracy after the RR stage, which leads us to believe the primary improvement of our approach is attributed to the Probabilistic Reasoning model. We also provide our detailed results for the “GUR” approach using a few riddles in Figure 5.

6 Conclusion and Future Works

In this work, we presented a Probabilistic Reasoning based approach to solve a new class of image puzzles, called “Image Riddles”. We have collected over 3k such riddles. Crowd-sourced evaluation of the dataset demonstrates the validity of the annotations and the nature of the difficulty of the riddles. We empirically show that our approach improves on vision-only baselines and provides a stronger baseline for future attempts.

The task of “Image Riddles” is equivalent to conventional IQ test questions such as analogy solving, sequence filling; which are often used to test human intelligence. This task of “Image Riddles” is also in line with the current trend of VQA datasets which require visual recognition and reasoning capabilities. However, it focuses more on the combination of both vision and reasoning capabilities. In addition to the task, the proposed approach introduces a novel inference model to infer related words (from a large vocabulary) given class labels (from a smaller set), using semantic knowledge of words. This method is general in terms of its applications. Systems such as [24], which use a collection of high-level concepts to boost VQA performance; can benefit from this approach.

References

  • [1] S. Antol, A. Agrawal, J. Lu, M. Mitchell, D. Batra, C. L. Zitnick, and D. Parikh. Vqa: Visual question answering. In International Conference on Computer Vision (ICCV), 2015.
  • [2] S. Bach, B. Huang, B. London, and L. Getoor. Hinge-loss markov random fields: Convex inference for structured prediction. arXiv preprint arXiv:1309.6813, 2013.
  • [3] D. M. Blei. Probabilistic topic models. Commun. ACM, 55(4):77–84, Apr. 2012.
  • [4] M. Brysbaert, A. B. Warriner, and V. Kuperman. Concreteness ratings for 40 thousand generally known english word lemmas. Behavior research methods, 46(3):904–911, 2014.
  • [5] C. Farabet, C. Couprie, L. Najman, and Y. LeCun. Learning hierarchical features for scene labeling. Pattern Analysis and Machine Intelligence, IEEE Transactions on, 35(8):1915–1929, 2013.
  • [6] H. Gao, J. Mao, J. Zhou, Z. Huang, L. Wang, and W. Xu. Are you talking to a machine? dataset and methods for multilingual image question answering. arXiv preprint arXiv:1505.05612, 2015.
  • [7] R. Girshick, J. Donahue, T. Darrell, and J. Malik. Rich feature hierarchies for accurate object detection and semantic segmentation. In Computer Vision and Pattern Recognition (CVPR), 2014 IEEE Conference on, pages 580–587. IEEE, 2014.
  • [8] K. He, X. Zhang, S. Ren, and J. Sun. Deep residual learning for image recognition. arXiv preprint arXiv:1512.03385, 2015.
  • [9] D. Hoiem, Y. Chodpathumwan, and Q. Dai. Diagnosing error in object detectors. In European conference on computer vision, pages 340–353. Springer, 2012.
  • [10] A. Kimmig, S. Bach, M. Broecheler, B. Huang, and L. Getoor. A short introduction to probabilistic soft logic. In Proceedings of the NIPS Workshop on Probabilistic Programming: Foundations and Applications, pages 1–4, 2012.
  • [11] G. Klir and B. Yuan. Fuzzy sets and fuzzy logic: theory and applications. 1995.
  • [12] A. Krizhevsky, I. Sutskever, and G. E. Hinton. Imagenet classification with deep convolutional neural networks. In Advances in neural information processing systems, pages 1097–1105, 2012.
  • [13] H. Larochelle, D. Erhan, Y. Bengio, U. D. Montréal, and M. Québec. Zero-data learning of new tasks. In In AAAI, 2008.
  • [14] T.-Y. Lin, M. Maire, S. Belongie, J. Hays, P. Perona, D. Ramanan, P. Dollár, and C. L. Zitnick. Microsoft coco: Common objects in context. In Computer Vision–ECCV 2014, pages 740–755. Springer, 2014.
  • [15] H. Liu and P. Singh. Conceptnet - a practical commonsense reasoning tool-kit. BT Technology Journal, 22(4):211–226, Oct. 2004.
  • [16] B. London, S. Khamis, S. Bach, B. Huang, L. Getoor, and L. Davis. Collective activity detection using hinge-loss markov random fields. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, pages 566–571, 2013.
  • [17] L. Ma, Z. Lu, and H. Li. Learning to answer questions from image using convolutional neural network. arXiv preprint arXiv:1506.00333, 2015.
  • [18] M. Malinowski, M. Rohrbach, and M. Fritz. Ask your neurons: A neural-based approach to answering questions about images. arXiv preprint arXiv:1505.01121, 2015.
  • [19] T. Mikolov, K. Chen, G. Corrado, and J. Dean. Efficient estimation of word representations in vector space. arXiv preprint arXiv:1301.3781, 2013.
  • [20] T. Mitchell, W. Cohen, E. Hruschka, P. Talukdar, J. Betteridge, A. Carlson, B. Dalvi, M. Gardner, B. Kisiel, J. Krishnamurthy, N. Lao, K. Mazaitis, T. Mohamed, N. Nakashole, E. Platanios, A. Ritter, M. Samadi, B. Settles, R. Wang, D. Wijaya, A. Gupta, X. Chen, A. Saparov, M. Greaves, and J. Welling. Never-ending learning. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15), 2015.
  • [21] G. Sood. clarifai: R Client for the Clarifai API, 2015. R package version 0.2.
  • [22] R. Speer and C. Havasi. Representing general relational knowledge in conceptnet 5. 2012.
  • [23] F. M. Suchanek, G. Kasneci, and G. Weikum. Yago: A core of semantic knowledge. In Proceedings of the 16th International Conference on World Wide Web, WWW ’07, pages 697–706, New York, NY, USA, 2007. ACM.
  • [24] Q. Wu, C. Shen, L. Liu, A. Dick, and A. v. d. Hengel. What value do explicit high level concepts have in vision to language problems? arXiv preprint arXiv:1506.01144, 2015.

Appendices

Appendix A BiasedUnRiddler (BUR): A Variation of the BiasCorrection Stage

Figure 6: Clarifai detections and results from different stages for the aardvark image (for BUR variant).

In Figure 6: dinosaur, animal and reptile all provide evidence that the image has an animal. Only the word dinosaur indicates what kind of animal is in the image. The other words do not add any additional information. Some high-confidence detections also provide erroneous abstract information. Here, the labels monstrous, monster are some such detections. Hence, the objective is to re-weight the seeds so that: i) the more specific seed-words should have higher weight than the ones which provide similar but more general information; ii) the seeds that are too frequently used or detected in corpus, should be given lower weights.

Specificity and Popularity: We compute eigenvector centrality score () for each word in the context of ConceptNet. Higher indicates higher connectivity and yields a higher similarity score to many words and might give an unfair bias to this seed (and words implied by this seed) in the inference model. Hence, the higher the , the word provides less specific information for an image. Additionally, we use the concreteness rating () from [4]. In this paper, the top frequent English words are rated from the scale of 1 (very abstract) to 5 (very concrete). For example, the mean ratings for monster, animal and dinosaur are and respectively.

Problem Formulation: We formulate the problem as a resource flow problem on a graph. The directed graph is constructed in the following way: we order the seeds based on decreasing centrality scores (). We compute as:

(7)

where we normalize and to the scale of 0 to 1. For each seed , we check the immediate next node and add an edge if the (ConceptNet-based) similarity between and is greater than 999 denotes the set of parameters used in the model. . If in this iteration, a node is not added in , we get the most recent predecessor for which the similarity exceed and add . The idea is that if a word is more abstract than and if they are quite similar in terms of conceptual similarity, then word provides similar but more specific information than word . Each node has a resource , the confidence assigned by the Neural Network. If there is an edge from the node, some of this resource should be sent along this edge until for all edges , becomes greater than . We formulate the problem as a Linear Optimization problem:

subject to

To limit the resource a node can send, we limit the final minimum value by . The solution provides us with the necessary weights for the set of seeds in . We normalize these weights and get .

Appendix B Intermediate Results for the “Aardvark” Riddle

Figure 7: The four different Images for the “aardvark” riddle.

From the four figures in Figure 7, we get the top 20 Clarifai detections as given in the Table 4.

Image1 Image2 Image3 Image4
monster food fun rock
jurassic small retro nobody
monstrous vector clip travel
primitive dinosaur halloween water
lizard wildlife set sea
paleontology cartoon border aquatic
vertebrate nature messy outdoors
dinosaur evolution ink sand
creature reptile design beach
wildlife outline ornate bird
nature cute decoration wildlife
evolution sketch ornament biology
reptile painting vector zoology
wild silhouette contour carnivora
horizontal horizontal cartoon nature
illustration art cute horizontal
animal illustration silhouette animal
side view graphic art side view
panoramic animal illustration panoramic
mammal panoramic graphic mammal
Table 4: Top 20 detections from Calrifai API. The detections that are completely noisy is colored using red. It can be observed that the third image does not give any evidence of an animal present.
Image1 Image2 Image3 Image4
dolphin graph_toughness decorative bison
rhinoceros cartography graph_toughness american_bison
komodo_dragon color_paint graph marsupial
african_elephant graph artwork gibbon
lizard spectrograph spectrograph monotreme
gorilla revue kesho_mawashi moose
crocodile linear_functional tapestry mole
indian_elephant simulacrum map wildebeest
wildebeest pen_and_ink arabesque echidna
elephant luck_of_draw sgraffito turtle
echidna cartoon linear_functional mule_deer
chimaera camera_lucida hamiltonian_graph mongoose
chimpanzee explode_view emblazon tamarin
liger micrographics pretty_as_picture chimpanzee
gecko hamiltonian_graph art_deco wolverine
rabbit crowd_art dazzle_camouflage prairie_dog
iguana depiction ecce_homo western_gorilla
hippopotamus echocardiogram pointillist anteater
mountain_goat scenography pyrography okapi
loch_ness_monster linear_perspective echocardiogram skunk
Table 5: Top 20 detections per each image from PSL Stage I (GUR).

Based on the GUR approach (GUR+All in paper), our PSL Stage I outputs probable concepts (words or phrases) depending on the initial set of detected class-labels (seeds). They are provided in Table 5. Note that, these are the top targets detected from almost 0.2 million possible candidates. Observe the following:

i) the highlighted detected animals have a few visual features in common, such as four short legs, a visible tail, short height etc.

ii) the detections from the third image does not at all lead us to an animal and the PSL Stage I still thinks that its a cartoon of sort.

iii) the detections from second gets affected because of its close relation to the detections from third image and it infers that the image just depicts cartoon.

In the final PSL Stage II however, the model figures out that there is an animal that is common to all these images. This is mainly because seeds from the three images confidently predict that some animal is present in the images. That is why most of the top detections correspond to animals and animals having certain characteristics in common.

The top detections from PSL Stage II (GUR) are: monotreme, gecko, hippopotamus, pyrography, anteater, lizard, mule_deer, chimaera, liger, iguana, komodo_dragon, echidna, turtle, art_deco, sgraffito, gorilla, loch_ness_monster, prairie_dog.

BUR: For BUR, PSL Stage I outputs probable concepts (words or phrases) depending on the current set of seeds. They are provided in the Table 6. Observe that the individual detections are better compared to GUR101010The output from the PSL Stage I for BUR, is completely independent of the other images. In essence, for each image, we are predicting all relevant concepts from a large vocabulary given a few detections from a small set of class-labels..

Image1 Image2 Image3 Image4
panda like_paint hamiltonian_graph giraffe
dolphin projective_geometry graph_toughness waterbuck
african_forest_elephant diagram lacquer sandy_beach
placental_mammal line_of_sight figuration moose
otter venn_diagram war_paint wildebeest
gorilla hippocratic_face graph skunk
wildebeest real_number_line spectrograph anteater
chimaera sight_draft map echidna
african_savannah_elephant x_axis arabesque bobcat
florida_panther simulacrum fall_off_analysis mule_deer
liger cartoon art_collection bison
rabbit diagrammatic statue pygmy_marmoset
aardvark camera_lucida delineate mongoose
iguana explode_view jack_o_lantern sea_otter
hippopotamus crowd_art gussie_up squirrel_monkey
hadrosaur lottery ecce_homo wolverine
mountain_goat depiction pointillist okapi
panda_bear conecept_design art_deco cane_rat
velociraptor infinity_symbol pyrography whale
whale scenography scenography american_bison
Table 6: Top 20 detections per each image from PSL Stage I (IUR).

Final output from PSL Stage II (for BUR) is comparable to that of the GUR approach. The top detections are: hadrosaur, sea_otter, diagrammatic, panda, iguana, pyrography, mule_deer, placental_mammal, liger, panda_bear, art_deco, squirrel_monkey, giraffe, echidna, otter, anteater, pygmy_marmoset, hippopotamus.

Here, the set of output mainly contains the concepts (words or phrases) that either represents “animals with some similar visual characteristics to aardvark” or it pertains to “cartoon or art”.

Appendix C Detailed Accuracy Histograms For Different Variants

In this section, we plot the accuracy histograms for the entire dataset for all the variants (using Clarifai API) of our approach (listed in Table 2 of the paper). We also add the accuracy histograms for variants using BUR approach. The plots are shown in the Figure 8. From the plots, the shift towards greater accuracy is evident as we go along the stages of our pipeline.

(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)
Figure 8: The accuracy histograms of the BUR, GUR and UR approaches (combined with the VB, RR and All stage variants).

Appendix D Visual Similarity: Additional Results

Additional results for Visual Similarity are provided in Tables 7 and 8.

ConceptNet Visual Similarity word2vec
man, merby, misandrous,
philandry, male_human,
dirty_pig, mantyhose,
date_woman,guyliner,manslut
priest, uncle, guy,
geezer, bloke, pope,
bouncer, ecologist,
cupid, fella
women, men, males,
mens, boys, man, female,
teenagers,girls,ladies
Table 7: Similar Words for “Men”
ConceptNet Visual Similarity word2vec
saurischian, ornithischian,
protobird, elephant bird,
sauropsid, cassowary,
ibis, nightingale, ceratosaurian,
auk, vulture
lambeosaurid, lambeosaur,
bird, allosauroid, therapod, stegosaur,
triceratops, tyrannosaurus_rex,
deinonychosaur,dromaeosaur,
brontosaurus
dinosaurs, dino, T._rex,
Tyrannosaurus_Rex, T_rex,
fossil, triceratops, dinosaur_species,
tyrannosaurus,dinos,
Tyrannosaurus_rex
Table 8: Similar Words for “Dinosaur”

Appendix E More Positive and Negative Results

We provide positive and Negative results in Figures 9 and 10 of the ”GUR+All” variant of the pipeline. We obtain better results with Clarifai detections rather than Residual Network detections. Based on our observations, one of the key property of the ResidualNetwork confidence score distribution is that there are few detections (1-3) which are given the strongest confidence scores and the other detections have very negligible confidence scores. These top detections are often quite noisy.

For example, for the aardvark image 1, the ResidualNetwork detections are: triceratops, wallaby, armadillo, hog, fox squirrel, wild boar, kit fox, grey fox, Indian elephant, red fox, mongoose, Egyptian cat, wombat, tusker, mink, Arctic fox, toy terrier, dugong, lion. Only the first detection has score and the rest of the scores are very negligible. For the second, third and fourth images, the top detections are respectively:

  1. pick (), ocarina (), maraca (), chain saw (), whistle (), can opener (), triceratops (), muzzle, spatula, loupe, hatchet, letter opener, thresher, rock beauty, electric ray, tick, gong, Windsor tie, cleaver, electric guitar

  2. jersey (), fire screen (), sweatshirt (), pick (), comic book (), book jacket (), plate rack, throne, wall clock, face powder, binder, hair slide,velvet,puck, redbone.

  3. hog (), wallaby (), wild boar (), Mexican hairless (), gazelle (), wombat (), dhole (), hyena (), armadillo (), ibex, hartebeest, water buffalo, bighorn, kit fox, mongoose, hare, wood rabbit, warthog, mink, polecat.

These predictions show that for the first and fourth image, there are some animals detected with some distant visual similarities. The second and third image has almost no animal mentions. This also shows some very confident detections (such as triceratops for the first image) is quite noisy.

In many cases, due to these high-confidence noisy detections, the PSL-based inference system gets biased towards them. Compared to that, Clarifiai detections provide quite a few (abstract but) correct detections about different aspects of the image (for example, for 2nd Image, predicts labels related to “cartoon/art” and “animal” both). This seems to be one of the reasons, for which the current framework provide better results for Clarifai Detections. Using Residual Network, the final output from the GUR system for the “aardvark” riddle is: antelope, prairie_dog, volcano_rabbit, marsupial_lion, peccary, raccoon, pouch_mammal, rabbit, otter, monotreme, jackrabbit, hippopotamus, moose, tapir, echidna, gorilla.

(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)
(j)
(k)
(l)
(m)
(n)
(o)
(p)
(q)
(r)
(s)
(t)
(u)
(v)
(w)
(x)
Figure 9: More Positive results from the “GUR” approach on some of the riddles. The groudtruth labels, closest label among top 10 from GUR and the Clarifai baseline are provided for all images. For more results, check http://bit.ly/1Rj4tFc.
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)
(j)
(k)
(l)
Figure 10: Some Negative results from the “GUR” approach on some of the riddles. The groudtruth labels, closest label among top 10 from GUR and the Clarifai baseline are provided for all images. For more results, check http://bit.ly/1Rj4tFc.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
13168
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description