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


Wyświetlanie 1-4 z 4
Tytuł:
Formalna ocena argumentacji
Autorzy:
Selinger, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/706013.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
argument
rozumowanie
sekwent
argumentacja równoległa
błędne koło
ewaluacja
Opis:
Moim celem jest dostarczenie formalnego modelu oceny możliwie szerokiej klasy argumentacji, w szczególności tych, które pojawiają się w kontekstach naturalnych. We wprowadzeniu przedstawiam elementarne sposoby rozbudowywania argumentacji prostych w coraz bardziej złożone struktury. W drugim rozdziale podaję ścisłe definicje pojęć służących do opisu tych struktur – argumentację definiuję jako niepusty i skończony zbiór sekwentów, tj. jako niepustą i skończoną relację zachodzącą pomiędzy niepustymi i skończonymi zbiorami zdań a pojedynczymi zdaniami danego języka; wprowadzam także kilka pojęć (niespójność, rozbieżność, kolistość), które pozwalają wyróżniać niektóre nietypowe lub wadliwe struktury argumentacyjne. W trzecim rozdziale proponuję ogólną, liczbową metodę oceny siły argumentacji. Metoda ta pokazuje, jak wiarygodność przesłanek pierwszych przekłada się na wiarygodność konkluzji głównej w zależności od budowy argumentacji (wiarygodność wyrażam za pomocą liczb wymiernych z domkniętego przedziału <0, 1>). Jedną z charakterystycznych własności argumentacji potocznej jest występowanie w niej wzajemnie wzmacniających się tzw. rozumowań równoległych. Dlatego za istotny składnik proponowanej metody należy uznać wzór: a ⊕ b = 2a + 2b − 2ab − 1. Wzór ten pozwala obliczyć wiarygodność (konkluzji) dowolnej argumentacji równoległej, składającej się z dwóch wzajemnie niezależnych rozumowań, które brane z osobna uwiarygodniają konkluzję w stopniach a oraz b (zakładamy przy tym, że obie te wartości są większe niż ½).
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 1; 89-109
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jak nie powinno się obliczać stopnia wiarygodności argumentacji
Autorzy:
Wójtowicz, Anna
Winkowski, Jan
Powiązania:
https://bibliotekanauki.pl/articles/705510.pdf
Data publikacji:
2013-03-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
argumentacja
twierdzenie Coxa
sekwent
twierdzenie Bayesa
wiarygodność wnioskowań
prawdopodobieństwo
Opis:
Artykuł jest krytyczną analizą pracy Marcina Selingera Formalna ocena argumentacji i dotyczy sposobu oceny wiarygodności argumentacji. Ponieważ omawiany problem jest bardzo ważny i szeroko współcześnie dyskutowany, nie można podanej przez autora propozycji pozostawić bez komentarza. Przedstawiamy zwięzłe streszczenie tekstu i rekonstrukcję dwóch najważniejszych jego tez. Analizujemy różnice między pierwszą z nich a twierdzeniem Coxa, co prowadzi do krytyki drugiej z tez. Zastosowanie twierdzenia Bayesa ujawnia jej niepożądane konsekwencje. Podejmujemy próbę obrony zaproponowanej przez Selingera tezy, jednak tzw. efekt nieistotnej koniunkcji pokazuje, czemu nie może się ona udać. Artykuł kończy dodatkowy kontrprzykład dotyczący obecnego w tekście rozróżnienia sposobów obliczania wiarygodności argumentacji szeregowych i równoległych.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2013, 1; 255-263
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
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ł
Tytuł:
W sprawie siły argumentacji
Autorzy:
Jedynak, Anna
Powiązania:
https://bibliotekanauki.pl/articles/705967.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
argumentacja
sekwent
siła logiczna
związki bezpośredniego wsparcia
Opis:
Artykuł stanowi krytyczny komentarz do tekstu Marcina Selingera Formalna ocena argumentacji, poświęconego obliczaniu logicznej siły argumentacji. Przyjęte są w tym tekście definicje o niepożądanych konsekwencjach, zatem sugeruję zmiany w tych defi nicjach. Postuluję dowartościowanie argumentacji wychodzących z wątpliwych przesłanek, gdyż bywają czasem bardzo użyteczne. W obliczaniu siły argumentacji należy uwzględniać nie tylko logiczne relacje między przesłankami, lecz także relacje analityczne i oparte na faktach (zwłaszcza statystycznych). Czasem dane statystyczne są nie tylko użyteczne, ale wręcz niezbędne, gdyż bez nich w ogóle siły logicznej argumentacji nie da się wyliczyć (co pokazuję na przykładach).
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 1; 111-125
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-4 z 4

    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