2 resultados para Logics and Meanings of Programs

em Bulgarian Digital Mathematics Library at IMI-BAS


Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this report we will explain some earlier papers [1, 2] which are about definition of Artificial Intelligence and about perfect AI. The definition of AI is intuitive in [1] and formal in [2]. The perfect AI is a program that satisfies the definition for AI but which is absolutely useless because of the combinatory explosion. Most people do not understand these papers because they never saw AI and that is why for them the notion of AI is too abstract. In this report we will make parallel between definition of chess playing program and definition of AI. Of course, the definition of chess playing program is useless because people already know what this is. Anyway, we will give you this definition because its construction follows closely the construction of the definition of AI. Also the results are almost the same with the only difference that we can optimise the perfect chess playing program in order to obtain a real chess playing program, but for the moment we cannot optimise the perfect AI in order to obtain a real AI. In this report we will not speak about AI. The only matter which we will observe will be about chess playing programs. If you understand the construction and the results about chess playing programs then you can read the papers [1, 2] and to see similar results about AI.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Nowadays the great public libraries in Bulgaria are gaining the appearance of digital centers which provide new informational resources and services in the digital space. The digital conversion as a way of preservation is one of the important priorities of Regional Public Library in Veliko Tarnovo. In the last few years we persistently search for possible ways of financing by national and foreign programs in this direction. In the beginning the strategy was oriented to digitalization of the funds with most urgent conversion – these of the local studies periodicals from 1878 till 1944 year. The digitalization of funds will create conditions of laying the basement of full text database of Bulgarian periodical publications. The technology that is offered gives opportunities for including other libraries in the Unified index, which can develop it into a National Unified index of periodical publications. The integrated informational environment that is created is an attractive, comfortable and useful place for work in home or at work for researchers, historians, art experts, bibliographers. The library readers use very actively all informational services of the library internet page and work competently with the on-line indexes provided there, they find the necessary title, which can be demanded later for usage in home or in the library, using electronic means again.