Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "turing" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-25 z 36
Tytuł:
Semantics and symbol grounding in Turing machine processes
Autorzy:
Sarosiek, Anna
Powiązania:
https://bibliotekanauki.pl/articles/429109.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
Steven Harnad
symbolic system
semantic system
symbol grounding problem
Turing machine
Turing test
Church-Turing Thesis
artificial intelligent
cognition
Opis:
The aim of the paper is to present the underlying reason of the unsolved symbolgrounding problem. The Church-Turing Thesis states that a physical problem,for which there is an algorithm of solution, can be solved by a Turingmachine, but machine operations neglect the semantic relationship betweensymbols and their meaning. Symbols are objects that are manipulated on rulesbased on their shapes. The computations are independent of the context, mentalstates, emotions, or feelings. The symbol processing operations are interpretedby the machine in a way quite different from the cognitive processes.Cognitive activities of living organisms and computation differ from each other,because of the way they act in the real word. The result is the problem ofmutual understanding of symbol grounding.
Źródło:
Semina Scientiarum; 2017, 16
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Understanding, Expression and Unwelcome Logic
Autorzy:
Holub, Štěpán
Powiązania:
https://bibliotekanauki.pl/articles/1796970.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
mechanism
Gödel’s theorem
Turing machine
hermeneutics
Opis:
In this paper I will attempt to explain why the controversy surrounding the alleged refutation of Mechanism by Gödel’s theorem is continuing even after its unanimous refutation by logicians. I will argue that the philosophical point its proponents want to establish is a necessary gap between the intended meaning and its formulation. Such a gap is the main tenet of philosophical hermeneutics. While Gödel’s theorem does not disprove Mechanism, it is nevertheless an important illustration of the hermeneutic principle. The ongoing misunderstanding is therefore based in a distinction between a metalogical illustration of a crucial feature of human understanding, and a logically precise, but wrong claim. The main reason for the confusion is the fact that in order to make the claim logically precise, it must be transformed in a way which destroys its informal value. Part of this transformation is a clear distinction between the Turing Machine as a mathematical object and a machine as a physical device.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 183-202
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Models of quantum computation and quantum programming languages
Autorzy:
Miszczak, J.
Powiązania:
https://bibliotekanauki.pl/articles/200159.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
programming languages
models of computation
Turing machine
Opis:
The goal of the presented paper is to provide an introduction to the basic computational models used in quantum information theory. We review various models of quantum Turing machine, quantum circuits and quantum random access machine (QRAM) along with their classical counterparts. We also provide an introduction to quantum programming languages, which are developed using the QRAM model. We review the syntax of several existing quantum programming languages and discuss their features and limitations.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2011, 59, 3; 305-324
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Turing machine approach to runtime software adaptation
Autorzy:
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/952943.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
runtime change
dynamic modification
computability theory
turing machines
Opis:
In this paper, the problem of applying changes to software at runtime is considered. The computability theory is used in order to develop a more general and programming-language-independent model of computation with support for runtime changes. Various types of runtime changes were defined in terms of computable functions and Turing machines. The properties of such functions and machines were used to prove that arbitrary runtime changes on Turing machines are impossible in general cases. A method of Turing machine decomposition into subtasks was presented and runtime changes were defined through transformations of the subtask graph. Requirements for the possible changes were considered with regard to the possibility of subtask execution during such changes. Finally, a runtime change model of computation was defined by extension of the Universal Turing Machine.
Źródło:
Computer Science; 2014, 15 (3); 293-310
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Relativized helping operators
Autorzy:
Cintioli, P.
Powiązania:
https://bibliotekanauki.pl/articles/1964198.pdf
Data publikacji:
2005
Wydawca:
Politechnika Gdańska
Tematy:
oracle Turing machines
structural complexity
relativizes separations
helping
Opis:
Schöning and Ko respectively introduced the concepts of helping and one-side-helping, and then defined new operators, Phelp(•) and P1-help(•), acting on classes of sets C and returning classes of sets Phelp(C) and P1-help(C). A number of results have been obtained on this subject, principally devoted to understanding how wide the Phelp(C) and P1-help(C) classes are. For example, it seems that the Phelp(•) operator contracts NP ∩ coNP}, while the P1-help(•) operator enlarges UP. To better understand the relative power of P1-help(•) versus Phelp(•) we propose to search, for every relativizable class D containing P, the largest relativizable class C containing P such that for every oracle B PBhelp(CB)? PB1-help(DB). In the following paper: Cintioli P. and Silvestri R. 1997 Inf. Proc. Let. 61 189, it has been observed that Phelp(UP ∩ coUP)= P1-help(UP ∩ coUP), and this is true in any relativized world. In this paper we consider the case of D=UP ∩ coUP and demonstrate the existence of an oracle A for which PAhelp(UPA2 ∩ coUPA2) is not contained in PA1-help(UPA ∩ coUPA). We also prove that for every integer k ≥ 2 there exists an oracle A such that PAhelp(UPAk ∩ coUPAk) ? UPAk.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2005, 9, 3; 357-367
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Enigma : życie i śmierć Alana Turinga
Autorzy:
Hodges, Andrew.
Współwytwórcy:
Bartol, Wiktor. Tłumaczenie
Ciesielski, Krzysztof. Recenzja
Data publikacji:
2002
Wydawca:
Warszawa : Prószyński i S-ka
Tematy:
Turing Alan M.
Turing Alan M. (1912-1954) biografia recenzja
Enigma (maszyna szyfrująca) recenzja
Matematycy biografie Wielka Brytania 20 w. recenzja
Opis:
Matematyk brytyjski. W okresie II wojny światowej zajmował się konstrukcją maszyn deszyfrujących.
Oryg.: "Alan Turing: the Enigma".
Dostawca treści:
Bibliografia CBW
Książka
Tytuł:
Immersion level and bot player identification in a multiplayer online game: The World of Warships case study
Poziom immersji a identyfikowanie botów w wieloosobowej grze online — studium przypadku gry World of Warships
Autorzy:
Łupkowski, Paweł
Krajewska, Violetta
Powiązania:
https://bibliotekanauki.pl/articles/1367799.pdf
Data publikacji:
2019-02-12
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
immersja
wieloosobowe gry online
identyfikacja botów
unsuspecting Turing Test
Opis:
In this paper we present the results of an experimental study of bot identification in a multiplayer online game. Our game of choice for the study was World of Warships. The tested group consisted of 30 subjects (15 experienced players and 15 players without significant experience in this domain). Subjects played the game against bots or against human players. The main hypothesis for the study was that the more immersed a player was, the less accurate s/he will identify the opposing players (as human players or as bots). On the basis of the results, this hypothesis cannot be confirmed.
W artykule przedstawiamy wyniki badania poświęconego identyfikacji graczy-botów w wieloosobowej grze online. Badanie zostało przeprowadzone z wykorzystaniem gry World of Warships. Grupa badana składała się z 30 osób (15 doświadczonych graczy oraz 15 osób z niewielkim doświadczeniem w grach). Badani grali w grę przeciwko botom lub ludziom. Główną hipotezą badawczą przyjętą przez nas na potrzeby badania było przypuszczenie, że im wyższy poziom immersji osiągnie gracz, tym mniej trafnie będzie rozpoznawał graczy, przeciwko którym gra (jako ludzi lub boty). Hipoteza ta nie znajduje potwierdzenia w wynikach badania.
Źródło:
Homo Ludens; 2018, 1, 11; 155-171
2080-4555
Pojawia się w:
Homo Ludens
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Paradygmat obiektowy w oprogramowaniu astronomicznym
Autorzy:
Janusz, Robert
Powiązania:
https://bibliotekanauki.pl/articles/429277.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
object oriented paradigm
scientific software
Turing Machine
knowledge
mathematical model
Opis:
To create an astronomical software, one should use the most effective method to produce the quickest hardware calculation. However, the not so effective object oriented paradigm seems to have bigger influence on the astronomical domain. We discuss the status quo of its methodology. The traditional, Turing computation model does not have so distinct influence on knowledge creation because it is hardware-oriented. An object oriented programming language is more influential on discovery, because it works directly in the scientific domain.
Źródło:
Semina Scientiarum; 2018, 17
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dynamic Turing Machine: model and properties for runtime code changes
Autorzy:
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/305728.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
computability theory
models of computation
Turing machine
runtime code changes
Opis:
In this paper, a dynamic model of computation based on the Universal Turing Machine is proposed. This model is capable of applying runtime code modifications for 3-symbol deterministic Turing Machines at runtime and requires a decomposition of the simulated machine into parts called subtasks. The algorithm for performing runtime changes is considered, and the ability to apply runtime changes is studied through computer simulations. Theoretical properties of the proposed model, including computational power as well as time and space complexity, are studied and proven. Connections between the proposed model and Oracle Machines are discussed. Moreover, a possible method of implementation in real-life systems is proposed.
Źródło:
Computer Science; 2016, 17 (2); 187-224
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Perspective on Turing paradigm: An essay
Autorzy:
Trzęsicki, Kazimierz
Powiązania:
https://bibliotekanauki.pl/articles/28763393.pdf
Data publikacji:
2022
Wydawca:
Copernicus Center Press
Tematy:
Galileo Galilei
Alan Turing
Konrad Zuse
zero
Arabic numeral
paradigm
mathematics
algorithmics
Opis:
Scientific knowledge is acquired according to some paradigm. Galileo wrote that the “book of nature” was written in mathematical language and could not be understood unless one first understood the language and recognized the characters with which it was written. It is argued that Turing planted the seeds of a new paradigm. According to the Turing Paradigm, the “book of nature” is written in algorithmic language, and science aims to learn how the algorithms change the physical, social, and human universe. Some sources of the Turing Paradigm are pointed out, and a few examples of the application of the Turing Paradigm are discussed.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2022, 73; 281-332
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
AI Can Never Think: The Uniqueness of Human Thought
Autorzy:
Nehez, Jason
Powiązania:
https://bibliotekanauki.pl/articles/507400.pdf
Data publikacji:
2020-09-30
Wydawca:
International Étienne Gilson Society
Tematy:
AI
artificial intelligence
thought
mind
turing
materialism
functionalism
dualism
semiotics
computational theory
Opis:
As the saying goes, imitation is the most sincere form of flattery, yet very few assume imitation to be equivalence. An original masterpiece may be worth millions while a copy, no matter how exact the resemblance, would yield just a fraction of the price. I propose that there is more to thought than a machine will ever be capable of. The imitation game, while reproducing an imitation that is something like human thinking and interaction, will never achieve that same unique mode of thinking we experience as human species. This presentation aims to outline some of the hidden assumptions in the Turing Test for the computational theory of mind, explain some of the most popular arguments against the computational model of thought today, provide some original thought experiments, and finally discuss briefly the unique aspects of human thought that may never be able to be replicated in a machine.
Źródło:
Studia Gilsoniana; 2020, 9, 3; 467-492
2300-0066
Pojawia się w:
Studia Gilsoniana
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Die Digitalisierung von Lesen und Schreiben und deren kulturellen Auswirkungen
Autorzy:
Lobin, Henning
Powiązania:
https://bibliotekanauki.pl/articles/700277.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Germanistów Polskich
Tematy:
Digitalization, cultural effects, cultural revolution, Turing Galaxy, cultural skills, multimodality, automation, networking
Opis:
The digitization of reading and writing and their cultural impactWe had found ourselves in the “Gutenberg-Galaxy” before the digitalization made its rise. The development of the book printing by Johannes Gutenberg and developments based on it as well as the following industrialization of printing are decisive for the expansion of the cultural revolution. It has meanwhile been transformed, upgraded and replaced by something which has been called “Turing Galaxy”. One of the most important changes is the automatic processing of data, the program-controlled production or manipulation of texts, images, sounds, formulas, tables and videos. The internet has led us to new distribution channels. The paper shows which trends of development concerning the cultural skills of writing and reading have been realized up to now as a result of the digitalization. Three aspects of development will be discussed: how the way of writing has changed to the present moment by the means of automation, multimodality and networking.
Źródło:
Zeitschrift des Verbandes Polnischer Germanisten; 2012, 1, 2
2353-656X
2353-4893
Pojawia się w:
Zeitschrift des Verbandes Polnischer Germanisten
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Turing’s Wager?
Autorzy:
Copeland, B. Jack
Proudfoot, Diane
Powiązania:
https://bibliotekanauki.pl/articles/31233733.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
Alan Turing
Turing’s Wager
mechanized encryption
laws of behaviour
unspecifiability of the mind
brain modelling
whole-brain simulation
cipher machines
Enigma
fish
Tunny
early computer-based cryptography
Opis:
We examine Turing’s intriguing claim, made in the philosophy journal Mind, that he had created a short computer program of such a nature that it would be impossible “to discover by observation sufficient about it to predict its future behaviour, and this within a reasonable time, say a thousand years” (Turing, 1950, p. 457). A program like this would naturally have cryptographic applications, and we explore how the program would most likely have functioned. Importantly, a myth has recently grown up around this program of Turing’s, namely that it can be used as the basis of an argument—and was so used by Turing—to support the conclusion that it is impossible to infer a detailed mathematical description of the human brain within a practicable timescale. This alleged argument of Turing’s has been dubbed “Turing’s Wager” (Thwaites, Soltan, Wieser, Nimmo-Smith, 2017, p. 3) We demonstrate that this argument—in fact nowhere to be found in Turing’s work—is worthless, since it commits a glaring logical fallacy. “Turing’s Wager” gives no grounds for pessimism about the prospects for understanding and simulating the human brain.
Źródło:
Filozofia i Nauka; 2023, 11; 23-36
2300-4711
2545-1936
Pojawia się w:
Filozofia i Nauka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Ethical Significance of Human Likeness in Robotics and AI
Autorzy:
Remmers, Peter
Powiązania:
https://bibliotekanauki.pl/articles/781479.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
AI
robotics
human likeness
anthropomorphism
ethical implications
Strong AI
Turing’s Test
autonomy.
Opis:
A defining goal of research in AI and robotics is to build technical artefacts as substitutes, assistants or enhancements of human action and decision-making. But both in reflection on these technologies and in interaction with the respective technical artefacts, we sometimes encounter certain kinds of human likenesses. To clarify their significance, three aspects are highlighted. First, I will broadly investigate some relations between humans and artificial agents by recalling certain points from the debates on Strong AI, on Turing’s Test, on the concept of autonomy and on anthropomorphism in human-machine interaction. Second, I will argue for the claim that there are no serious ethical issues involved in the theoretical aspects of technological human likeness. Third, I will suggest that although human likeness may not be ethically significant on the philosophical and conceptual levels, strategies to use anthropomorphism in the technological design of human-machine collaborations are ethically significant, because artificial agents are specifically designed to be treated in ways we usually treat humans.
Źródło:
Ethics in Progress; 2019, 10, 2; 52-67
2084-9257
Pojawia się w:
Ethics in Progress
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O różnych sposobach rozumienia analogowości w informatyce
Autorzy:
Stacewicz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/429157.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
continuous computations
analog computations
analogicity
GPAC model
Turing machine
natural computing
hypercomputations
computability
Opis:
Two different types of analog computations are discussed in the paper: 1)analog-continuous computations (performed physically upon continuous signals),2) analog-analogical computations (performed naturally by means of socalled natural analogons of mathematical operations). They are analyzed withregard to such questions like: a) are continuous computations physically implementable?b) what is the actual computational power of different analogtechniques? c) can natural (empirical) computations be such reliable as digital?d) is it possible to develop universal analog computers (assuming that theyshould be functionally similar to universal Turing machine)? Presented analysesare rather methodological than formal.
Źródło:
Semina Scientiarum; 2017, 16
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Gödel’s Philosophical Challenge (to Turing)
Autorzy:
Sieg, Wilfried
Powiązania:
https://bibliotekanauki.pl/articles/1796958.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
computability
Church's Thesis
Turing's Thesis
incompleteness
undecid-ability
Post production systems
computable dynamical systems
Opis:
The incompleteness theorems constitute the mathematical core of Gödel’s philosophical challenge. They are given in their “most satisfactory form”, as Gödel saw it, when the formality of theories to which they apply is characterized via Turing machines. These machines codify human mechanical procedures that can be carried out without appealing to higher cognitive capacities. The question naturally arises, whether the theorems justify the claim that the human mind has mathematical abilities that are not shared by any machine. Turing admits that non-mechanical steps of intuition are needed to transcend particular formal theories. Thus, there is a substantive point in comparing Turing’s views with Gödel’s that is expressed by the assertion, “The human mind infinitely surpasses any finite machine”. The parallelisms and tensions between their views are taken as an inspiration for beginning to explore, computationally, the capacities of the human mathematical mind.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 57-80
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Enigma : życie i śmierć Alana Turinga
Autorzy:
Hodges, Andrew.
Współwytwórcy:
Ciesielski, Krzysztof. Recenzja
Data publikacji:
2002
Wydawca:
Warszawa : Prószyński i S-ka
Tematy:
Turing Alan M.
Enigma (maszyna szyfrująca) recenzja
Matematycy biografie Wielka Brytania 20 w. recenzja
Opis:
Matematyk brytyjski. W okresie II wojny światowej zajmował się konstrukcją maszyn deszyfrujących.
Dostawca treści:
Bibliografia CBW
Książka
Tytuł:
Pure Infinitely Self-Modifying Code is Realizable and Turing-complete
Autorzy:
Morse, G.
Powiązania:
https://bibliotekanauki.pl/articles/227291.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
x86
x86-64
assembly language
self-modifying code
turing completeness
code obfuscation
Opis:
Although self-modifying code has been shyed away from due to its complexity and discouragement due to safety issues, it nevertheless provides for a very unique obfuscation method and a different perspective on the relationship between data and code. The generality of the von Neumann architecture is hardly realized by today’s processor models. A code-only model is shown where every instruction merely modifies other instructions yet achieves the ability to compute and Turing machine operation is easily possible.
Źródło:
International Journal of Electronics and Telecommunications; 2018, 64, 2; 123-129
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Test Turinga dla (automatycznego) przekładu poezji
The Turing Test for the (Machine) Translation of Poetry
Autorzy:
Studzińska, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/912391.pdf
Data publikacji:
2020-06-15
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
Google Translate
DeepL
Microsoft Bing
machine translation
poetry translation
Turing test
przekład automatyczny
przekład poezji
test Turinga
Opis:
W 1950 roku wybitny brytyjski matematyk Alan Turing zaproponował test określający zdolność komputera do generowania zdań języka naturalnego. Komputer pomyślnie przechodził próbę, jeśli rozmawiający z nim za pośrednictwem ekranu człowiek nie był w stanie stwierdzić, czy jego interlokutorem jest homo sapiens, czy maszyna. Dziś dynamiczny rozwój komputerowych programów tłumaczeniowych skłania do pytań o możliwości maszynowego przekładu tekstu literackiego, w tym poetyckiego. Czy tłumacz elektroniczny może przełożyć wiersz tak, by odbiorca myślał, że przekładu dokonał człowiek? Jakie zjawiska językowe i tekstowe najbardziej demaskują sztuczną inteligencję translatora? Czy stworzony w ten sposób tekst można rozpatrywać w kategorii dzieła sztuki?
In 1950, the brilliant British mathematician Alan Turing proposed a test to determinea computer’s ability to generate natural language sentences. The computer passed the test when the human communicating with it by means of a screen was unable to discern if they were talking to another human or to a machine. Today the dynamic development of machine translation software makes us wonder about the possibilities of automatically translating literature, including poetry. Can a computer- generated translation pass for a human one? What linguistic and textual phenomena are most likely to expose the artificial intelligence of the translator? Can the computer-generated translation be viewed as a work of art?
Źródło:
Porównania; 2020, 26, 1; 299-313
1733-165X
Pojawia się w:
Porównania
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ rozwoju sztucznej inteligencji na bezpieczeństwo energetyczne oraz na zarządzanie inteligentnymi miastami
Impact of artificial intelligence development on energy security and smart city management
Autorzy:
Pietrewicz, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/40213782.pdf
Data publikacji:
2024-06-30
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
cyberprzestrzeń
bezpieczeństwo energetyczne
sztuczna inteligencja
inteligentne miasta
test Turinga
cyberspace
energy security
smart cities
artificial intelligence
Turing test
Opis:
The development of technology in recent years has carried with it the rise of new solutions aimed at simplifying many areas of life. One of them is artificial intelligence, the progress of which is definitely noticeable and undeniable. The purpose of the article is to present applications of AI in selected areas most important from the point of view of state management. Also, an attempt will be made to define artificial intelligence by interpreting its basic functions and objectives. The most important fields of AI activity from the point of view of the article are energy security and the development of smart cities. Many examples of solutions and software developed by various companies have been presented. Analysis of the implementation of artificial intelligence in the areas described has shown that today it supports the processes taking place in them, although it is not an essential element of their functioning, it carries significant development potential. In conclusion, it has been shown that the development of artificial intelligence is not free of risks, including overdependence on it, the replacement of human labor with machine labor, and if the development of AI will not encounter an obstacle in the form of undeveloped technology.
Rozwój technologii w ostatnich latach niesie ze sobą równoczesne powstawanie nowych rozwiązań mających na celu ułatwienie wielu dziedzin życia. Jednym z nich jest sztuczna inteligencja, której postęp jest zdecydowanie zauważalny i niepodważalny. Celem niniejszego artykułu jest zaprezentowanie zastosowań AI w wybranych obszarach najważniejszych z punktu widzenia zarządzania państwem. Podjęta zostanie także próba zdefiniowania sztucznej inteligencji poprzez interpretację podstawowych funkcji i założeń. Najważniejszymi dziedzinami działalności AI z punktu widzenia artykułu są bezpieczeństwo energetyczne oraz rozwój inteligentnych miast. Zaprezentowanych zostało wiele przykładów rozwiązań oraz oprogramowań tworzonych przez rozmaite firmy. Analiza zastosowań sztucznej inteligencji w opisanych obszarach wykazała, iż współcześnie znacznie wspomaga ona procesy w nich zachodzące i mimo że nie jest ich niezbędnym elementem funkcjonowania to niesie ze sobą znaczące perspektywy rozwoju. W konkluzji wykazane zostało, iż rozwój sztucznej inteligencji nie jest pozbawiony zagrożeń, w tym zbytniego uzależnienia od niej, zastąpienia pracy ludzi pracą maszyn oraz czy rozwój AI ponownie nie natrafi na przeszkodę w postaci nierozwiniętej technologii.
Źródło:
Nowa Polityka Wschodnia; 2024, 2(41); 61-86
2084-3291
Pojawia się w:
Nowa Polityka Wschodnia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagonal Anti-Mechanist Arguments
Autorzy:
Kashtan, David
Powiązania:
https://bibliotekanauki.pl/articles/1796972.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
mechanism
mind
computability
incompleteness theorems
computation-al theory of mind
the cogito
diagonal arguments
Gödel
Descartes
Tarski
Turing
Chomsky
Opis:
Gödel’s first incompleteness theorem is sometimes said to refute mechanism about the mind. §1 contains a discussion of mechanism. We look into its origins, motivations and commitments, both in general and with regard to the human mind, and ask about the place of modern computers and modern cognitive science within the general mechanistic paradigm. In §2 we give a sharp formulation of a mechanistic thesis about the mind in terms of the mathematical notion of computability. We present the argument from Gödel’s theorem against mechanism in terms of this formulation and raise two objections, one of which is known but is here given a more precise formulation, and the other is new and based on the discussion in §1.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 203-232
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Postanowienie Prezydenta Rzeczypospolitej Polskiej z dnia 8 czerwca 2020 r. o nadaniu orderów.
Powiązania:
Monitor Polski 2020, poz. 688
Data publikacji:
2020
Tematy:
Moorhouse, Roger
Turing, Dermot
Ordery i odznaczenia
Krzyż Kawalerski Orderu Zasługi Rzeczypospolitej Polskiej
Publikacje urzędowe i akty prawne
Opis:
Na wniosek Ministra Spraw Zagranicznych, za wybitne zasługi w upowszechnianiu wiedzy o historii Polski i roli Polaków podczas II wojny światowej odznaczeni zostają obywatele Zjednoczonego Królestwa Wielkiej Brytanii i Irlandii Północnej.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Nie jestem robotem – kulturowy imperatyw uwierzytelniania człowieczeństwa
I’m not a robot – cultural imperative of making humanity credible
Autorzy:
Cyrek, Barbara
Powiązania:
https://bibliotekanauki.pl/articles/1853765.pdf
Data publikacji:
2018
Wydawca:
Narodowe Centrum Kultury
Tematy:
captcha
gra w naśladownictwo
lęk przed technologią
ekonomia uwagi
test Turinga
imitation game
fear of technology
turing test
attention
economy
Opis:
Cultural fear of technology, which people have always felt in one way or another, is in its nature similar to adjusting disorder. In contemporary world, it manifests itself as a universally applied imperative of making humanity credible. Out of the fear of alienated technology, which transforms and multiplies like a disease, a man has created automatized Turing tests. People spend hundreds of thousands hours a day to prove to technology (which they had created) that it deals with a human being. Digital culture has taken a form of the Turing’s imitation game, where a mere conclusion of one’s own identity doesn’t make one a winner.
Źródło:
Kultura Współczesna. Teoria. Interpretacje. Praktyka; 2018, 101, 2; 124-131
1230-4808
Pojawia się w:
Kultura Współczesna. Teoria. Interpretacje. Praktyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Roboty na polu walki. Pomiędzy etyką a robotyką
Robots are going to war. Between ethics and robotics
Autorzy:
Lubiszewski, D.
Powiązania:
https://bibliotekanauki.pl/articles/277261.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
roboetyka
etyka robotów
etyka maszyn
roboty wojskowe
militarny test Turinga
roboethics
robot ethics
machine ethics
military robots
military Turing Test
Opis:
Postępująca robotyzacja wielu sfer życia człowieka, w tym robotyzacja wojska, jest przyczyną wielu problemów etycznych, społecznych i ekonomicznych. Niniejszy artykuł dotyczy tych pierwszych, które rozpatrywane są z perspektywy roboetyki - niedawno powstałego działu etyki stosowanej związanego z robotyką. W pracy tej przedstawiono zakres zainteresowań roboetyki oraz etyczne implikacje stosowania robotów przez wojsko. Opisano powody, dla których mechaniczni żołnierze zastępują coraz częściej człowieka, oraz wskazano problemy etyczne, z jakimi mierzą się ich konstruktorzy i użytkownicy. Poruszona została też kwestia odpowiedzialności za skutki działań robotów. Ponadto przedstawiono relacje wywiązujące się między robotem a jego użytkownikiem, z zaznaczeniem możliwych zagrożeń, na jakie narażeni są użytkownicy i osoby postronne. Praca ma charakter przeglądowy i referowane są w niej stanowiska znanych naukowców zajmujących się tą tematyką, do których zaliczyć należy m.in. Ronalda Arkina, Colina Allena i Wendella Wallacha. Głównym celem artykułu jest wskazanie, iż dalszy rozwój robotyki, wraz z postępującą robotyzacją różnych aspektów naszego życia, wymaga od nas poszukiwania nowych etyczno-prawnych rozwiązań, bez których prawidłowe funkcjonowanie robotów i ludzi będzie zaburzone.
Military robotics is rapidly becoming one of the leading fields of robotic industry. Robots which coexist with humans and ones that are going to be built in near future cause many ethical, social and economic problems. In this paper I describe the ethical dilemmas and problems which emerge from human-robot interaction. This area of interests is investigated by roboethics - the ethics applied to robotics. There have been described advantages of replacing humans by robots in an army. Moreover some of the other problems have been highlighted, such as problem of responsibility of autonomous military robots. Besides, one part of this article deals with complexity of arising relationship between robot and its operator. Also there have been presented opinions of leading scientist (such as Ronald Arkin, Colin Allen and Wendall Wallach) in this area. The main goal of this paper is to show that the current development of robotics and its future implications changes the world around us. Therefore the new ethical and lawful solutions are needed. Without them the positive interaction between human and robots could not be possible.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 3; 87-91
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Konekcjonistyczne modele wyjaśniania procesów poznawczych w kognitywistyce.
Connectionist Models of Explanation of Cognitive Processes in Cognitive Science.
Autorzy:
Pacholik-Żuromska, Anita
Powiązania:
https://bibliotekanauki.pl/articles/521636.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Warmińsko-Mazurski w Olsztynie
Tematy:
konekcjonizm
funkcjonalizm
maszyna Turinga
sztuczne sieci neuronowe
Bayesowska teoria indukcji
enaktywizm
connectionism
functionalism
Turing machine
artificial neural networks
Bayesian inference
enactivism
Opis:
Celem artykułu jest przegląd i analiza modeli konekcjonistycznych na tle faz rozwoju kognitywistyki. Konekcjonizm, jako druga faza rozwoju kognitywistyki, zaoferował najlepsze narzędzia wyjaśniania i modelowania procesów poznawczych. Został on przedstawiony w relacji do wcześniejszej i późniejszej fazy rozwoju kognitywistyki. Wykazuje się tu również kompatybilność konekcjonizmu z enaktywizmem (trzecią fazą) na gruncie proponowanego modelu wyjaśniania, jak kształtuje się poznanie.
The aim of this paper is an overview and analysis of the connectionist models on the basis of the milestones in the development of cognitive science. It is claimed that connectionism, as the second phase of cognitive science, offers the best tools of explanation and modelling of cognition. There is also indicated the compatibility of connectionism and enactivism (the third phase) on the basis of the proposed models of explanation.
Źródło:
Humanistyka i Przyrodoznawstwo; 2017, 23; 43-55
1234-4087
Pojawia się w:
Humanistyka i Przyrodoznawstwo
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-25 z 36

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies