Skip to main content

Changing philosophy of teaching artificial intelligence a case study

  • Conference paper
  • First Online:
  • 181 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 451))

Abstract

The changing philosophy of approaches inside the Artificial Intelligence has reflected also in the area of teaching Artificial Intelligence. The paper presents a case study of changes of the philosophy at the Comenius University in Bratislava.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973

    Google Scholar 

  • Csuhaj-Varjú, E., Kelemen, J.: Cooperating Grammar Systems — A Syntactical Framework for Blackboard Model of Problem Solving. In: Artificial Intelligence and Information-Control Systems of Robots '89 (I. Plander, ed.), North-Holland, Amsterdam, 1989, pp. 121–127

    Google Scholar 

  • Fu, K.S. (Ed.): Syntactic Pattern Recognition, Applications. Springer-Verlag, Berlin, 1977

    Google Scholar 

  • Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufman, Inc., Los Altos, Cal., 1987

    Google Scholar 

  • Gyárfáš, F., Popper, M.: CODEX — Prototypes Driven Backward and Forward Chaining Computer-Based Diagnostic Expert System. In: Cybernetics and System Research, Vol.2 (R. Trappl, Ed.), North-Holland, Amsterdam, 1984, pp. 821–824

    Google Scholar 

  • Havel, I.M.: Robotics — An Introduction to the Theory of Cognitive Robots. SNTL, Prague, 1980 (in Czech)

    Google Scholar 

  • HromkoviČ, J., Kelemen, J.: How to Define Complex Symbol Systems. Papers on Automata and Languages 10 (1988), pp. 39–47

    Google Scholar 

  • Hunt, E.B.: Artificial Intelligence. Academic Press, New York, 1975

    Google Scholar 

  • KalaŠ, I.: Languages for Frame Representation of Knowledge (Diploma thesis). Department of Theoretical Cybernetics, Comenius University, Bratislava, 1981 (in Slovak)

    Google Scholar 

  • KalaŠ, I.: A Formal Model of Knowledge-Based Systems. In: Trends, Techniques, and Problems in Theoretical Computer Science (A. Kelemenová, J. Kelemen, eds.), Springer-Verlag, Berlin, 1987, pp. 170–181

    Google Scholar 

  • KalaŠ, I.: Another Programming — An Encounter with Lisp. Alfa, Bratislava, 1990 (in Slovak; to appear)

    Google Scholar 

  • Kelemen, J.: Measuring Cognitive Resource Use. Computers and Artificial Intelligence 8 (1989), pp. 29–42

    Google Scholar 

  • Kelemen, J., Mikulecký, P., StrĺŽenec, M.: Introduction to Artificial Intelligence. Comenius University, Bratislava, 1979 (in Slovak)

    Google Scholar 

  • Kelemen, J., KalaŠ, I., Mikulecký, P., Vojtko, M.: Artificial Intelligence. Comenius University, Bratislava, 1985 (in Slovak)

    Google Scholar 

  • Kelemen, J., Nagy, S.: Introduction to the Theory of Artificial Intelligence. Tankonyvkiadó, Budapest, 1989 (in Hungarian)

    Google Scholar 

  • Kowalski, R.A.: Logic for Problem Solving. North-Holland, Amsterdam, 1979

    Google Scholar 

  • Marr,D.: Vision. Freeman and Co., San Francisco, Cal., 1982

    Google Scholar 

  • Mikulecký, P.: On Knowledge-Based Software Tools. Computer Physics Communications 41 (1986), pp. 397–401

    Article  Google Scholar 

  • Mikulecký, P., KalaŠ, I., Kelemen, J.: Representation of Meta-Knowledge in Expert Systems. Computers and Artificial Intelligence 5 (1986), pp.223–234

    Google Scholar 

  • Mikulecký, P., Chorvátová, I.: Knowledge-Based Tool for a Scientific Program Library. In: Artificial Intelligence and Information-Control Systems of Robots '87 (I. Plander, Ed.), North-Holland, Amsterdam, 1987, pp. 355–358

    Google Scholar 

  • Minsky, M.: A Framework for Representing Knowledge. Memo No. 306, MIT AI Lab., Cambridge, Mass., 1974

    Google Scholar 

  • Newell, A.: Physical Symbol Systems. Cognitive Science 4, (1980), pp. 135–183

    Article  Google Scholar 

  • Newell, A.: Intellectual Issues in the History of Artificial Intelligence. In: The Study of Information: Interdisciplinary Messages (F. Machlup, U. Mansfield, Eds.), J.Wiley and Sons, New York, 1983

    Google Scholar 

  • Nilsson, N.J.: Problem Solving Methods in Artificial Intelligence. McGraw-Hill, New York, 1971

    Google Scholar 

  • Nilsson, N.J.: Principles of Artificial Intelligence. Tioga, Palo Alto, 1980

    Google Scholar 

  • PáleŠ,E.: Cooperation of Syntax and Semantics in Flexive Languages. Journal of Exp. and Theoretical Artificial Intelligence 2 (1990), to appear

    Google Scholar 

  • Papert, S.: Mindstorms. Basic Books, New York, 1981

    Google Scholar 

  • Popper, M., Kelemen, J.: An Attempt to Conceptualize the Medical Diagnostic Process. Computers and Artificial Intelligence 3 (1984), pp. 423–435

    Google Scholar 

  • Popper, M., Kelemen, J.: Expert Systems. Alfa, Bratislava, 1989 (in Slovak)

    Google Scholar 

  • Pylyshyn, Z.: Computation and Cognition. The MIT Press, Cambridge, Mass., 1984

    Google Scholar 

  • Roberts, R.B., Goldstein, I.P.: The FRL Manual. Memo No.409, MIT AI Lab., Cambridge, Mass., 1977

    Google Scholar 

  • Stillings, N.A. et al.: Cognitive Science — An Introduction. The MIT Press, Cambridge, Mass., 1987

    Google Scholar 

  • Vapnik, V.N., Chervonenkis, A.Ja.: Theory of Pattern Recognition. Nauka, Moscow, 1974 (in Russian)

    Google Scholar 

  • Winograd, T.: Language as a Cognitive Process. Addison-Wesley, Reading, Mass., 1983

    Google Scholar 

  • Winston, P.H.: Artificial Intelligence. Addison-Wesley, Reading, Mass., 1977

    Google Scholar 

  • Winston, P.H., Horn, B.K.P.: Lisp. Addison-Wesley, Reading, Mass., 1981

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Vladimir Mařík Olga Štěpánková Zdeněk Zdráhal

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kelemen, J., Mikulecký, P. (1990). Changing philosophy of teaching artificial intelligence a case study. In: Mařík, V., Štěpánková, O., Zdráhal, Z. (eds) Artificial Intelligence in Higher Education. Lecture Notes in Computer Science, vol 451. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52952-7_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-52952-7_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52952-1

  • Online ISBN: 978-3-540-47183-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics