Informacja

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

Wyszukujesz frazę "Turing machine" wg kryterium: Temat


Wyświetlanie 1-13 z 13
Tytuł:
Czy istnieją czynności umysłu, których nie można reprezentować za pomocą maszyn Turinga?
Are there activities of the mind that cannot be represented by Turing machines?
Autorzy:
Fornal, Marzena
Powiązania:
https://bibliotekanauki.pl/articles/38425363.pdf
Data publikacji:
2023-09-11
Wydawca:
Akademia Humanistyczno-Ekonomiczna w Łodzi
Tematy:
komputacjonizm
obliczeniowa teoria umysłu
argument gödlowski
Roger Penrose
maszyna Turinga
Kurt Gödel
John Randolph Lucas
computationalism
computational theory of mind
Gödelian argument
Turing machine
Opis:
Artykuł stanowi próbę odpowiedzi na pytanie, czy jesteśmy w stanie wskazać takie czynności umysłu, które nie są możliwe do reprezentacji za pomocą maszyny Turinga? Jest to zatem pytanie o to, czy wszystkie nasze stany mentalne posiadają obliczeniową naturę. Problem ten będzie rozważany w odniesieniu do tak zwanego argumentu gödlowskiego, opierającego się na dwóch twierdzeniach Gödla: 1) o niezupełności oraz 2) o niedowodliwości niesprzeczności, skierowanego przeciwko obliczeniowym teoriom umysłu. Argument ten w wersji zaprezentowanej przez Johna Randolpha Lucasa zostanie poddany krytycznej analizie, która doprowadzi do pozytywnych wniosków zawartych w końcowej części artykułu.
The article is an attempt to answer the question whether we are able to identify such activities of the mind that are not possible to be represented by a Turing machine? Thus, it is a question of whether all our mental states have a computational nature. This problem will be considered in relation to the so-called Gödel argument, based on two Gödel theorems: 1. on incompleteness and 2. on the incompleteness of non-contradiction, directed against computational theories of mind. This argument, as presented by John Randolph Lucas, will be critically analyzed, which will lead to positive conclusions in the final part of the article.
Źródło:
Kultura i Wychowanie; 2023, 23, 1; 107-115
2544-9427
2083-2923
Pojawia się w:
Kultura i Wychowanie
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ł:
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ł:
Binary and ternary structures of the evolutions in the universe (2 × 3 × 2 × · · · -world) III. The Galois theory of language and the anthropic problem in physics
Struktury binarne i ternarne w ewolucji wszechświata (świat 2 × 3 × 2 × · · · wymiarowy) III. Teoria Galois języków i problem antropiczny w fizyce
Autorzy:
Ławrynowicz, Julian
Nowak-Kępczyk, Małgorzata
Suzuki, Osamu
Othman, Mohd Fauzi
Powiązania:
https://bibliotekanauki.pl/articles/1837652.pdf
Data publikacji:
2021-08-12
Wydawca:
Łódzkie Towarzystwo Naukowe
Tematy:
the universal language
formal language theory
Turing machine
the evolution of the universe
non-commutative Galois theory
Fibonacci sequence
Tribonacci sequence
binarna struktura fizyczna
ternarna struktura fizyczna
kwaternarna struktura fizyczna
kwinarna struktura fizyczna
sennarna struktura fizyczna
stop
pentacen
polimer
białko
paptyd
aminokwas
rozszerzenie Galois
powierzchnia Riemanna.
Opis:
(1) The non-commutative Galois theory of languages is presented and the universal language of natural languages is constructed. (2) The Galois theory for natural languages is given. (3) The Galois theory for the formal language theory is given. (4) Finally, we find intimate connections between language and physics and discuss the anthropological problem in physics from the point of view of our language theory. (5) In Appendix we give a virtual language defined by Fibonacci and Tribonacci sequences
(1) Przedstawiamy nieprzemienną teorię języków Galois i skonstruowano uniwersalny język języków naturalnych. (2) Przedstawiamy teorię Galois dotyczącą języków naturalnych. (3) Przedstawiamy teorię Galois dla formalnej teorii języka. (4) Wreszcie znajdujemy bliskie powiązania między językiem a fizyką i omawiamy problem antropologiczny w fizyce z punktu widzenia naszej teorii języka. (5) W Dodatku podajemy wirtualny język zdefiniowany przez sekwencje Fibonacciego i Tribonacciego
Źródło:
Bulletin de la Société des Sciences et des Lettres de Łódź, Série: Recherches sur les déformations; 2020, 70, 1; 11-41
1895-7838
2450-9329
Pojawia się w:
Bulletin de la Société des Sciences et des Lettres de Łódź, Série: Recherches sur les déformations
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ł:
The Computational and Pragmatic Approach to the Dynamics of Science
Autorzy:
Marciszewski, Witold
Powiązania:
https://bibliotekanauki.pl/articles/41310393.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
algorithm
behavioral (vs declarative) knowledge
computability
corroboration
innate knowledge
intuition
invention
logic gates
oracle
pragmatic (vs classical) rationalism
problem-solving
reasoning
symbolic logic
Turing machine
Opis:
Science means here mathematics and those empirical disciplines which avail themselves of mathematical models. The pragmatic approach is conceived in Karl R. Popper’s The Logic of Scientific Discovery (p. 276) sense: a logical appraisal of the success of a theory amounts to the appraisal of its corroboration. This kind of appraisal is exemplified in section 6 by a case study—on how Isaac Newton justified his theory of gravitation. The computational approach in problem-solving processes consists in considering them in terms of computability: either as being performed according to a model of computation in a narrower sense, e.g., the Turing machine, or in a wider perspective—of machines associated with a non-mechanical device called “oracle” by Alan Turing (1939). Oracle can be interpreted as computertheoretic representation of intuition or invention. Computational approach in another sense means considering problem-solving processes in terms of logical gates, supposed to be a physical basis for solving problems with a reasoning. Pragmatic rationalism about science, seen at the background of classical rationalism (Descartes, Gottfried Leibniz etc.), claims that any scientific idea, either in empirical theories or in mathematics, should be checked through applications to problem-solving processes. Both the versions claim the existence of abstract objects, available to intellectual intuition. The difference concerns the dynamics of science: (i) the classical rationalism regards science as a stationary system that does not need improvements after having reached an optimal state, while (ii) the pragmatical version conceives science as evolving dynamically due to fertile interactions between creative intuitions, or inventions, with mechanical procedures. The dynamics of science is featured with various models, like Derek J. de Solla Price’s exponential and Thomas Kuhn’s paradigm model (the most familiar instances). This essay suggests considering Turing’s idea of oracle as a complementary model to explain most adequately, in terms of exceptional inventiveness, the dynamics of mathematics and mathematizable empirical sciences.
Źródło:
Filozofia i Nauka; 2020, 8, 1; 31-67
2300-4711
2545-1936
Pojawia się w:
Filozofia i Nauka
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ł:
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ł
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ł:
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ł:
Liczby nieobliczalne a granice kodowania w informatyce
Autorzy:
Stacewicz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/561262.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
kodowanie liczbowe
liczby obliczalne
liczby nieobliczalne
maszyna Turinga
obliczenia cyfrowe
obliczenia analogowe
nieskończoność
numerical coding
computable numbers
uncomputable numbers
Turing machine
digital computations
analogue computations
infinity
Opis:
Opis danych i programów komputerowych za pomocą liczb jest epistemologicznie użyteczny, ponieważ pozwala określać granice różnego typu obliczeń. Dotyczy to w szczególności obliczeń dyskretnych (cyfrowych), opisywalnych za pomocą liczb obliczalnych w sensie Turinga. Matematyczny fakt istnienia liczb rzeczywistych innego typu, tj. nieobliczalnych, wyznacza minimalne ograniczenia technik cyfrowych; z drugiej strony jednak, wskazuje na możliwość teoretycznego opracowania i fizycznej implementacji technik obliczeniowo silniejszych, takich jak obliczenia analogowe-ciągłe. Przedstawione w artykule analizy prowadzą do wniosku, że fizyczne implementacje obliczeń niekonwencjonalnych (niecyfrowych) wymagają występowania w przyrodzie wielkości nieskończonych aktualnie (a nie tylko potencjalnie). Za fizycznym istnieniem takich wielkości przemawiają wprawdzie pewne argumenty fizyki teoretycznej, nie są one jednak ostateczne.
The description of data and computer programs with the use of numbers is epistemologically valuable, because it allows the definition of the limits of different types of computations. This applies in particular to discrete (digital) computations, which can be described by means of computable numbers in the Turing sense. The mathematical fact that there are other types of real numbers, i.e. uncomputable numbers, determines the minimal limitations of digital techniques; on the other hand, however, it points to the possibility of theoretical development and physical implementation of computationally stronger techniques, such as analogue-continuous computations. Analyses presented in this article lead to the conclusion that physical implementations of unconventional (non-digital) computations require the occurrence of actually infinite entities in nature. Although some arguments of theoretical physics support the physical existence of such entities, they are not definitive.
Źródło:
Studia Semiotyczne; 2018, 32, 2; 131-152
0137-6608
Pojawia się w:
Studia Semiotyczne
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ł:
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ł
    Wyświetlanie 1-13 z 13

    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