The authors of the scientific monograph have come to the conclusion that ensuring sustainable development and security of economic systems in the new geostrategic realities requires the use of mechanisms for state protection of national economic interests, innovative outsourcing and digital technologies, and environmental protection. Basic research focuses on assessment the economic security of insurance companies, logistics processes, farms, healthcare organisations, retail and e-commerce, and tourist destinations. The research results have been implemented in the different decision-making models in the new (...) geostrategic realities, human resource management, environmental and international security, use of artificial intelligence, and city branding. The results of the study can be used in the developing policies, programmes and strategies for public-private partnerships, post-crisis recovery of Ukraine, and decision-making at the level of ministries and agencies that regulate the processes of managing sustainable development and security. The results can also be used by students and young scientists in the educational process and conducting scientific research on sustainable development and security of economic systems. (shrink)

One of us has previously argued that the Church-Turing Thesis (CTT), contra Elliot Mendelson, is not provable, and is — light of the mind’s capacity for effortless hypercomputation — moreover false (e.g., [13]). But a new, more serious challenge has appeared on the scene: an attempt by Smith [28] to prove CTT. His case is a clever “squeezing argument” that makes crucial use of Kolmogorov-Uspenskii (KU) machines. The plan for the present paper is as follows. After covering some necessary preliminaries (...) regarding the nature of CTT, and taking note of the fact that this thesis is “intrinsically cognitive” (§2), we: sketch out, for context, an open-minded position on CTT and related matters (§3); explain the formal structure of squeezing arguments (§4); after a review of KU-machines, formalize Smith’s case (§5); give our objections to certain assumptions in Smith’s argument (§6); support these objections with some evidence from general but limited-agent problem solving (§7); and explain why Smith’s argument is inconclusive (§8). We end with some brief, concluding remarks, some of which point toward near-future work that will build on the present paper (§9). (shrink)

Turingin testi, interrogatiivimalli ja tekoäly.

Cognitive neuroscience constitutes the third phase of development of the field of cognitive psychophysiology since it was established about half a century ago. A critical historical overview is given of this development, focusing on recurring problems that keep frustrating great expectations. It is argued that psychology has to regain its independent status with respect to cognitive neuroscience and should take psychophysical dualism seriously. A constructive quantum physical model for psychophysical interaction is presented, based on a new stochastic interpretation of the (...) quantum potential in the de Broglie–Bohm theory. This model can be applied to analyze cognitive information processing in psychological experiments. It is shown that the quantum potential shares several features with Duns Scotus’ notion of contingent causality. (shrink)

I examine the abstraction/representation theory of computation put forward by Horsman et al., connecting it to the broader notion of modeling, and in particular, model-based explanation, as considered by Rosen. I argue that the ‘representational entities’ it depends on cannot themselves be computational, and that, in particular, their representational capacities cannot be realized by computational means, and must remain explanatorily opaque to them. I then propose that representation might be realized by subjective experience (qualia), through being the bearer of the (...) structure of abstract objects that are represented. (shrink)

I articulate a novel modal argument for P=NP.

Abstract: In the course of seeking an answer to the question "How do you know you are not a zombie?" Floridi (2005) issues an ingenious, philosophically rich challenge to artificial intelligence (AI) in the form of an extremely demanding version of the so-called knowledge game (or "wise-man puzzle," or "muddy-children puzzle")—one that purportedly ensures that those who pass it are self-conscious. In this article, on behalf of (at least the logic-based variety of) AI, I take up the challenge—which is to (...) say, I try to show that this challenge can in fact be met by AI in the foreseeable future. (shrink)