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 machine" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    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ł:
    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ł:
    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ł:
    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ł:
    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ł:
    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ł:
    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ł:
    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ł
      Wyświetlanie 1-8 z 8

      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