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

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