TY - GEN
T1 - An analysis of knowledge representation schemes for high level vision
AU - Provan, Gregory M.
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1990.
PY - 1990
Y1 - 1990
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.
AB - 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.
UR - https://www.scopus.com/pages/publications/0041710469
U2 - 10.1007/BFb0014903
DO - 10.1007/BFb0014903
M3 - Conference proceeding
AN - SCOPUS:0041710469
SN - 9783540525226
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 537
EP - 541
BT - Computer Vision – ECCV 1990 - 1st European Conference on Computer Vision, Proceedings
A2 - Faugeras, Olivier
PB - Springer Verlag
T2 - 1st European Conference on Computer Vision, ECCV 1990
Y2 - 23 April 1990 through 27 April 1990
ER -