Skip to main content

Formal systems in Artificial Intelligence: an illustration using semigroup, automata and language theory

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

Abstract

As the field of Artificial Intelligence (AI) matures, methods relying less on ad hoc procedures and more on well defined operations in the context of formal structures are emerging. Evidence for this can be found, for example, in the increasingly sophisticated approaches to inexact reasoning in knowledge-based systems and in the mathematical framework developed for semantic net representation. This tutorial and brief survey presents a facet of formal language theory which provides a formalism for naturally representing and operating on strings of symbols and which also admits obvious means of handling issues such as specialization and generalization, pervasive in AI. The broad subject area covered is part of semigroup theory which has a natural relationship to both finite state automata theory and regular languages. This paper aims to introduce some of the underlying theory relevant to representation issues in AI in this context.

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

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  • Buchanan, B. G. & Shortliffe, E. H. (1984)Rule-Based Expert Systems: the MYCIN Experiment. Addison-Wesley, Reading, Massachusetts.

    Google Scholar 

  • Canny, J. F. (1983)Finding edges and lines in images. AI-TR-720, MIT Artificial Intelligence Laboratory, Cambridge, MA.

    Google Scholar 

  • Duda, R. O., Gashnig, J. G. & Hart, P. E. (1983) Model design in the PROSPECTOR consultant system for mineral exploration. InExpert Systems in the Micro-Electronic Age. (ed. D. Michie). Edinburgh University Press, Edinburgh, pp. 153–167.

    Google Scholar 

  • Fu, K. S. (1980) Syntactic (linguistic) pattern recognition. InDigital Pattern Recognition. (ed. K. S. Fu). Springer, Berlin, pp. 95–134.

    Google Scholar 

  • Gonzalez, R. C. & Wintz, P. (1987)Digital Image Processing. 2nd edn. Addison-Wesley, Reading, Massachusetts.

    Google Scholar 

  • Hadingham, P. T. (1988a) Symbolic description of edges using a geometric relaxation technique.Pattern Recognition Letters,7, 173–179.

    Article  Google Scholar 

  • Hadingham, P. T. (1988b)A regular language for edge description and classification. Technical Report 88/9, Department of Computer Science, University of Western Australia.Submitted for publication/

  • Hopcroft, J. E. & Ullman, J. D. (1979)Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Massachusetts.

    Google Scholar 

  • Howie, J. M. (1976)An Introduction to Semigroup Theory. Academic Press, London.

    Google Scholar 

  • Lipson, J. D. (1981)Elements of Algebra and Algebraic Computing. Benjamin Cummings, Menlo Park, California.

    Google Scholar 

  • Lothaire, M. (1983)Combinatorics on Words. Addison-Wesley, Reading, Massachusetts.

    Google Scholar 

  • Mantas, J. (1987) Methodologies in pattern recognition and image analysis—a brief survey.Pattern Recognition,7, 1–6.

    Article  Google Scholar 

  • McCarthy, J. (1986) Applications of circumscription to formalizing common-sense knowledge.Artificial Intelligence,28, 89–116.

    Article  Google Scholar 

  • Miclet, L. (1986)Structural Methods in Pattern Recognition. North Oxford Academic Press, London.

    Google Scholar 

  • Moore, R. C. (1984) A formal theory of knowledge and action. InFormal Theories of the Common Sense World. (eds J. R. Hobbs & R. C. Moore). Ablex Publishing.

  • Morrone, M. C. & Owens, R. A. (1987) Feature detection from local energy.Pattern Recognition Letters,6, 303–313.

    Article  Google Scholar 

  • Pavlidis, T. (1977)Structural Pattern Recognition. Springer, Berlin.

    Google Scholar 

  • Pin, J. E. (1986)Varieties of Formal Languages. North Oxford Academic Press, London.

    Google Scholar 

  • Smith, R. W. (1987) Computer processing of line images: a survey.Pattern Recognition,20, 7–15.

    Article  Google Scholar 

  • Sudkamp, T. A. (1988)Languages and Machines. Addison-Wesley, Reading, Massachusetts.

    Google Scholar 

  • Weizenbaum, J. (1966)ELIZA—A computer program for the study of natural language communication between man and machine.Communications of the ACM,9, 36–44.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hadingham, P.T. Formal systems in Artificial Intelligence: an illustration using semigroup, automata and language theory. Artif Intell Rev 4, 3–19 (1990). https://doi.org/10.1007/BF02221493

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02221493

Keywords