Predicate Logic Based Image Grammars for Complex Pattern Recognition

• Published in: International journal of computer vision Vol. 93; no. 2; pp. 141 - 161
• Main Authors: Shet, Vinay, Singh, Maneesh, Bahlmann, Claus, Ramesh, Visvanathan, Neumann, Jan, Davis, Larry
• Format: Journal Article
• Language: English
• Published: Boston Springer US 01.06.2011; Springer; Springer Nature B.V
• Subjects: Algorithms; Analysis; Artificial Intelligence; Automation; Cognition & reasoning; Computer Imaging; Computer Science; Computer vision; Detectors; Grammars; Hypotheses; Image Processing and Computer Vision; Knowledge; Logic; Machine vision; Materials handling; Optimization; Pattern Recognition; Pattern Recognition and Graphics; Predicate logic; Reasoning; Remote sensing; Sensors; Uncertainty; Vision; Object detection and classification; Human detection; Back propagation; Logical reasoning; Aerial image analysis; Stochastic image grammars; Bilattice

Predicate logic based reasoning approaches provide a means of formally specifying domain knowledge and manipulating symbolic information to explicitly reason about different concepts of interest. Extension of traditional binary predicate logics with the bilattice formalism permits the handling of un...