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ę "wnioskowanie logiczne" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
Wnioskowanie logiczne jako uzasadnienie w akcie wiary
A Logical Argument as a Justification in the Act of Faith
Autorzy:
Krzos, Bartłomiej
Powiązania:
https://bibliotekanauki.pl/articles/31233930.pdf
Data publikacji:
2011
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
wiara i rozum
akt wiary
wnioskowanie logiczne
analiza logiczna
uzasadnienie przekonań religijnych
faith and reason
act of faith
logical argument
logical analysis
justification of religious beliefs
Opis:
Reasoning is one of the most important activities of intellect. Reasoning itself can be also a justification of human beliefs. It is connected one to another with process of acteptation of propositions as true ones. Thus it plays a role both in sciences and common thinking as well. That is why a justification is also needed as a support in domain of faith and of religious knowledge. The logical analysis of single act of faith is the content of this paper which main purpose is to point at the premisses which reasonelbe human intellect can accept revealed propositions as true ones with. To attain our delibarate purposes we present in turn two propositions from Holy Gospel according to Mark 2, 5. 10. Next, we are to reconstruct the logical arguments which brings to us demanded propositions as their conclusions, appearing as results of process based on implication. Next we are to examine the truth value of obtained premisses to show the rights which allow us to accept the revealed propositions which we are thinking about. In the same time we touch another topic. It is all about free human will and its decision which helps us to justify the propositions coming from Divine Revelation. In first part of this paper we find out something about reasoning in act of faith and we look closer on three concepts of reasonable faith. In second part we are going to lead an argument founded on two phrases from st. Mark's Gospel. By examining the argument step by step we will precise a way which revealed proposition is accepted on. In third part we figure out a few general conclusions about human free will which decision takes finally place in act of faith. An act of free will doesn't belong to human's intellectual activity so that it can be brought about by some influence from „outside”. During logical analysis of reasoning present in act of faith, we came up against moment for act of will. The act of will can be caused by the testimony of community of faith which The Revelation is bequeathed in. However obviously is that non every act of faith can be adequately translated into logical language but reconstruction and analysis put into practice wherever it could be applied, help us to understand complexity of act of faith and plurality of factors which it is built of. Even that reasonning is to be only one of them we need it as reasonable beeings and even more, we must angage our reason in our faith as far and deeply as it is possible.
Źródło:
Roczniki Teologii Dogmatycznej; 2011, 3; 163-185
2080-6345
Pojawia się w:
Roczniki Teologii Dogmatycznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Advantages of an approximate reasoning based on a fuzzy truth value
Autorzy:
Kudłacik, P.
Powiązania:
https://bibliotekanauki.pl/articles/333079.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
wnioskowanie rozmyte
systemy rozmyte
wartości logiczne rozmyte
fuzzy reasoning
fuzzy systems
fuzzy truth value
Opis:
The approximate reasoning based on a fuzzy truth value is based on a different view of linguistic statements and comparing with the compositional rule of inference has some advantages. Benefits of the method are especially important for fuzzy expert systems with large sets of premises. The problem is very common for many applications in medicine, biology and biometry. By a short analysis of the approach and comparing to the compositional rule of inference the paper emphasizes the most important advantages of a possible implementation, which is particularly significant for the mentioned fields.
Źródło:
Journal of Medical Informatics & Technologies; 2010, 16; 125-131
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
State Machine type colouring of Petri net by means of using a symbolic deduction method
Autorzy:
Tkacz, J.
Powiązania:
https://bibliotekanauki.pl/articles/152833.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
logika Gentzena
sekwent
wnioskowanie symboliczne
sterowniki logiczne
sieci Petriego
składowe automatowe
dekompozycja
Gentzen logic
sequent
symbolic deduction
logic controllers
Petri nets
decomposition
Opis:
W referacie przedstawiono sposób dekompozycji sieci Petriego za pomocą naturalnego wnioskowania Gentzena na podsieci typu automatowego. Normalizacja i minimalizacja zbioru reguł z zastosowaniem algorytmu wnioskującego może zostać wykorzystana w procesach wyznaczania podsieci automatowych reprezentujących zdekomponowane, niezależne fragmenty większego układu sterowania. Prezentowana metoda, w odróżnieniu od innych, znanych z literatury, nie wymaga pełnego przekształcenia równania charakterystycznego, reprezentującego listę sąsiedztwa w celu uzyskania pierwszego rozwiązania.
The paper presents a concept and design methodology for decomposition of logic controllers' specification by means of using Gentzen symbolic reasoning. Specification of logic controller behaviour can be represented by Petri net, which can be decomposed into simplified subnets. These subnets directly represent smaller and independent parts of logic controller. The first result (Petri net State Machine-subnet), obtained from symbolic deduction, can be generated without complete analysis of characteristic logic expression, created from local state space description.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 120-122
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    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