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.

Learning Automata Representation Of Network Protocol By Grammar Induction

ABInfer: A Novel Field Boundaries Inference Approach for Protocol Reverse Engineering

Towards Interpreting Recurrent Neural Networks Through Probabilistic Abstraction

The Neural Network Pushdown Automaton: Model, Stack and Learning Simulations

Protocol Specification Inference Based on Keywords Identification

Inferring State Machine from the Protocol Implementation Via Large Langeuage Model.

Inferring State Machine from the Protocol Implementation via Large Language Model

An Extended Grammar System for Learning and Recognizing Complex Visual Events

Grammatical Inference as a Satisfiability Modulo Theories Problem

Unsupervised Discriminative Induction of Synchronous Grammar for Machine Translation.

Automatic State Machine Inference for Binary Protocol Reverse Engineering

REINAM: Reinforcement Learning for Input-Grammar Inference.

A spatiotemporal grammar network model with wide attention for short-term traffic flow prediction

Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study

Neural-Symbolic Recursive Machine for Systematic Generalization

State-Regularized Recurrent Neural Networks to Extract Automata and Explain Predictions

Robust models to infer flexible nondeterministic finite automata

Finite Automata for Efficient Graph Recognition

Leveraging Grammar Induction for Language Understanding and Generation

Connecting First and Second Order Recurrent Networks with Deterministic Finite Automata

A Stochastic Grammar of Images