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ę "abductive reasoning" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Foundational Certification of Code Transformations Using Automatic Differentiation
    Autorzy:
    Tadjouddine, E. M.
    Lv, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/305770.pdf
    Data publikacji:
    2014
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    relational Hoare logic
    abductive reasoning
    certification
    automatic differentiation
    Opis:
    Automatic Differentiation (AD) is concerned with the semantics augmentation of an input program representing a function to form a transformed program that computes the function’s derivatives. To ensure the correctness of the AD transformed code (particularly for safety-critical applications), we aim at certifying the algebraic manipulations at the heart of the AD process. We have considered a WHILE-language, and have shown how such proofs can be constructed by using appropriate relational Hoare logic. In particular, we have shown how such inference rules can be constructed for both the forward- and reverse-mode AD by using an abductive logical reasoning.
    Źródło:
    Computer Science; 2014, 15 (2); 215-236
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Poszukiwanie sensu w globalnej logorei
    The Search for Meaning in the Global Logorrhea
    Autorzy:
    Burszta, Wojciech Józef
    Powiązania:
    https://bibliotekanauki.pl/articles/1807251.pdf
    Data publikacji:
    2020-01-03
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    nomadyzm
    globalizacja
    abdukcja
    antropologia
    kulturoznawstwo pamięć
    nomadism
    globalization
    abductive reasoning
    anthropology
    cultural studies
    memory
    Opis:
    Artykuł przedstawia propozycję badań „świata w ruchu”, którą autor nazywa nomadologią pretekstową. Diagnoza zmienności wszelkich form kulturowych oraz nomadyczna wędrówka wartości z nimi związanych, w połączeniu z nadmiarowością potencjalnej wiedzy o świecie (logorea „słowoobrazów”), zmusza dzisiaj badaczy do przyjęcia strategii opisu świata, która jest w stanie tę zmienność uchwycić. Nomadyzm jako cecha współczesności ma wiele oblicz. Autor opowiada się za jedną z jego wersji, wskazując, w jaki sposób antropologia, literatura i fenomenologia mogą stanowić podstawowe i połączone sposoby wglądu w tę rzeczywistość. Pisanie nomadyczne polega na tym, że nie mamy w nim do czynienia z trafnymi i nietrafnymi interpretacjami, ale sama interpretacja zmienia naturę, stając się sztuką oceny, sztuką myślenia, jest rozgałęzieniem tekstu na zewnątrz - ku światu w ruchu.
    The paper presents a project of studying “the world in motion,” which the author calls pretext nomadology. The diagnosis of the diverse changes of cultural forms and the nomadic journeys of the values connected with them, in addition to the surplus of potential knowledge about the world (logorrhea of words and images), forces modern scholars to adopt a strategy of describing the world that will enable to capture these changes. As a characteristic of modernity, nomadism has many faces. The author focuses on one of its versions, showing how anthropology, literature and phenomenology can become basic and interconnected ways of exploring this reality. The idea of nomadic writing is based on the notion that there are neither correct nor incorrect interpretations, but that the act of interpretation changes nature and becomes an art of evaluation, and art of thinking, an expansion of the text to the outside - to the world in motion.
    Źródło:
    Roczniki Kulturoznawcze; 2015, 6, 1; 5-32
    2082-8578
    Pojawia się w:
    Roczniki Kulturoznawcze
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Heuristic analysis in the process of detecting serial offenders, part two - Victimology and Crime Scene Reconstruction through the lenses of Abductive Reasoning
    Autorzy:
    Markiewicz, Włodzimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/2010723.pdf
    Data publikacji:
    2021-12
    Wydawca:
    Towarzystwo Wiedzy Powszechnej w Szczecinie
    Tematy:
    Victimology
    victim theory
    crime scene reconstruction
    Konolidge’s abductive reasoning
    AI
    supervised learning process
    neural network
    activation function
    Opis:
    In the article, victimology, from the point of view of satisficing is defined. Utilization of the abductive reasoning in analysis of crime scene is explained. Here, the cognitive limits related to criminal profiling are determined. The article is the second in a series of publications describing the use of computer aided heuristic analysis in the process of detecting perpetrators of serial crime (ViCLAS).Using the Konolidge’s and Bylander’s definitions, abductive reasoning is explained. The paper introduces reader to basics of an AI neural network and its potential of use in above mentioned process. Author presents engagement of the abductive reasoning in to process supervised learning.
    Źródło:
    Edukacja Humanistyczna; 2021, 2, 45; 65-77
    1507-4943
    Pojawia się w:
    Edukacja Humanistyczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wyjaśnianie empiryczne a wyjaśnianie interpretacyjne działań politycznych
    Empirical Explanation and Interpretive Explanation of Political Activities
    Autorzy:
    Czajowski, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/1195288.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Tematy:
    wyjaśnianie empiryczne
    wyjaśnianie interpretacyjne
    wyjaśnianie integralne
    działania polityczne
    naturalizm
    antynaturalizm
    wnioskowanie abdukcyjne / empirical explanation
    interpretive explanation
    integral explanation
    political actions
    naturalism
    anti-naturalism
    abductive reasoning
    Opis:
    Artykuł porządkuje kwestie dotyczące wyjaśniania zjawisk społecznych, przede wszystkim działań politycznych. W literaturze wymienia się trzy rodzaje wyjaśnień: wyjaśnienie przyczynowe, wyjaśnienie interpretacyjne (humanistyczne, rozumiejące) oraz wyjaśnienie integralne, łączące te dwa. Autor omawia rodzaje wyjaśniania, przy czym termin „wyjaśnianie przyczynowe” zastępuje terminem „wyjaśnianie empiryczne”. Następnie charakteryzuje działania polityczne i ich rezultaty jako przedmiot wyjaśniania. W ostatniej części, na dwóch przykładach analizuje praktykę wyjaśniania empirycznego i interpretacyjnego. W odniesieniu do przykładu wyjaśniania interpretacyjnego przywołuje wnioskowanie abdukcyjne, czyli wnioskowanie do najlepszego wyjaśnienia. W procesie interpretacji, przy braku niezbitych dowodów, nie da się potwierdzić prawdziwości żadnej z hipotez. Można je tylko uprawdopodabniać lub uatrakcyjniać. Biorąc pod uwagę niedoskonałości wyjaśniania empirycznego i interpretacyjnego, należy dążyć do stosowania ich komplementarnie.
    The article arranges issues related to explaining social phenomena, primarily political activities. Three types of explanation are mentioned in the literature: a reason explanation, an interpretative explanation (humanistic, understanding) and an integral explanation combining these two. The author discusses the types of explanation, where he replaces the term “causal explanation” with the term “empirical explanation”. Then he characterizes political activities and their results as an object of explanation. In the last part, on two examples, he examines the practice of empirical and interpretive explanation. With reference to the example of interpretive explanation, he recalls abductive reasoning, i.e. inference to the best explanation. In the interpretation process, in the absence of irrefutable evidence, none of the hypotheses can be confirmed. They can only be enhanced or made more attractive. Considering the imperfections of empirical and interpretive explanation, one should strive to use them complementarily.
    Źródło:
    Teoria Polityki; 2020, 4; 43-60
    2543-7046
    2544-0845
    Pojawia się w:
    Teoria Polityki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wyjaśnianie za pomocą praw przyrody jako warunek naukowości w sporze o ewolucję i inteligentny projekt
    Explaining by the laws of nature as a condition of scientific status in the controversy of evolution and Intelligent Design
    Autorzy:
    Sagan, Dariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/431370.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    laws of nature
    historical sciences
    experimental sciences
    abductive reasoning
    miracle
    design detection
    Intelligent Design
    prawa przyrody
    nauki historyczne
    nauki eksperymentalne
    rozumowanie abdukcyjne
    cud
    wykrywanie projektu
    Inteligentny Projekt
    Opis:
    According to intelligent design theory, certain biological and cosmic phenomena were designed by an intelligent being, which could just as well be natural and supernatural, and this design can be detected scientifically. Critics claim that this theory is unscientific because it does not invoke the laws of nature in its explanations, but rather the purported actions of a designer, which violate these laws. However, this objection seems unsound. Intelligent design theory could be recognized as an instance of the so-called historical science, in which explanation by the laws of nature plays, at most, a subsidiary role and its main focus is on seeking out individual causes of individual effects. The requirement to invoke the laws of nature would also be a threat to evolutionary biology, which is another instance of historical science. Moreover, it could be shown that – contrary to the crtitis’ claims – the actions of a possible designer (even a supernatural one) in the world should not immediately be seen as inherent to a violation of the laws of nature, and even if it were the case, the conclusion of design could be well justified.
    Zgodnie z teorią inteligentnego projektu pewne zjawiska biologiczne i kosmiczne zostały zaprojektowane przez istotę inteligentną, która równie dobrze może być naturalna, jak nadnaturalna, a projekt ten jest wykrywalny naukowo. Krytycy twierdzą jednak, że teoria ta nie jest naukowa, gdyż w swoich wyjaśnieniach nie odwołuje się do praw przyrody, lecz do rzekomych działań projektanta, które te prawa łamią. Zarzut ten wydaje się jednak chybiony. Teorię inteligentnego projektu można zaliczyć do tzw. nauk historycznych, w których wyjaśnianie za pomocą praw przyrody odgrywa co najwyżej pomocniczą rolę, zaś główny nacisk kładziony jest na poszukiwanie jednostkowych przyczyn dla jednostkowych skutków. Wymóg odwoływania się do praw przyrody godziłby też w biologię ewolucyjną, która również ma charakter nauki historycznej. Można ponadto wykazać, że – wbrew twierdzeniom krytyków – działanie ewentualnego projektanta (nawet nadnaturalnego) w świecie nie musi nieodłącznie wiązać się z łamaniem praw przyrody, a nawet gdyby tak było, to wniosek o projekcie i tak mógłby być dobrze uzasadniony.
    Źródło:
    Studia Philosophiae Christianae; 2013, 49, 1; 93-116
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O niektórych problemach naturalizacji filozofii nauki na przykładzie sporu o realizm
    On Some Problems of Naturalizing the Philosophy of Science Exemplified on the Controversy about Realism
    Autorzy:
    Zeider, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/2012841.pdf
    Data publikacji:
    2011
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    naturalizm metodologiczny
    filozoficzna interpretacja faktów naukowych
    spór realizm-antyrealizm
    rozumowanie abdukcyjne
    sukces nauki
    konwergentny realizm
    Naturalna Postawa Ontologiczna
    methodological naturalism
    philosophical interpretation of scientific facts
    realism-antirealism controversy
    abductive reasoning
    success of science
    convergent realism
    Natural Ontological Attitude
    Opis:
    The main purpose of the paper is analysis of some problems referred to methodological understanding of the process to naturalize philosophy of science. This process can be considered as justification of philosophical thesis by scientific facts, and also as application of the methods of justification, which are effective in natural sciences, to philosophy of science. These procedures are often called philosophical interpretation of scientific facts, and their methodological validity is taken under consideration. This problem is analysed on the two examples, which are related to realism-antirealism controversy. One of them is the final argument for scientific realism. The second is the Arthur Fine’s Natural Ontological Attitudes.
    Źródło:
    Roczniki Filozoficzne; 2011, 59, 2; 345-366
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wnioskowanie do najlepszego wyjaśnienia jako metodologiczna podstawa teorii inteligentnego projektu
    Inference to the Best Explanation as the Methodological Basis of Intelligent Design Theory
    Autorzy:
    Sagan, Dariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/577759.pdf
    Data publikacji:
    2014
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    argument z niewiedzy
    Bóg w lukach wiedzy
    rozumowanie abdukcyjne
    wnioskowanie do najlepszego wyjaśnienia
    teoria ewolucji
    teoria inteligentnego projektu
    wykrywanie projektu
    archeologia
    kryminalistyka
    argument from ignorance
    God of the gaps
    abductive reasoning
    inference to the best explanation
    evolutionary theory
    intelligent design theory
    design detection
    archaeology
    forensics
    Opis:
    Zgodnie z teorią inteligentnego projektu pewne zjawiska biologiczne i kosmiczne zostały zaprojektowane przez istotę inteligentną, która równie dobrze może być naturalna, jak nadnaturalna, a projekt ten jest wykrywalny naukowo. Krytycy twierdzą jednak, że teoria ta nie jest naukowa, gdyż stosuje wyłącznie argumentację negatywną, a więc jest niepoprawnym argumentem z niewiedzy czy też próbą umieszczenia Boga w lukach wiedzy naukowej. W artykule pokazuję, że teoria inteligentnego projektu posiłkuje się – i musi się posiłkować – zarówno argumentacją negatywną, jak pozytywną. Metodologiczną podstawą tej teorii nie jest argument z niewiedzy, lecz tzw. wnioskowanie do najlepszego wyjaśnienia, będące formą rozumowania abdukcyjnego. Można wykazać, że wnioskowanie do najlepszego wyjaśnienia ma szerokie zastosowanie w nauce – opiera się na nim również teoria ewolucji – zwłaszcza w naukach zajmujących się wykrywaniem projektu, jak archeologia czy kryminalistyka. Samo w sobie nie przesądza to o naukowości teorii inteligentnego projektu, ale może za tym mocno przemawiać.
    According to intelligent design theory, certain biological and cosmic phenomena were designed by an intelligent being, which could just as well be natural as supernatural, and this design is scientifically detectable. Critics claim, however, that this theory is unscientific because it employs solely negative argumentation and thus it is an invalid argument from ignorance or an attempt to place God in the gaps of scientific knowledge. In the article, I show that intelligent design theory employs – and must employ – both negative and positive argumentation. The methodological basis of this theory is not an argument from ignorance but the so-called inference to the best explanation which is a form of abductive reasoning. It could be shown that inference to the best explanation has wide application in science – evolutionary theory is based on it too – especially in sciences engaged in the design detection, such as archaeology or forensics. In itself, it does not settle the scientific status of intelligent design theory but it could be a strong indication of this.
    Źródło:
    Zagadnienia Naukoznawstwa; 2014, 50, 1(199); 41-59
    0044-1619
    Pojawia się w:
    Zagadnienia Naukoznawstwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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