Skip to main content
SpringerLink
Log in

Semiotic models: Successes and perspectives

  • Published:
Cybernetics Aims and scope

Conclusions

In the next few years an intensive development can be expected in the theory of semiotic models, development of the apparatus of pseudophysical logics (spatial, causal, actions, evaluations, etc.), development of the theory of fuzzy logics, particularly logics with fuzzy quantifiers, the development of effective algorithms for search over semantic nets, and the development of methods and a theory of generalization on the basis of structural representations of knowledge. In the field of practical application of semiotic models a great influence will be exerted by the development of work in the field of robot design and the development of large-scale intelligent data banks. It is just these applied fields that will allow a clear formulation of the problems of generalization and planning. The tasks of control of complex objects will have a great influence on the development of training algorithms for the subsystem L and the grounding of the method of subjective evaluation of the operating quality of this kind of control system.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Literature Cited

  1. É. L. Nappel'baum and D. A. Pospelov, “Problems of collective decision and expert evaluations,” in: Questions of Cybernetics. No. 8, Decision Theory [in Russian], Sov. Radio, Moscow (1975).

    Google Scholar 

  2. V. M. Glushkov, “Prognosis on the basis of expert estimates,” Kibernetika, No. 2 (1969).

  3. D. A. Pospelov and V. N. Pushkin, Thought and Automata [in Russian], Sov. Radio, Moscow (1972).

    Google Scholar 

  4. J. A. Robinson, “A machine-oriented logic based on the resolution principle,”. J. Assoc. Comput, Mach., January (1965).

  5. N. A. Shanin, G. V. Davydov, S. Yu. Maslov, G. E. Mints, V. P. Orevkov, and A. O. Slisenko, Algorithm for Machine Search for a Natural Logical Derivation in the Propositional Calculus [in Russian], Nauka, Moscow (1965).

    Google Scholar 

  6. R. E. Fikes and N. J. Nilsson, “STRIPS: a new approach to the application of theorem proving in problem solving,” Artificial Intelligence, Vol. 3 (1972).

  7. J. R. Slagle, Artificial Intelligence: The Heuristic Programming Approach, McGraw Hill, New York (1971).

    Google Scholar 

  8. J. A. Feldman et al., “The Stanford hand — eye project,” in: Proceedings of the First International Joint Conference on Artificial Intelligence, Washington, D.C. (1969).

  9. B. Sandewall, PCF-2, A First-Order Calculus for Expressing Conceptual Information, Upsala University (1972).

  10. I. Havel and O. Štěpànkovà, The Role of Problem Solving in Cognitive Robotic Systems, Preprint, Praha (1976).

  11. E. I. Edmov, “Language of an autonomous intelligent robot,” in: Questions of Cybernetics [in Russian], No. 14, Sov. Radio, Moscow (1975).

    Google Scholar 

  12. S. Vere, “Induction of concepts in the predicate calculus,” in: Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Planning and Problem Solving, Tbilisi (1975).

  13. N. G. Bruevich and B. E. Chelishchev, “Questions of automation of technological design. I, II,” Izv. Akad. Nauk SSSR, Tekh. Kibernetika, Nos. 5, 6 (1974).

    Google Scholar 

  14. G. L. Levitan and A. F. Mar'yanko, “Logicosemantic aspects of control of technological production,” in: Information Banks for Decision Making [in Russian], Izd. Mosk. Doma Nauchno-Tekh. Propagandy (1976).

  15. Yu. S. Val'denberg, V. A. Dement'ev, G. I. Levitan, and A. F. Mar'yanko, “Situational control of technological processes,” in: Questions of Cybernetics [in Russian], No. 14, Sov. Radio, Moscow (1975).

    Google Scholar 

  16. A. Prior, Time and Modality, Oxford (1957).

  17. N. Rescher, “On the logic of chronological propositions,” Mind,75, No. 297 (1966).

  18. A. A. Ivin, “The logic of time,” in: Nonclassical Logic [in Russian], Nauka, Moscow (1970).

    Google Scholar 

  19. L. A. Rvachev, Mathematics and Semantics, Naukova Dumka, Kiev (1966).

    Google Scholar 

  20. P. Hayes, “A logic of action,” Machine Intelligence. Vol. 6, American Elsevier (1971).

  21. N. Rescher, The Logic of Commands, New York (1965).

  22. A. A. Ivin, Foundations of the Logic of Estimates [in Russian]. Izd. MGU (1970).

  23. M. M. Bongard, I. S. Losev, and M. S. Smirnov, “A proposed model for the organization of behavior —Animal,” in: Simulation of Learning, and Behavior [in Russian], Nauka, Moscow (1975).

    Google Scholar 

  24. M. M. Bongard, I. S. Losev, V. V. Maksimov, and M. S. Smirnov, “A formal language for the description of situations, employing the notion of connection,” in: Simulation of Learning and Behavior [in Russian], Nauka, Moscow (1975).

    Google Scholar 

  25. É. Kh. Tyugn, “The solution of problems by computer models,” Zh. Vychisl. Mat. Mat. Fiz., No. 5 (1970).

  26. N. Cercone and L. Schubert, “Toward a state based conceptual representation,” in: Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Representation of Problems and Knowledge, Tbilisi (1975).

  27. N. J. Nisson. Problem-Solving Methods in Artificial Intelligence, McGraw-Hill, New York (1971).

    Google Scholar 

  28. É. Kh. Tyugu, “A solver for computer problems,” Zh. Vychisl. Mat. Mat. Fiz., No. 4 (1971).

  29. É. Kh. Tyugu and M. Unt, “Experiments with a computational problem solver,” in: Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Planning Problem Solving, Tbilisi (1975).

  30. E. F. Codd, “A relational model of data for large shared data banks,” Commun. Assoc. Comput. Mach., 13, No. 6 (1971).

  31. Yu. I. Klykov, Situational Control of Large-Scale Systems [in Russian], Energiya, Moscow (1974).

    Google Scholar 

  32. D. A. Pospelov, Large-Scale Systems. Siruational Control [in Russian], Znanie, Moscow (1975).

    Google Scholar 

  33. R. Michalski, “A variable-valued logic system applied to pattern description,” in: Graphic Languages, Vanconves (1972).

  34. R. Michalski, “The synthesis of optimal and guasioptimal variable-valued logic formulas,” Report, University of Illinois (1974).

  35. R. C. Schank and R. Abelson, “Seripts, plans, and knowledge,” in: Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Representation of Problems and Knowledge, Tbilisi (1975).

  36. M. Minsky, A. Framework for Representing Knowledge, MIT AI Memo 306, June (1974).

  37. Yu. I. Klykov and V. N. Pushkin, “Semantic language and problem modeling in human thought,” in: Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Psychological Aspects, Tbilisi (1975).

  38. D. A. Pospelov, “A system apptoach to the modeling of mental activity,” in: Methodological Problems of Systems Research [in Russian], Mysl', Moscow (1970).

    Google Scholar 

  39. E. B. Hunt, J. Marin, and P. J. Stone, Experiments in, Induction, Academic Press, New York (1966).

    Google Scholar 

  40. V. P. Gladun and N. D. Vashchenko, “Methods for the formation of concepts by computer,” Kibernetika, No, 2 (1975).

  41. R. E. Banerji, Theory of Problem Solving, American Elsevier, New York (1969).

    Google Scholar 

  42. L. Zadeh, “Puzzy sets,” Inf. Control. No. 3 (1972).

  43. E. L. Efimov, D. A. Pospelov, L. V. Litvintseva, G. B. Bibin, and L. B. Nisenboim, Theoretical Problems of Situational Control [in Russian], Preprint, Nauchnogo Soveta po Kompleksnoi Probl. “Kibernetika” pri Presidiume Akad. Nauk SSSR, Moscow (1975).

    Google Scholar 

  44. T. Winograd, Five Lectures on Artificial Intelligence, Tokyo (1974).

  45. I. A. Mel'chuk, Experiments in the Theory of Linguistic Models of “Meaning —Text” [in Russian], Nauka, Moscow (1974).

    Google Scholar 

  46. C. Green, “Theorem-proving by resolution as a basis for question-answering systems,” Machine Intelligence, Vol. 4, American Elsevier, New York (1969).

    Google Scholar 

  47. C. Green, “Application of theorem-proving to problem solving,” in: Proceedings of the First international Joint. Conference on Artificial Intelligence, Washington, D.C. (1969).

  48. M. G. Mal'kovskii, “TULIP — a trainable problem solver, understanding natural language,” in: Proceedings of the Fourth International Joint Conference on Artificial Intelligence, Understanding Natural Language, Tbilisi (1975).

  49. A. P. Ershov, A. S. Narin'yani, and I. A. Mel'chuk, “RITA — an experimental natural-language interactive system,” in: Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Understanding Natural Language, Tbilisi (1975).

  50. V. M. Bryabrin (Briabrin) and D. A. Pospelov, DILOS — Dialog System for Information Retrieval, Computation, and Logical Inference, Preprint, IIASA, Wien (1975).

    Google Scholar 

  51. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “A method for the design of fourth-generation and later computers,” Kibernetika, No. 1 (1973).

  52. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii “Concerning the method of designing computers in the PROEKT system,” Kibernetika, No. 2 (1971).

  53. G. S. Al'tshuller, An Algorithm of Invention [in Russian], Moskovskii Rabochii, Moscow (1973).

    Google Scholar 

  54. V. M. Glushkov, A. A. Barabanov, L. A. Kalinichenko, S. D. Mikhnovskii, and Z. L. rabinovich, Computers with Developed Systems of Interpretation [in Russian], Naukova Dumka, Kiev (1970).

    Google Scholar 

  55. L. S. Zagadskaya and Yu. I. Klykov, “Practical application of situational control,” Izv. Akad. Nauk SSSR, Tekh. Kibernetika, No. 2 (1971).

  56. V. Ya. Zholondz', “The realization of a situational model of control of special automobile transportation on the basis of COBOL,” in: Questions of Cybernetics [in Russian], No. 13, Sov. Radio, Moscow (1974).

    Google Scholar 

  57. A. Yu. Leviatov, V. N. Zakharov M. P. Nemtsov, and S. V. Pochernyaev, “Informational support for a system of situational control in the enterprise,” in: Questions of Cybernetics [in Russian], No. 14, Sov. Radio, Moscow (1975).

    Google Scholar 

  58. In: Questions of Cybernetics [in Russian], No. 13, Sov. Radio, Moscow (1974).

  59. In: Questions of Cybernetics [in Russian], No. 14, Sov. Radio, Moscow (1975).

Download references

Authors
  1. D. A. Pospelov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika, No. 6, pp. 114–123, November–December, 1976.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pospelov, D.A. Semiotic models: Successes and perspectives. Cybern Syst Anal 12, 929–937 (1976). https://doi.org/10.1007/BF01070425

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation