Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 12

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  Many-valued logic
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote The Logic of Self-Organized Criticality
100%
A consideration of non-classical logic in terms of classical one allows us to show a role of designated truth values. In this way we show that our version of non-classical many-valued logic can be based on the structure of genetic code.(original abstract)
Celem artykułu jest prezentacja i omówienie najbardziej bezpośrednich związków między logiką wielowartościową i prawdopodobieństwem logicznym, np. prawdopodobieństwem związanym z twierdzeniami. Po wprowadzeniu czytelnika w dziedzinę logik wielowartościowych, ukazano dwie strony tego problemu. Pierwsza wskazuje, że logiczne wartości nie mogą być łączone z wartościami prawdopodobieństwa. Druga strona dotyczy tzw. prawdopodobieństwa podmiotowego, które jak pokazał Giles, może być interpretowane w obrębie nieskończenie wartościowej logiki Łukaszewicza. (AŁ)
Opisano heurystyczne podejście do minimalizacji wielowartościowych funkcji logicznych. Zaproponowano zastosowanie algorytmu heurystycznego do wyszukiwania quasi-optymalnych form wielomianowych Reeda-Mullera. Szybkie przeszukiwanie heurystyczne umożliwia minimalizację niezupełnych wielowartościowych funkcji logicznych o dużej liczbie zmiennych (kilkaset) i wartości określonych już na komputerach klasy PC. (abstrakt oryginalny)
4
Content available remote Logics for Physarum Chips
75%
The paper considers main features of two groups of logics for biological devices, called Physarum Chips, based on the plasmodium. Let us recall that the plasmodium is a single cell with many diploid nuclei. It propagates networks by growing pseudopodia to connect scattered nutrients (pieces of food). As a result, we deal with a kind of computing. The first group of logics for Physarum Chips formalizes the plasmodium behaviour under conditions of nutrient-poor substrate. This group can be defined as standard storage modification machines. The second group of logics for Physarum Chips covers the plasmodium computing under conditions of nutrient-rich substrate. In this case the plasmodium behaves in a massively parallel manner and propagates in all possible directions. The logics of the second group are unconventional and deal with non-well-founded data such as infinite streams. (original abstract)
W artykule zaprezentowano zastosowanie logiki czterowartościowej w procesie diagnozowania systemu sterowania silnikiem samochodowym. Scharakteryzowano jej stany oraz porównano przedziały zmian z logiką dwu i trzywartościową. Opisano schemat funkcjonalno-diagnostyczny i zasadę działania systemu sterowania silnikiem samochodowym typu Motronic. Przedstawiono realizację procesu diagnostycznego z uwzględnieniem etapu wyznaczania zbioru informacji diagnostycznej oraz klasyfikacji stanów i prezentacji uzyskanych wyników. Dokonano również porównania rezultatów klasyfikacji w logice czterowartościowej w stosunku do logiki dwu i trzywartościowej. (abstrakt oryginalny)
Augustyn Jakubisiak (1884-1945), Polish priest, philosopher and theologian, undertook polemics with Jan Łukasiewicz, whom he knew personally. A dispute concerning the so-called logistics (mathematical logic) and its relationship with philosophy developed between the two. The most important arguments were laid out, primarily in the following works: in the case of Jakubisiak, in the book From Scope to Content and in the case of Łukasiewicz, in the texts Logistics and Philosophy and In the Defense of Logistics. Jakubisiak criticized logistics for its anti-metaphysical, anti-theological and anti-religious attitude, which was based on neo-positivist philosophy, and led, in consequence to atheism. He also claimed that one should focus on what is concrete, avoiding idealization and abstraction (meaning the content of concepts, not their scope). Łukasiewicz defended logistics claiming that it possesses its own methods based on intellect, and is also an area of independent knowledge (but not completely detached) from philosophy, due to the fact it can consider the most important philosophical problems such as finiteness and infinity. This dispute, as the researchers identified, basically concerned the reduction of philosophy to the study of language (analytic philosophy) and initiated one of the most important discussions concerning the relationship between philosophy and logic. This debate was crucial because it also concerned questions related to fundamental metaphysical issues (naturalism - supranaturalism, rationalism - irrationalism) and epistemological issues (realism - idealism, boundaries and structure of cognition). (original abstract)
7
Content available remote Logical Ideas of Jan Łukasiewicz
75%
This paper discusses the main logical ideas put forward by Jan Łukasiewicz within their historical context and further development. (original abstract)
In constructing the three-valued logic, Jan Łukasiewicz was highly inspirited by the Aristotelian idea of logical contingency. Nevertheless, we can construct a four-valued logic for explicating the Stoic idea of logical determinacy. In this system, we have the following truth values: 0 ('possibly false), 1 ('necessarily false'), 2 ('possibly true'), 3 ('necessarily true'), where the designated truth value is represented by the two values: 2 and 3.(original abstract)
Roman Suszko said that "Obviously, any multiplication of logical values is a mad idea and, in fact, Łukasiewicz did not actualize it." The aim of the present paper is to qualify this 'obvious' statement through a number of logical and philosophical writings by Professor Jan Woleński, all focusing on the nature of truth-values and their multiple uses in philosophy. It results in a reconstruction of such an abstract object, doing justice to what Suszko held a 'mad' project within a generalized logic of judgments. Four main issues raised by Woleński will be considered to test the insightfulness of such generalized truth-values, namely: the principle of bivalence, the logic of scepticism, the coherence theory of truth, and nothingness. (original abstract)
W poniższej pracy przedstawiono podejście diagnozowania stanów złożonych obiektów technicznych z wykorzystaniem logiki czterowartościowej. Scharakteryzowano stany obiektu technicznego, określono przedziały zmian stanów i zdefiniowano reguły wnioskowania przy rozpoznawaniu poszczególnych stanów. Zamieszczono również schemat klas w logice czterowartościowej oraz możliwe kierunki zmian stanów badanego obiektu technicznego. Dokonano porównania procesu diagnostycznego w logice dwu i trójwartościowej z logiką czterowartościową, w kontekście pozyskania informacji diagnostycznej oraz profilaktycznej obsługi technicznej określającej przeciętny czas bezawaryjnej pracy obiektu. Słowa kluczowe: diagnostyka techniczna, metody wnioskowania, systemy diagnostyczne, ocena stanu w obiektach, rozpoznawanie stanu technicznego. (abstrakt oryginalny)
W poniższej pracy przedstawiono podejście diagnozowania stanów złożonych obiektów technicznych z wykorzystaniem logiki czterowartościowej. Scharakteryzowano stany obiektu technicznego, określono przedziały zmian stanów i zdefiniowano reguły wnioskowania przy rozpoznawaniu poszczególnych stanów. Zamieszczono również schemat klas w logice czterowartościowej oraz możliwe kierunki zmian stanów badanego obiektu technicznego. Dokonano porównania procesu diagnostycznego w logice dwu i trójwartościowej z logiką czterowartościową, w kontekście pozyskania informacji diagnostycznej oraz profilaktycznej obsługi technicznej określającej przeciętny czas bezawaryjnej pracy obiektu. (abstrakt oryginalny)
Przedmiotem naszych zainteresowań w niniejszej pracy będzie model procesu decyzyjnego jako czwórka < S,D,P,K>. Symbolem S = {s1,s2,...,sn} oznaczono tutaj zbiór stanów świata zewnętrznego, zaś symbolem D = {d1, d2,...,dm} zbiór decyzji dopuszczalnych. Funkcja P: IP(S) → [0,1] jest prawdopodobieństwem (to jest skończoną addytywną miarą) rozumianym w ten sposób, że każda z wartości P ({sj) określa możliwość napotkania - w momencie realizacji podjętej decyzji - stanu sj Skutki podjęcia poszczególnych decyzji zobrazowane są przez funkcję korzyści K: D x S → R. Wartość K(di,sj) interpretujemy jako korzyść, jaką uzyskamy z podjęcia decyzji di pod warunkiem, że w momencie realizacji świat zewnętrzny osiągnie stan sj. Posługując się pojęciem korzyści płynących z podjęcia decyzji, można explicite wyrazić cel stawiany w sytuacji decyzyjnej. Celem tym jest osiągnięcie możliwie dużych korzyści. Analiza funkcji K: D x S → R pozwala nam jednoznacznie określić największe i najmniejsze korzyści, jakie możemy uzyskać, podejmując którąś z decyzji dopuszczalnych. (fragment tekstu)
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.