On Problems of the Evolution of Logic.V. A. Bocharov,E. K. Voishvillo,A. G. Dragalin &V. A. Smirnov -1980 -Russian Studies in Philosophy 18 (4):31-52.detailsLogic today is a ramified discipline existing on many levels. It is actively pursued by philosophers, mathemeticians, and computer specialists. The reason is that it is widely employed to solve a number of problems both in the theory of knowledge and in mathematics and computer science. But the broad spectrum of application of contemporary logic does not change the fact that its basic content has the nature of philosophical methodology. In contemporary logic it is the forms of thought and the (...) methods of scientific cognition, the modes of organization of scientific knowledge, and the procedures for the introduction of various concepts, abstractions, and idealizations that are studied. This places logic in intimate contact with epistemology and methodology. The distinctiveness of the approach taken by formal logic to this particular subject consists simply of its studying all these procedures pertaining to concrete cognition through the use of special formal languages, of algebraic, topological, and other exact techniques. (shrink)
The intelligent technology of smart fishing using a heterogeneous ensemble of unmanned vehicles.Sherstjuk V. G.,Zharikova M. V.,Sokol I. V.,Levkivskyi R. M.,Gusev V. N. &Dorovskaja I. O. -2020 -Artificial Intelligence Scientific Journal 25 (2):71-85.detailsThe paper addresses the use of heterogeneous ensembles of intelligent unmanned vehicles in such a perspective field of innovations as an unmanned fishery. The issues of joint activity of unmanned vehicles of different types in fishing operations based on intelligent technologies are investigated. The “smart fishing” approach based on the joint fishing operation model is proposed. The operational framework that includes missions, roles, and activity scenarios embedded in the discretized spatial model is presented. The scenario activities are considered as the (...) sequences of pentad that determine executing specific functions concerning the specified waypoint, timepoints, and the states of vehicles. The definition of the plan as the scenario prototype that needs adjusting to the conditions of the situational context is proposed. The coordination problem regarding the joint activities of the unmanned vehicles and their scenarios is defined and the coordination framework based on the distributed common board model and coordination primitives is presented. The prototype of the intelligent scenario-based system including the implementation of both operational and coordination frameworks developed for the control of unmanned vehicles is described. This system makes unmanned vehicles capable to absorb all the latest advances in intelligent technologies to perform smart fishing operations jointly in a large heterogeneous group. The proposed approach to smart fishing using intelligent technologies makes it possible to detach fishermen from the fishing activities dangerous to their life and health, to reduce significantly poaching and illegal fishing, to increase the overall efficiency of fishing operations, and even to save the marine ecosystem. (shrink)
Everyday ethics in an acute psychiatric unit.V. J. Grant -2002 -Journal of Medical Ethics 28 (3):173-176.detailsThe paper begins with a brief statement about the centrality of autonomy or self governance as a core ethical value in the interaction between health care worker and patient. Then there are three stories describing everyday interactions in an acute psychiatric unit. These are used to help unravel ethical issues relating to patient autonomy. Each story is analysed for its ethical components by describing the protagonists' different perspectives, and their reactions to the events. Attention is also paid to institutional policy. (...) Suggestions are made for small changes in both staff behaviour and institutional procedures. Such changes could enhance rather than diminish patient autonomy. (shrink)
Comenius (Komensky) on Lexical Symbolism in an Artificial Language.V. T. Miskovska -1962 -Philosophy 37 (141):238 - 244.detailsAlthough philosophising about given languages had been going on ever since the time of Plato's Kratylos , the idea of an artificial philosophical language or system of signs began to take shape in the seventeenth century. Both Descartes and Mersenne explored the ground for the foundations of a system of expressions which could meet all the requirements of logical thought; but the merit of presenting the first elaborate plans goes to the British authors George Dalgarno and John Wilkins. 1 Leibniz (...) followed soon after with his characteristica universalis. (shrink)
Algorithm of the automated events classification process in the information space.Hrytsiuk V. V. -2020 -Artificial Intelligence Scientific Journal 25 (2):42-52.detailsThe article defines the algorithm and details the sequential tasks for building an effective model of automated classification of events in the information space. On the eve and during the armed aggression of the Russian Federation against Ukraine, the consequences of external negative information influence were noticeable. Therefore, the organization and implementation of counteraction to such influence is urgent. An important component of this activity is the classification of information events in the information space in order to further analyze them (...) and form proposals for decision-making to counteract the negative information impact. Given the fact that in the global information space and, in particular, the information space of the state in the interests of counteracting such influence, it is necessary to constantly process a significant amount of information, so the task of improving the efficiency of this process is provided by automating its components. The algorithm of the automated classification process is based on a number of consecutive tasks, namely: data retrieval, preelection of messages, saving pre-selected messages in the database, determining a set of indicators for automated classification of information events, pre-processing a single document, distribution of messages by criteria by categories, presentation of information in a convenient form, saving the results of classification in the database. The proposed material reveals the content of these tasks. The proposed algorithm will serve to automatically divide information events of different nature into categories in order to increase the efficiency of assessing the level of negative information impact on target audiences for timely response to its manifestations. (shrink)
Robotic grasping with obstacle avoidance using octrees.Rud V. V. -2020 -Artificial Intelligence Scientific Journal 25 (3):7-12.detailsThis paper considers the problems of the integration of independent manipulator control systems. Areas of control of the manipulator are: recognition of objects and obstacles, identification of objects to be grasped, determination of reliable positions by the grasping device, planning of movement of the manipulator to certain positions with avoidance of obstacles, and recognition of slipping or determination of reliable grasping. This issue is a current problem primarily in industry, general-purpose robots, and experimental robots. This paper considers current publications that (...) address these issues. Existing algorithms and approaches have been found in the management of both parts of the robot manipulator and solutions that combine several areas, or the integration of several existing approaches. There is a brief review of current literature and publications on the above algorithms and approaches. The advantages and disadvantages of the considered methods and approaches are determined. There are solutions that cover either some areas or only one of them, which does not meet the requirements of the problem. Using existing approaches, integration points of existing implementations are identified to get the best results. In the process, a system was developed that analyzes the environment, finds obstacles, objects for interaction, poses for grasping, plans the movement of the manipulator to a specific position, and ensures reliable grasping of the object. The next step was to test the system, test the performance, and adjust the parameters for the best results. The resulting system was developed by the research team of RT-Lions, Technik University, Reutlingen. The hardware research robot includes an Intel Realsense camera, a Sawyer Arm manipulator from Rethink Robotics, and an internally grabbing device. (shrink)
On Hilbert's Axiomatics of Propositional Logic.V. Michele Abrusci -2014 -Perspectives on Science 22 (1):115-132.detailsHilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...) final public presentation by Hilbert of an axiom system for propositional logic is contained in the 1934 book Grundlagen der Mathematik, I (Hilbert and Bernays [1934] 1968). Sequent .. (shrink)
Konservatizm: sot︠s︡ialʹno-ėkonomicheskie uchenii︠a︡.V. A. Achkasov,N. V. Poli︠a︡kov &V. T. Ri︠a︡zanov (eds.) -2009 - Sankt-Peterburg: Izd-vo S.-Peterburgskogo universiteta.detailsИздание представляет результаты исследования малоизученной темы социально-экономических доктрин консерватизма. Оно отражает их развитие от времени выражения их в виде утопий, погруженных в более общие социально-философские и политические учения.
A Novel Full-Reference Color Image Quality Assessment Based on Energy Computation in the Wavelet Domain.V. N. Manjunath Aradhya,D. R. Rameshbabu,M. Ravishankar &M. C. Hanumantharaju -2013 -Journal of Intelligent Systems 22 (2):155-177.detailsThis article presents a novel full-reference image quality assessment algorithm by depicting the sub-band characteristics in the wavelet domain. The proposed image quality assessment method is based on energy estimation in the wavelet-transformed image. Image QA is achieved by applying a multilevel wavelet decomposition on both the original and the enhanced image. Next, the wavelet energy and vector are computed to obtain the percentage of the energy that corresponds to the approximation and the details, respectively. Further, the approximate and detailed (...) energy levels of both the original and the enhanced images are compared to formulate an image quality assessment. Numerous experiments are conducted on a dozen of image enhancement algorithms. The results presented show that the image with poor contrast in the foreground than the background has continuous regular coefficient values. The probability density function for such an image has a relatively lower WE and skewness compared with the background. The proposed scheme not only evaluates the global information of an image but also estimates the fine, detailed changes in an enhanced image. Thus, the proposed metric serves as an objective and effective FR criterion for color image QA. The experimental results presented confirm that the proposed WE metric is an efficient and useful metric for evaluating the quality of the color image enhancement. (shrink)