Skip to main content
SpringerLink
Log in

Knowledge

  • Chapter
Pattern Analysis and Understanding

Part of the book series: Springer Series in Information Sciences ((SSINF,volume 4))

  • 156 Accesses

Abstract

The discussion in the last chapter showed that in analysis of complex patterns a solution may require searching a graph or tree in a search space which is usually very large. The task is nearly hopeless unless the search space can be reduced. A powerful tool for constraining the number of alternatives and reducing the search space is the incorporation of knowledge.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Morris: Sign, Language, and Behavior (Braziller, New York 1955)

    Google Scholar 

  2. R.S. Michalsky, J.G. Carboneil, T.M. Mitchell (eds.): Machine Learning, An Artificial Intelligence Approach (Tioga, Palo Alto, CA 1983)

    Google Scholar 

  3. Britannica World Language Edition of Funke and Wagnalls Standard Dictionary: “Knowledge” (Encyclopedia Britannica, Chicago 1962; Funk and Wagnalls, New York 1962)

    Google Scholar 

  4. Brockhaus Enzyklopädie: “Wissen” (Brockhaus, Wiesbaden 1974)

    Google Scholar 

  5. H. Niemann: Wissensbasierte Bildanalyse. Informatik Spektrum 8, 201 (1985)

    Google Scholar 

  6. H. Niemann, H. Bunke, I. Hofmann, G. Sagerer, F. Wolf, H. Feistel: A knowledge based system for analysis of gated blood pool studies. IEEE Trans. PAMI-7 246–259 (1985)

    Google Scholar 

  7. G. Sagerer: Darstellung und Nutzung von Expertenwissen für ein Bildanalysesystem, Informatik Fachberichte 104 (Springer, Berlin, Heidelberg 1985)

    Book  MATH  Google Scholar 

  8. M. Minsky: A framework for representing knowledge, Artif. Int. Memo No. 306, A.I. Lab., MIT, Cambridge, MA (1974) also publ. in The Psychology of Computer Vision, ed. by P.H. Winston (McGraw-Hill, New York 1975)

    Google Scholar 

  9. I.P. Goldstein: The FRL primer, AI Memo 408, MIT, Cambridge, MA (1977)

    Google Scholar 

  10. A. Church: Introduction to Mathematical Logic, 1 (Princeton Univ. Press, Princeton, NJ 1956)

    MATH  Google Scholar 

  11. Z. Manna: Mathematical Theory of Computation (McGraw-Hill, New York 1974)

    MATH  Google Scholar 

  12. V. Dahl: Logic programming as a representation of knowledge. IEEE Computer 16, No.10, 106 (1983)

    Article  Google Scholar 

  13. A. Deliyanni, R.A. Kowalski: Logic and semantic networks. Comm. ACM 22, 184 (1979)

    Google Scholar 

  14. J.P. Hayes: In defense of logic. Proc. IJCAI, Cambridge, MA (1977) pp.559–565

    Google Scholar 

  15. N.J. Nilsson: Principles of Artificial Intelligence (Springer, Berlin, Heidelberg 1982)

    MATH  Google Scholar 

  16. J. Herbrand. Investigations in proof theory (1930). In: From Frege to Gödel, ed. by J. Heijenoort (Harvard Univ. Press, Cambridge, MA 1967)

    Google Scholar 

  17. R. Kowalski: Logic for Problem Solving (North-Holland, Amsterdam 1979)

    MATH  Google Scholar 

  18. J.A. Robinson: A machine-oriented logic based on the resolution principle. JACM 12, 23 (1965)

    Article  MATH  Google Scholar 

  19. L. Wos, R. Overbeek, E. Lusk, J. Boyle: Automated Reasoning, Introduction and Applications (Prentice Hall, Englewood Cliffs, NJ 1984)

    MATH  Google Scholar 

  20. W. Bibel: Automated Theorem Proving (Vieweg, Braunschweig 1982)

    Book  MATH  Google Scholar 

  21. W.W. Bledsoe: Non-resolution theorem proving. Artif. Intelligence 9, 35 (1977)

    Article  MathSciNet  Google Scholar 

  22. H. Gentzen: Untersuchungen über das logische Schlieβen I. Math. Zeitschrift 30, 176 (1935)

    Article  MathSciNet  Google Scholar 

  23. M.E. Szabo (ed.): The collected papers of Gerhard Gentzen (North-Holland, Amsterdam 1955) pp.68–132

    Google Scholar 

  24. Special issue on non-mono tonic logic. Artif. Intelligence 13 (1980)

    Google Scholar 

  25. E. Charniak: Motivation analysis, abductive unification, and nonmonotonic equality. Artif. Intelligence 34, 275 (1988)

    Article  Google Scholar 

  26. S. Hanks, D. McDermott: Nonmonotonic logic and temporal projection. Artif. Intelligence 33, 379 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  27. R. Turner: Logics for Artificial Intelligence (Ellis Horwood, Chichester 1984)

    Google Scholar 

  28. D. Poole: A logical framework for default reasoning. Artificial Intelligence 36, 27 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  29. L.A. Zadeh: Knowledge representation in fuzzy logic. IEEE Trans. KDE-1, 89 (1989)

    Google Scholar 

  30. M.L. Ginsberg: Counterfactuals. Artif. Intelligence 30, 35 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  31. W.F. Clocksin, C.S. Mellish: Programming in Prolog, 2nd edn. (Springer, Berlin, Heidelberg 1984)

    Book  Google Scholar 

  32. E. Post: Formal reductions of the general combinatorial problem. Am. J. Math. 65, 197 (1943)

    Article  MathSciNet  MATH  Google Scholar 

  33. A. Newell: Production systems; models of control structures. In Visual Information Processing, ed. by W.C. Chase (Academic, New York 1973) p.463–526

    Google Scholar 

  34. R. Davis, J. King: An overview of production systems. In Machine Intelligence, Vol.8, ed. by E.W. Elcock, D. Michie (Ellis Horwood, Chichester 1977) pp.300–332

    Google Scholar 

  35. D.A. Waterman, F. Hayes-Roth (eds.): Pattern Directed Inference Systems (Academic, New York 1978)

    MATH  Google Scholar 

  36. B. Buchanan, T.M. Mitchell: Model Directed Learning of Production Rules, in [Ref.7.29, pp.297–312]

    Google Scholar 

  37. M. Georgeff: A framework for control in production systems, Rpt. No. STAN-CS-79-716, Comp. Sci. Dept., Stanford University (1979)

    Google Scholar 

  38. R.S. Michalsky, P.H. Winston: Variable precision logic. Aritf. Intelligence 29, 121 (1986)

    Article  Google Scholar 

  39. M. Togai, H. Watanabe: Expert system on a chip: an engine for real-time approximation reasoning. IEEE Expert 1 (3), 55 (1986)

    Article  Google Scholar 

  40. L.A. Zadeh: Commonsense knowledge representation based on fuzzy logic. Computer 16 (10), 61–65 (1983)

    Article  Google Scholar 

  41. C.L. Forgy: A fast algorithm for the many pattern/many object pattern match problem. Artif. Intelligence 19, 17 (1982)

    Article  Google Scholar 

  42. J. McDermott, C. Forgy: Production system conflict resolution strategies. In [Ref.7.34, pp. 177–199]

    Google Scholar 

  43. A. Barr, E.A. Feigenbaum (eds.): The Handbook of Artificial Intelligence, Vols.1 and 2 (Pitman Books, London 1981 and 1982)

    MATH  Google Scholar 

  44. R. Engelmore, A. Terry: Structure and function of the CRYSALIS system. Proc. 6th Int’l Joint Conf. on Artificial Intelligence, Tokyo (1979) pp.250–256

    Google Scholar 

  45. C.L. Forgy: On the efficient implementation of production systems, Ph.D. Thesis, Dept. Comput. Sci., Carnegie-Melon Univ., Pittsburg, PA (1979)

    Google Scholar 

  46. D. McCracken: A Production System Version of the HEARSAY II Speech Understanding System. Ph.D. Thesis, Dept. Comput. Sci., Carnegie-Mellon Univ., Pittsburg, PA (1978)

    Google Scholar 

  47. D.J. Mostow, F. Hayes-Roth: A production system for speech udnerstanding. In [Ref.7.34, pp.471–481]

    Google Scholar 

  48. Y. Ohta, T. Kanade, T. Sakai: A production system for region analysis. Proc. 6th Int’l Joint Conf. on Artificial Intelligence, Tokyo (1979) pp.684–686

    Google Scholar 

  49. P. Szolovits, S.G. Pauker: Categorical and probabilistic reasoning in medical diagnosis. Artif. Intell. 11, 115 (1978)

    Article  Google Scholar 

  50. A.M. Nazif, M.D. Levine: Low level image segmentation: An expert system. IEEE Trans. PAMI-6, 555–577 (1984)

    Google Scholar 

  51. M.R. Quillian: Semantic memory, in Semantic Information Processing, ed. by M. Minsky (MIT Press, Cambridge, MA 1968) pp.227–270

    Google Scholar 

  52. N.V. Findler (ed.): Associative Networks (Academic, New York 1979)

    MATH  Google Scholar 

  53. J.F. Sowa: Conceptual Structures: Information Processing in Mind and Machine (Addison-Wesley, Reading, MA 1984)

    MATH  Google Scholar 

  54. R.J. Brachman. What’s in a Concept: Structural Foundations for Semantic Networks. BBN (Bolt, Beranek, Newman) Report, Cambridge, MA (1977)

    Google Scholar 

  55. W. Woods: What’s in a link: Foundations for semantic networks. In Representation and Understanding, ed. by D. Bobrow, A. Collins (Academic, New York 1975) pp.35–82

    Google Scholar 

  56. R.J. Brachman: What is-a is and isn’t: An analysis of taxonomic links in semantic networks. IEEE Computer 16 No.10, 30–36 (1983)

    Article  Google Scholar 

  57. G. Sagerer, H. Niemann: An expert system architecture and its application to the evaluation of scintigraphic image sequences. Proc. Symp. on the Eng. of Computer-Based Medical Systems, Minneapolis, MN (1988) pp.82–88

    Google Scholar 

  58. W. Eichhorn, H. Niemann: A bidirectional control strategy in a hierarchical knowledge structure. Proc. 8th Int’l Conf. Pattern Recognition, Paris (1986) pp.181–183

    Google Scholar 

  59. H. Niemann, G. Sagerer, W. Eichhorn: Control strategies in a hierarchical knowledge structure: Int’l J. Pattern Rec. and Artif. Intelligence 2, 557–572 (1988)

    Article  Google Scholar 

  60. H. Niemann, A. Brietzmann, U. Ehrlich, G. Sagerer: Representation of a continuous speech understanding and dialog system in a homogeneous semantic net architecture. Proc. ICASSP, Tokyo (1986)

    Google Scholar 

  61. G. Sagerer, F. Kummert: Knowledge based systems for speech understanding. In [Ref.3.178, pp.421–458]

    Google Scholar 

  62. C. Fillmore: The case for case. In Universals in Linquistic Theory, ed. by E. Bach, R. Harms (Holt, Rinehart, Winston, New York 1968) pp. 1–90

    Google Scholar 

  63. B. Bruce: Case systems for natural language. Artif. Intell. 6, 327 (1975)

    Article  ADS  MATH  Google Scholar 

  64. D.H. Ballard, C.M. Brown, J.A. Feldman: An approach to knowledge-directed image analysis. In [Ref. 1.13, pp.271–281]

    Google Scholar 

  65. J.K. Tsotsos: A framework for visual motion understanding. PhD Thesis, Dept. Comp. Sei., Univ. Toronto (1980)

    Google Scholar 

  66. J. Mylopoulus, T. Shibahara, J.K. Tsotsos: Building knowledge based systems: The PSN experience. IEEE Computer 16, No. 10, 83 (1983)

    Article  Google Scholar 

  67. H. Niemann: A homogeneous architecture for knowledge based image understanding. Proc. 2nd Conf. Artif. Intelligence Applications, Miami FL (1985) pp.88–93

    Google Scholar 

  68. D.G. Bobrow, T. Winograd: An overview of KRL, a knowledge representation language. Cognitive Science 1, 3 (1977)

    Article  Google Scholar 

  69. R.J. Brachman, J.G. Schmolze: An overview of the KL-ONE knowledge representation system. Cognitive Science 9, 171 (1985)

    Article  Google Scholar 

  70. F. Kummert, H. Niemann, G. Sagerer, S. Schröder: Werkzeuge zur Modellgesteuerten Bildanalyse und Wissensakquisition. In GI 17. Jahrestagung, ed. by M. Paul, Informatik Fachberichte, Bd. 157 (Springer, Berlin, Heidelberg 1987)

    Google Scholar 

  71. D.G. Bobrow, M. Stefik: The LOOPS manual (Xerox Corp., Palo Alto, CA)

    Google Scholar 

  72. A. Goldberg, D. Robson: SMALLTALK-80, The language and its Implementation (Addison Wesley, Reading, MA 1983)

    MATH  Google Scholar 

  73. J.C. Kunz, T.P. Kehler, M.D. Williams: Applications development using a hybrid AI development system. The AI Magazine 5, 41–54 (1984)

    Google Scholar 

  74. J.P. Hayes: The logic of frames. In Frame Conceptions and Text Understanding, ed. by D. Metzing (de Gruyter, Berlin 1979) pp.46–61

    Google Scholar 

  75. L.K. Schubert: Extending the expressive power of semantic networks. Artif. Intell. 7, 163 (1976)

    Article  MathSciNet  Google Scholar 

  76. R. Bertelsmeier, B. Radig: Kontextunterstützte Analyse von Szenen mit bewegten Objekten. In Digitale Bildverarbeitung, Digital Image Processing, ed. by H.H. Nagel, Informatik Fachberichte, Bd.8 (Springer, Berlin, Heidelberg 1977) p. 101–128

    Chapter  Google Scholar 

  77. R.M. Haralick, L.G. Shapiro: The consistent labeling problem, Pt.I. IEEE Trans. PAMI-1, 173–184 (1979)

    Google Scholar 

  78. B. Radig: Image sequence analysis using relational structures. Pattern Recognition 17, 161 (1984)

    Article  Google Scholar 

  79. L.G. Shapiro, R.M. Haralick: Algorithms for inexact matching. Proc. 5th Int’l Joint Conf. on Pattern Recognition, Miami FL (1980) pp.202–207 [IEEE Catalog No.80 CH 1499-3]

    Google Scholar 

  80. R. Narasimhan: A linguistic approach to pattern recognition, Rpt.121, Digital Comp.Lab., Univ. of Illinois, Urbana (1962)

    Google Scholar 

  81. T. Winograd: Language as a Cognitive Process, Vol.1, Syntax (Addison Wesley, Reading, MA 1983)

    MATH  Google Scholar 

  82. W.A. Woods: Transition network grammars for natural language analysis. Commun. ACM 13, 591 (1970)

    Google Scholar 

  83. G. Görz: Struturanalyse gesprochener Sprache - ein Verarbeitungsmodell. Dissertation, Univ. Erlangen-Nürnberg, Erlangen (1988)

    Google Scholar 

  84. S. Shieber: An introduction to unification-based approaches to grammar. CSLI Lecture Notes 4, Stanford Univ., Stanford, CA (1987)

    Google Scholar 

  85. A. Brietzmann: Eine ATN Grammatik des Deutschen für die automatische Spracherkennung. Sprache und Datenverarbeitung 8, Heft 1/2, 54 (1984)

    Google Scholar 

  86. U. Ehrlich: Ein Lexikon für das natürlich-sprachliche Dialogsystem EVAR. Arbeitsberichte des Inst, für Mathematische Maschinen und Datenverarbeitung 19, No.3, Univ. Erlangen-Nürnberg, Erlangen (1986)

    Google Scholar 

  87. B.G. Buchanan, T.M. Mitchell: Model-directed learning of production rules. In [Ref.7.34, pp.297–312]

    Google Scholar 

  88. R. Davis: Knowledge acquisition in rule-based-systems - knowledge about representation as a basis for system construction and maintenance. In [Ref.7.34, pp.99–134]

    Google Scholar 

  89. T.G. Dietterich, R.S. Michalski: Learning and generalization of characteristic descriptions - evaluation criteria and comparative review of selected methods. Proc. 6th Int’l Joint Conf. on Artif. Intell., Tokyo (1979) pp.223–231

    Google Scholar 

  90. F. Hayes-Roth, J. McDermott: An interference matching technique for inducing abstractions. Commun. ACM 21, 401 (1978)

    Google Scholar 

  91. C.L. Hedrick: Learning production systems from examples. Artif. Intelligence 7, 21 (1976)

    Article  Google Scholar 

  92. T.M. Mitchell: Analysis of generalization as a search problem. Proc. 6th Int’l Joint Conf. on Artif. Intel., Tokyo (1979) pp.577–582

    Google Scholar 

  93. R. J. Solomonoff: A formal theory of inductive inference. Information and Control 71, 244 (1964)

    Google Scholar 

  94. P.H. Winston: Learning structural descriptions from examples. In The Psychology of Computer Vision, ed. by P.H. Winston (McGraw-Hill, New York 1975) pp.157–209

    Google Scholar 

  95. R.S. Michalsky: Pattern recognition as rule-guided inference. IEEE Trans. PAMI-2, 349 (1980)

    Google Scholar 

  96. H. Nieman, G. Sagerer, S. Schröder: Learning object models in associative networks. Proc. Int’l Symp. on El. Devices, Circuits and Systems, Kharagpur, India (1987) pp.933–936

    Google Scholar 

  97. S. Schröder, H. Niemann, G. Sagerer: Knowledge acquisition for a knowledge based image analysis system. Proc. Europ. Knowledge Acquisition Workshop, GMD Studien Nr. 143, Bonn (1988) pp.29.1–15

    Google Scholar 

  98. J.H. Holland: Adaptation in Natural and Artificial Systems (Univ. of Michigan Press, Ann Arbor 1975)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Informatik 5 (Mustererkennung), Friedrich-Alexander-Universität Erlangen-Nürnberg, D-8520, Erlangen, Fed. Rep. of Germany

    Professor Dr.-Ing. Heinrich Niemann

  2. Forschungsgruppe Wissensverarbeitung, Bayerisches Forschungszentrum für Wissensbasierte Systeme, D-8520, Erlangen, Fed. Rep. of Germany

    Professor Dr.-Ing. Heinrich Niemann

Authors
  1. Professor Dr.-Ing. Heinrich Niemann
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Niemann, H. (1990). Knowledge. In: Pattern Analysis and Understanding. Springer Series in Information Sciences, vol 4. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74899-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74899-8_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51378-0

  • Online ISBN: 978-3-642-74899-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation