An analysis of knowledge representation schemes for high level vision Export

@incollection{citeulike:6076997, abstract = {This paper analyses the criteria necessary for a knowledge representation (KR) language for implementing high level vision (HLV) recognition systems. We show the importance of introducing a specific KR language for specification, and possibly for implementation of HLV systems. In particular, we examine the adequacy, tractability and suitability of implementing a HLV system using logic, the KR language most commonly used in areas of Artificial Intelligence isomorphic to HLV. In addition, we use this analysis of classical logic to identify the criteria necessary for any HLV KR language. Logic is seen to be at least as good a language for specification of HLV systems as any other KR language. However, using evidence obtained from an object recognition system implemented using propositional logic, evidence which is supported by theoretical analyses, we argue that classical logic is an inadequate KR language for implementing HLV systems. It cannot identify preferred interpretations, and is computationally intractable, even for simple propositional languages.}, author = {Provan, Gregory}, citeulike-article-id = {6076997}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BFb0014903}, citeulike-linkout-1 = {http://www.springerlink.com/content/wu517275j731788q}, doi = {10.1007/BFb0014903}, journal = {Computer Vision — ECCV 90}, keywords = {cognitive\_vision}, pages = {537--541}, posted-at = {2009-11-05 21:48:30}, priority = {2}, title = {An analysis of knowledge representation schemes for high level vision}, url = {http://dx.doi.org/10.1007/BFb0014903}, year = {1990} }

TY - CHAP ID - citeulike:6076997 L3 - citeulike-article-id:6076997 N2 - This paper analyses the criteria necessary for a knowledge representation (KR) language for implementing high level vision (HLV) recognition systems. We show the importance of introducing a specific KR language for specification, and possibly for implementation of HLV systems. In particular, we examine the adequacy, tractability and suitability of implementing a HLV system using logic, the KR language most commonly used in areas of Artificial Intelligence isomorphic to HLV. In addition, we use this analysis of classical logic to identify the criteria necessary for any HLV KR language. Logic is seen to be at least as good a language for specification of HLV systems as any other KR language. However, using evidence obtained from an object recognition system implemented using propositional logic, evidence which is supported by theoretical analyses, we argue that classical logic is an inadequate KR language for implementing HLV systems. It cannot identify preferred interpretations, and is computationally intractable, even for simple propositional languages. JF - Computer Vision — ECCV 90 EP - 541 TI - An analysis of knowledge representation schemes for high level vision SP - 537 KW - cognitive_vision AU - Provan, Gregory PY - 1990/// UR - http://dx.doi.org/10.1007/BFb0014903 ER -