Abstract:This exploratory paper quests for a stochastic and context sensitive grammar of images. The grammar should achieve the following four objectives and thus serves as a unified framework of representation, learning, and recognition for a large number of object categories. (i) The grammar represents both the hierarchical decompositions from scenes, to objects, parts, primitives and pixels by terminal and non-terminal nodes and the contexts for spatial and functional relations by horizontal links between the nodes. It formulates each object category as the set of all possible valid configurations produced by the grammar. (ii) The grammar is embodied in a simple And-Or graph representation where each Or-node points to alternative sub-configurations and an And-node is decomposed into a number of components. This representation supports recursive top-down/ bottom-up procedures for image parsing under the Bayesian framework and make it convenient to scale up in complexity. Given an input image, the image parsing task constructs a most probable parse graph on-the-fly as the output interpretation and this parse graph is a subgraph of the And-Or graph after making choice on the Or-nodes. (iii) A probabilistic model is defined on this And-Or graph representation to account for the natural occurrence frequency of objects and parts as well as their relations. This model is learned from a relatively small training set per category and then sampled to synthesize a large number of configurations to cover novel object instances in the test set. This generalization capability is mostly missing in discriminative machine learning methods and can largely improve recognition performance in experiments. (iv) To fill the well-known semantic gap between symbols and raw signals, the grammar includes a series of visual dictionaries and organizes them through graph composition. At the bottom-level the dictionary is a set of image primitives each having a number of anchor points with open bonds to link with other primitives. These primitives can be combined to form larger and larger graph structures for parts and objects. The ambiguities in inferring local primitives shall be resolved through top-down computation using larger structures. Finally these primitives forms a primal sketch representation which will generate the input image with every pixels explained. The proposal grammar integrates three prominent representations in the literature: stochastic grammars for composition, Markov (or graphical) models for contexts, and sparse coding with primitives (wavelets). It also combines the structure-based and appearance based methods in the vision literature. Finally the paper presents three case studies to illustrate the proposed grammar.

A Survey on Visual Languages Formal Specification by Grammatical Approach

Visual languages and software specifications

No Grammar to Rule Them All: A Survey of JSON-style DSLs for Visualization

Visualizing Natural Language Descriptions: A Survey

A Grammar of Hypotheses for Visualization, Data, and Analysis

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Relational Grammars: Theory and Practice in a Visual Language Interface for Process Modeling

VLGrammar: Grounded Grammar Induction of Vision and Language

A Survey on Automatic Generation of Figurative Language: From Rule-based Systems to Large Language Models

An Extended Grammar System for Learning and Recognizing Complex Visual Events

Visual Text Meets Low-level Vision: A Comprehensive Survey on Visual Text Processing

Video-Language Understanding: A Survey from Model Architecture, Model Training, and Data Perspectives

A Stochastic Grammar of Images

GUI Agents with Foundation Models: A Comprehensive Survey

SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model

Formal Specifications from Natural Language

From visual words to a visual grammar: using language modelling for image classification

Large Language Model-Brained GUI Agents: A Survey

Grammar Induction from Visual, Speech and Text

AutoSurvey: Large Language Models Can Automatically Write Surveys