Abonnement à la biblothèque: Guest
Journal of Automation and Information Sciences

Publication de 12  numéros par an

ISSN Imprimer: 1064-2315

ISSN En ligne: 2163-9337

SJR: 0.173 SNIP: 0.588 CiteScore™:: 2

Indexed in

The Concept of Information. Part 2. The Functions of a Scientific Theory

Volume 52, Numéro 4, 2020, pp. 65-81
DOI: 10.1615/JAutomatInfScien.v52.i4.60
Get accessGet access

RÉSUMÉ

Any scientific theory should effectively perform a variety of information processing functions, regardless of the specifics of knowledge and the field of formalization. To achieve the global aim − maximum assistance in solving each of the infinite number of problems of the evolution of society − the information computer should be able to simulate all the functions of scientific theories, which are combined into a conceptually single system of knowledge processing, and due to this the information computer should provide the possibility to use knowledge directly in an explicit form for solving current and new problems. The meaning of communicative, descriptive-prescriptive, and argumentative (deduction, induction, explanation, prediction, understanding) functions of scientific theories is clarified. The models of synthesis of various components of the structure of scientific theories are described. The objects of real-world and the communicative functions of analysis and generation of language messages are enough for the organization of arbitrarily complex dialogue between a subject and the real world. The descriptive-prescriptive functions are the cornerstone for cognition and transformation of reality. All facts of reality are descriptive, whereas the standards, samples, ideals and norms are estimates. The argumentation is a process of reasoning during which the arguments, opinions, and conclusions are generated, that justify the assessment of truth or falsity of a statement or a theory. The self-description of the metalanguage of normal forms of knowledge is presented. The structure of the core of the information computer, which is based on this metalanguage, is presented, comprised of the following: the metaprogram compiler, two interpreters (the metaprogram interpreter and the terminal program interpreter), a glossary of terms and two arrays of data (input array and output array). The process of functioning of a knowledge processing system based on an information computer is described. The information on the implementation of the layout of the information computer in the form of a personal computer supplemented with the knowledge base interpreter made on a prototyping board of Actel corporation using minimum required hardware and software support is given. Giving users the metalanguage for describing application problems and the improved technology of formulating and solving problems, which realize all the features of a scientific theory, will provide extremely high growth of "soft" product reliability and programming efficiency.

RÉFÉRENCES
  1. Kurgaev A.F., The concept of information. Part 1. Presentation of information in the form of a scientific theory, Mezhdunarodnyi nauchno-tekhnicheskiy zhurnal "Problemy upravleniya i informatiki", 2020, No. 1, 115-126.

  2. Popper K., Logic and the growth of scientific knowledge. Selected works [Russian translation], Progress, Moscow, 1983.

  3. Ivin A.A., Fundamentals of the theory of arguments [in Russian], GITs "VLADOS", Moscow, 1997, https://coollib.com/b/298965.

  4. Austin J.L., The word as an action, New in foreign linguistics, Progress, Moscow, 1986, Vol. 17: Theory of speech acts, 22-129.

  5. Searle J.R., What is a speech act? New in foreign linguistics, Progress, Moscow, 1986, Vol. 17: Theory of speech acts, 151-169.

  6. Searle J.R., Classification of illocutionary acts, New in foreign linguistics, Progress, Moscow, 1986, Vol. 17: Theory of speech acts, 170-194.

  7. Searle J.R., Indirect speech acts, New in foreign linguistics, Progress, Moscow, 1986, Vol. 17: Theory of speech acts, 195-222.

  8. Kurgaev A.F., Problematic orientation of the architecture of computer systems [in Russian], Stal, Kiev, 2008.

  9. Nepeyvoda N.N., Applied logic [in Russian], Ucheb. posobiye. 2-ye izd., ispr. i dop., Izd-vo Novosib. un-ta, Novosibirsk, 2000.

  10. Voishvillo E.K., Degtyarev M.G., Logic as part of the theory of cognition and scientific methodology. Fundamental course, Volume I, II [in Russian], Nauka, Moscow, 1994, https://platona.net/load/ knigi_po_filosofii/logika/vojshvillo_degtjarev_logika_kak_chast_teorii_poznanija_nauchnoj_metodo logii/18-1-0-734.

  11. Logical and philosophical works of V.A. Smirnov, Ed. by V.I. Shalak [in Russian], Editorial URSS, Moscow, 2001.

  12. Krivonosov A.T., Language, logic, thinking: inference in a natural language [in Russian], Valang, Moscow, New York, 1996.

  13. Bazhenov L.B., The structure and functions of natural science theory [in Russian], Nauka, Moscow, 1978.

  14. Mill J.St., The syllogistic and inductive logic system: A statement of the principles of proof in connection with methods of scientific research [in Russian], Izd. G.A. Lemana, Moscow, 1914.

  15. Nikiforov A.L., Tarusina E.I., Types of scientific explanation, Logic of scientific cognition, Actual problems, Ed. by D.P. Gorsky, Nauka, 1987, 180-196.

  16. Nikiforov A.L., The semantic concept of understanding, Proc. of Int. symp. "Research on the logic of scientific cognition", Nauka, Moscow, 1990, 4-18.

  17. Ilyin V.V., Theory of cognition, Epistemology [in Russian], Izd-vo MGU, Moscow, 1994.

  18. Kun T., The structure of scientific revolutions [in Russian], Progress, Moscow, 1977.

  19. Lakatos I., Proofs and refutations. How theorems are proved [in Russian], Nauka, Moscow, 1967.

  20. Stepin V.S., Theoretical knowledge. Structure, historical evolution [in Russian], Progress-Traditsiya, Moscow, 2003.

  21. Vapnik V.N., Dependency recovery from empirical data [in Russian], Nauka, Moscow, 1979.

  22. Ivakhnenko A.G., Inductive methods of self-organization of models of complex systems [in Russian], Naukova dumka, Kiev, 1982.

  23. Minto V., Deductive and inductive logic [in Russian], Delovaya kniga, Ekaterinburg; Odyssey, Bishkek, 1997.

  24. Asmus V.F., Logic [Russian translation], Ogiz, Moscow, 1947.

  25. Carroll L., A tangled tale [Russian translation], Mir, Moscow, 1973.

  26. Ivlev Yu.V., Logic [in Russian], Logos, Moscow, 1997.

  27. Kurgaev A.F., Grygoryev S.N., Metalanguage of normal forms of knowledge, Cybernetics and Systems Analysis, 2016, 52, No. 6, 839-848, DOI: 10.1007/s10559-016-9885-3.

  28. Kurgaev A.F., Grygoryev S.N., Normal forms of knowledge, Doklady natsionalnoy akademii nauk Ukrainy, 2015, No. 11, 36-43.

CITÉ PAR
  1. Palagin Oleksandr, Kurgaev Oleksandr, Budnyk Mykola, Chaikovsky Illya, Development of a Subsystem for Supporting a Complex of Diagnostic Procedures for the Information-Analytical System TISP, Cybernetics and Computer Technologies, 3, 2021. Crossref

  2. Kurgaev Aleksandr F., Palagin Oleksandr V., Rehabilitation According to the Biological Feedback, 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2021. Crossref

Portail numérique Bibliothèque numérique eBooks Revues Références et comptes rendus Collections Prix et politiques d'abonnement Begell House Contactez-nous Language English 中文 Русский Português German French Spain