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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    Krytyczne myślenie i logika formalna w badaniach literaturoznawczych na przykładzie wybranych utworów Ignacego Krasickiego
    Critical thinking and formal logic in literary research based on the example of selected works by Ignacy Kracicki
    Autorzy:
    Magryś, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/956372.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
    Tematy:
    formal logic
    critical thinking
    ignacy krasicki
    interpretation
    Opis:
    Formal logic and critical thinking are complementary tools in research of literary texts. Critical thinking is especially useful in the case of works which are antinomic in character as they are based on disputable ironic meeting points. Ignacy Krasicki’s satires are such type of text. A special difficulty is posed by the interpretation of Journey of a Warmian bishop, as the work read separately and with the use of particular contexts assumes ambiguous meanings. The application of the methodology of critical thinking, which is based on multisided approach to text, leads to the conclusion that primary law of classical logic, the law of excluded middle, does not apply. Journey is a dialogic work, even though ideological reasons for and against foreign travels are not equal.
    Źródło:
    Dydaktyka Polonistyczna; 2019, 5 (14); 58-69
    2451-0939
    Pojawia się w:
    Dydaktyka Polonistyczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Prawda i fałsz wypowiedzi literackiej
    Truth and Falsity of Literary Statements
    Autorzy:
    Magryś, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/1206730.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
    Tematy:
    formal logic
    fiction
    truth
    intention
    falsehood
    literature
    intensional logic
    phenomenology
    Opis:
    The article Truth and Falsity of Literary Statements investigates the issue of logical values, and consequently communication related status of sentences in indicative mood occurring in works of literature. The problem is discussed with reference to theoretical assumptions of classical logic, intuitionistic logic, and other possible intensional logics as well as phenomenological concepts proposed by Roman Ingarden. In this context it is suggested that intensional systems, mainly intuitionistic logic be adequately applied to identify logical value of literary sentences. As a result, it is assumed that the logical value of literary sentences depends on the specific logical system selected; according to the standards of intuitionistic logic, literary statements are true, likely or false. In this context it seems necessary to revise Roman Ingarden’s phenomenological assumption that sentences in indicative mood in a work of fiction do not have objective point of reference. It is suggested that such sentences be recognised as false, and therefore indicative of the group of their intentional meanings as a specific model of reality which can be deemed true or false.
    Źródło:
    Dydaktyka Polonistyczna; 2020, 6 (15); 72-91
    2451-0939
    Pojawia się w:
    Dydaktyka Polonistyczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
    Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
    Autorzy:
    Kozanecka-Dymek, Anna Maria
    Powiązania:
    https://bibliotekanauki.pl/articles/1395752.pdf
    Data publikacji:
    2021-07-12
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II
    Tematy:
    logika formalna
    stosowalność
    prawo kanoniczne
    formalna poprawność
    wnioskowanie
    formal logic
    applicability
    canon law
    formal correctness
    inference
    Opis:
    Przykłady zaprezentowane w artykule pozwalają wyrazić przekonanie, że znajomość logiki formalnej może być przydatna w pracy myślowej prawnika kanonisty, zwłaszcza wtedy, gdy nie ma on pewności, czy wyprowadzony przez niego wniosek wynika logicznie z przesłanek. Przeanalizowano formalną poprawność kilku wnioskowań przeprowadzonych w oparciu o kanony, przy użyciu aparatury klasycznego rachunku zdań i sylogistyki, a także wybranych logik nieklasycznych, takich jak np. logika tensalna, logika chronologiczna i logika miejsca  
    In the article, concrete examples acknowledge that formal logic can be useful in the work of a lawyer-canonist. Formal correctness is also analysed with several inferences conducted on a basis of canons, using an apparatus of classical propositional calculus and syllogistic, and also selected non-classical logics such as, for example, tense logic, chronological logic, and place logic  
    Źródło:
    Studia Prawnicze KUL; 2021, 2; 121-132
    1897-7146
    2719-4264
    Pojawia się w:
    Studia Prawnicze KUL
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Uwagi o Susan Haack rozumieniu filozofii logiki
    Remarks on Susan Haack’s Conception of Philosophy of Logic
    Autorzy:
    Czernecka-Rej, Bożena
    Powiązania:
    https://bibliotekanauki.pl/articles/2013362.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Susan Haack
    filozofia logiki
    logika formalna
    rachunek formalny
    logika rozszerzona
    logika dewiacyjna
    philosophy of logic
    formal logic
    formal calculus
    extended logic
    deviant logic
    Opis:
    The aim of the article is to present remarks concerning Susan Haack’s understanding of philosophy of logic. At the beginning, in the form of questions the area of problems tackled by philosophy of logic is indicated. Determination of the range of logic, that is differentiating logic from non-logic (the logical system from the formal system) is a priority for philosophy of logic. In the paper a critical analysis is made of the different suggestions for a demarcation line for logic that Haack discusses. Next the main ideas of philosophy of logic are presented, as seen by Haack, with special focus on two theses: about revisionability of logic and about logical pluralism. These theses appear in the context of quest for the answer to the question about correctness of logic. Also the differentiation between extended logics and deviant logics is significant here. In the final part of the paper assumptions and consequences of theses proposed by Haack are searched for and a discussion is undertaken concerning the way of justifying the obligatory character of a logic.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 23-46
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika. Panorama tematyki
    Logic. Panorama of the Domain
    Autorzy:
    Kublikowski, Robert
    Powiązania:
    https://bibliotekanauki.pl/articles/483397.pdf
    Data publikacji:
    2018-12-31
    Wydawca:
    Wyższe Seminarium Duchowne im. św. Jana Pawła II Diecezji Siedleckiej
    Tematy:
    logika
    logika formalna
    semiotyka
    metodologia nauk
    teoria poznania
    epistemologia
    logic
    formal logic
    semiotics
    methodology of science
    theory of cognition
    epistemology
    Opis:
    Summary Logic. Panorama of the Domain In European culture logic – understood as a scientifc discipline and skill – has been developed and taught at least since Aristotle’s time, namely since the 4th century B.C. The aim of this text is to answer the question: what is logic? It shows an analytic panorama of logic. Logic – understood in a broad sense – can be divided into formal logic, semiotics, methodology of science and epistemology (Chapter 1). An additional goal of the text is to give a historical note concerning those lecturers who taught logic in the Major Seminary of Siedlce Diocese (Chapter 2). Logic has been developed to analyse, to describe, to make precise and put in order various linguistic and cognitive activities. Logic explicates intersentential and inner-sentential relations, relations between contents and extensions of terms – relations established by various functors. Logic plays all its roles assuming that precision is better than a lack thereof.
    Źródło:
    Teologiczne Studia Siedleckie; 2018, XV/15; 314-341
    1733-7496
    Pojawia się w:
    Teologiczne Studia Siedleckie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
    Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
    Autorzy:
    Tomza, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/595977.pdf
    Data publikacji:
    2020
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    classification of reasoning, formal logic, two and three-valued logic, definitions
    klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje
    Opis:
    Background: The article analyzes the rarely raised issue of Kazimierz Ajdukiewicz, Polish logician, supporter of two-valued logic, and critic of the classification of reasoning by Jan Łukasiewicz, creator of trivalent logical calculus. Research purpose: The purpose of the article is an attempt to elucidate how Ajdukiewicz’s cri-ticism of Łukasiewicz’s reasoning system concerns the issue of the role and place of definition in logic. Ajudkiwicz was a student of Łukasiewicz, who was a world-renowned genius of logic, and did not get into a scientific dispute with his master. While using the cover of criticizing a fragment of Łukasiewicz’s research, he expresses a contradictory stance towards, in his opinion, the erroneous ways of defining by the terms used by Łukasiewicz in his classification of reasoning. Ajdukiewicz considered the issues related to the definition important. In his work, he emphasizes, as contemporary researchers of Ajdukiewicz’s thinking point out, that certain aspects of definition theory go beyond formalized definition procedures. An analysis of his views shows that he himself aspired to create a new science of definitions in logic. In the criticism he makes about Jan Łukasiewicz’s classification of reasoning, he emphasizes that it concerns the definition, not the process of reasoning. According to Ajdukiewicz, the definitions of alogical system must be meaningful and expressed in the sentence of the given logic language L, while to Łukasiewicz definitions presented in the classification are meaningless and contain an equivocation error. Fragmentary criticism of the problem of defining by Łukasiewicz is the beginning of in-depth research on understanding and the role of definition in logic. Methods: In the article, analytical methods demonstrate different approaches of logicians to the role of definitions in logic. The juxtaposition of Kazimierz Ajdukiewicz’s views on the classification of reasoning, with the views of the author of the classification – Jan Łukasiewicz, reveal differences in logic’s positions within the methodology of logical systems. In this way, Ajdukiewicz’s opinion, rarely raised in science and didactics, is presented about how Łukasiewicz’s methodology is incorrect, as it was created based on definitions bearing the equivocation error. According to Ajdukiewicz, Łukasiewicz, contrary to the principles of classical logic methodo- logy, gave existing definitions a new meaning, thus creating an incorrect logic system. Conclusions: The issue of how to define is often taken up, both in science and in the teaching process. The classification of reasoning by Jan Łukasiewicz in didactics is given today. It is different than the criticism by Kazimierz Ajdukiewicz, which is rarely undertaken in literature. The analysis of the views of the leading Polish logicians presented in the article regarding the classification of reasoning is a valuable contribution to the development of the subject of reasoning in logic. The analysis of Ajdukiewicz’s criticism presented in the article indicates a new face of his views regarding the dispute over definitions in logic. This new perspective may result in the extension of research on the meaning of definitions in two- and three-valued logic.
    Przedmiot badań: Artykuł analizuje rzadko poruszaną kwestię wyrażanej przez Kazimierza Ajdukiewicza, polskiego logika, zwolennika logiki dwuwartościowej, krytyki klasyfikacji rozumowań autorstwa Jana Łukasiewicza, twórcy trójwartościowego rachunku logicznego. Cel badawczy: Celem artykułu jest próba wykazania, że podjęta przez Ajdukiewicza krytyka systemu rozumowań Łukasiewicza dotyczy problematyki roli i miejsca definicji w logice. Ajdukiewicz, który był uczniem Łukasiewicza, uznawanego na całym świcie za geniusza logiki, nie wdawał się w naukowy spór ze swoim mistrzem. Korzystając z płaszcza krytyki pewnego fragmentu badań Łukasiewicza, wyraża jednak odmienne stanowisko wobec, jego zdaniem, błędnych sposobów definiowania przez Łukasiewicza terminów użytych w klasyfikacji rozumowań. Ajdukiewicz problematykę dotyczącą definicji uważał za bardzo ważną. W swoich pracach podkreśla, co zauważają współcześni badacze myśli Ajdukiewicza, że pewne aspekty teorii definicji wykraczają poza sformalizowane procedury definicyjne. Analiza jego poglądów świadczy o tym, że on sam aspirował do utworzenia nowej nauki o definicjach w logice. W krytyce, której się podejmuje wobec klasyfikacji rozumowań Jana Łukasiewicza, sam podkreśla, że dotyczy ona definicji, nie zaś procesu rozumowań. Zdaniem Ajdukiewicza definicje systemu logicznego muszą być sensowne i wyrażone w zdaniu danego języka logiki L, natomiast definicje Łukasiewicza prezentowane w klasyfikacji są sensu pozbawione oraz zawierają błąd ekwiwokacji. Fragmentaryczne ujęcie w krytyce problemu definiowania stanowi początek jego pogłębionych badań nad rozumieniem i rolą definicji w logice. Metoda badawcza: W artykule metodą analityczną wykazuje się odmienne podejścia logików do roli definicji w logice. Zestawienie poglądów Kazimierza Ajdukiewicza na temat klasyfikacji rozumowań z poglądami autora klasyfikacji – Jana Łukasiewicza wykazuje różnice w stanowiskach logików, co do metodologii systemów logicznych. W ten sposób prezentowane jest rzadko podnoszone w nauce i dydaktyce zdanie Ajdukiewicza, iż metodologia Łukasiewicza jest nieprawidłowa, gdyż utworzona została w oparciu o definicje opatrzone błędem ekwiwokacji. Zdaniem Ajdukiewicza Łukasiewicz, wbrew zasadom metodologii logiki klasycznej, nadał definicjom istniejącym nowe znaczenie, tworząc przez to nieprawidłowy system logiki. Wyniki: Problematyka definicji podejmowana jest często zarówno w nauce, jak i procesie dydaktycznym. Klasyfikacja rozumowań autorstwa Jana Łukasiewicza w dydaktyce podawana jest do dziś. Inaczej z jej krytyką autorstwa Kazimierza Ajdukiewicza, która jest podejmowana w literaturze niezwykle rzadko. Prezentowana w artykule analiza poglądów czołowych polskich logików wobec klasyfikacji rozumowań stanowi cenny wkład w rozwój tematyki o rozumowaniach w logice. Prezentowana w artykule analiza krytyki Ajdukiewicza wskazuje na nowe oblicze jego poglądów dotyczące sporu o definicje w logice. Ta nowa perspektywa może zaowocować rozszerzeniem badań dotyczących znaczenia definicji w logice dwu- i trójwartościowej.
    Źródło:
    Studia Prawno-Ekonomiczne; 2020, 115; 133-148
    0081-6841
    Pojawia się w:
    Studia Prawno-Ekonomiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pojęcie dyplomacji dla nauki
    The concept of diplomacy for science
    Autorzy:
    Szkarłat, Monika
    Powiązania:
    https://bibliotekanauki.pl/articles/1871698.pdf
    Data publikacji:
    2020-03-31
    Wydawca:
    Wydawnictwo Adam Marszałek
    Tematy:
    dyplomacja naukowa
    dyplomacja dla nauki
    teoria poznania
    logika formalna
    science diplomacy
    diplomacy for science
    theory of cognition
    formal logic
    Opis:
    Celem artykułu jest próba stworzenia autorskiej propozycji pojęcia dyplomacji dla nauki i dostosowania siatki pojęciowej do zmieniającej się rzeczywistości międzynarodowej. Odwołując się do wytycznych teorii poznania i logiki formalnej w ujęciu T. Kotarbińskiego, zidentyfikowane będą komponenty treści i przedmiot pojęcia, takie jak podmioty inicjujące, adresaci, cel i instrumenty działań w ramach dyplomacji dla nauki.
    The aim of the article is an attempt to create an author’s proposal of the notion of diplomacy for science and to adapt the notional network to the changing international reality. Referring to the guidelines of the theory of cognition and formal logic in T. Kotarbiński’s view, the following will be identified: content components and the subject of the concept, such as initiators, addressees, purpose and instruments of action within the framework of diplomacy for science.
    Źródło:
    Athenaeum. Polskie Studia Politologiczne; 2020, 65; 138-155
    1505-2192
    Pojawia się w:
    Athenaeum. Polskie Studia Politologiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formalne związki między powinnością a dobrem. Rozważania na marginesie prac Henryka Elzenberga
    Formal Relations between Ought and Good: Some Reflections in the Margins of Henryk Elzenberg’s Works
    Autorzy:
    Drofiszyn, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2083453.pdf
    Data publikacji:
    2020-12-31
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Tematy:
    value and ought
    formal axiology
    deontic logic
    relative preference semantic
    Henryk Elzenberg
    Opis:
    The paper presents a relative preference semantics for multimodal logic of good and ought inspired by the axiological writings of Henryk Elzenberg. Its central concept is the act of preference between alternative possibilities performed by a metaempirical will, guided only by pure reasons. In semantics, the act of a metaempirical will is modeled using an orderly relation between possible worlds. Using this logic, I formalize some relationships between good and ought posited by Elzenberg.
    Źródło:
    Filozofia Nauki; 2020, 28, 4; 5-23
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
    Modeling of dynamic phenomena in spatial planning with the use of formal ontology
    Autorzy:
    Łukowicz, J.
    Iwaniak, A.
    Strzelecki, M.
    Kaczmarek, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/345837.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    ontologia
    modelowanie
    planowanie przestrzenne
    Description Logic
    ontologia formalna
    model czasoprzestrzenny
    ontology
    modeling
    spatial planning
    description logic
    formal ontology
    spatio-temporal model
    Opis:
    Zarówno gospodarka przestrzenna jak i planowanie przestrzenne maja charakter multidyscyplinarny oraz odnoszą się do dynamicznie zmieniającej się rzeczywistości. Decyzje projektowe oddziałują na spójność systemu środowiska przyrodniczego. Poprawa jakości zarządzania przestrzenią zależy od wypracowania lepszych metod planowania i przewidywania skutków przekształceń przestrzennych dla środowiska. Takie możliwości dają ontologie oparte na logice opisowej (Description Logic) i związanych z nim systemami wnioskowania. Ontologie mogą być wzbogacane o dodatkowe systemy formalne. Autorzy prezentują sposoby budowania ontologii dziedzinowych dla planowania przestrzennego uzupełnionych przez konstrukcje logiki temporalnej. Jako rezultat, analizy relacji przestrzennych będą rozszerzone o badanie relacji czasowych. Modele czasoprzestrzenne z konstrukcjami logiki temporalnej mogą być przedmiotem wnioskowania wykorzystującego tzw. reasonery (resoning engines). Czasoprzestrzenne reprezentacje są oferowane przez tzw. ontologie wyższego rzędu, w tym przypadku ontologie fundamentalne (formalne). Do tych ontologii można zaliczyć GFO, BFO, DOLCE, OCHRE i inne. Takie ontologie są użyteczne dla modelowania danych przestrzennych z uwzględnieniem ich dynamiki i zmian. Czynią one możliwe przewidywanie scenariuszy przekształceń przestrzennych i przewidywania przyszłego stanu zagospodarowania oraz środowiska.
    Spatial management and spatial planning both have a multidisciplinary nature and refer to dynamically changing reality. Design decisions can affect the integrity of the environmental system. Improvement of spatial management depends on better methods of planning and forecasting about the environmental effects of development change. Such approach is offered by ontologies, based on Description Logics (DL) and related to them inference systems. Ontologies can be enriched with additional logical systems. The authors present a way of building domain ontologies for spatial planning supplemented by structures of temporal logic. As a result, the analysis for exploring the topological relations between spatial objects will be extended to include temporal relationships. Spatiotemporal models with temporal logic structures could be a subject of inference process, performed by reasoner engines. Spatiotemporal representations are offered by so-called upper ontologies in this case group of fundamental ontologies. The set of such ontologies includes GFO, BFO, OCHRE and others. Such ontologies are useful for modeling of spatial data with focus on their dynamics of changes. They make possible a prediction of scenarios of expected spatial transformation and forecasting a future state of spatial development and environmental conditions.
    Źródło:
    Roczniki Geomatyki; 2014, 12, 1(63); 81-91
    1731-5522
    2449-8963
    Pojawia się w:
    Roczniki Geomatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
    Reconfigurable Logic Controller state space representation using encoded Binary Decision Diagrams
    Autorzy:
    Bubacz, P.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/152669.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    1st order nonstationary measurement system
    rekonfigurowane sterowniki logiczne
    kodowanie stanów
    synteza logiczna
    weryfikacja formalna
    Ordered Binary Decision Diagram
    Reconfugurable Logic Controller
    state encoding
    logic synthesis
    formal verification
    Opis:
    W pracy porównano znane z literatury metody zwartej reprezentacji przestrzeni stanów dla rekonfigurowanego sterownika logicznego. Przedstawiono zalety heurystycznego sposobu kodowania miejsc sieci Petriego, dzięki któremu uzyskuje się diagramy OBDD o znacznie mniejszej złożoności przydatne zarówno podczas analizy, jak i syntezy układowej algorytmu sterowania binarnego.
    In the paper some known methods for an effective representation of the state space in reconfigurable logic controller are compared. The advantages of heuristic method of Petri net place encoding, which is adapted for a compact encoding technique of Binary Decision Diagrams, are given.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 24-26
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
    Formal verification of a state machine with use of temporal logic
    Autorzy:
    Grobelna, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/154298.pdf
    Data publikacji:
    2009
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algorytmiczne maszyny stanów ASM
    logika temporalna
    technika Model Checking
    algorithmic state machines ASM
    temporal logic
    formal verification of specification
    Model Checking technique
    Opis:
    Artykuł przedstawia koncepcję specyfikacji współbieżnego procesu sterowania cyfrowego za pośrednictwem diagramów algorytmicznych maszyn stanów ASM w języku aprobowanym przez profesjonalne narzędzie model checker. Specyfikacja może zostać następnie formalnie zweryfikowana pod kątem wymagań stawianych projektowanemu systemowi. Lista wymagań tworzona jest przy wykorzystaniu liniowej logiki temporalnej LTL. Formalna weryfikacja Model Checking polega na sprawdzeniu, czy model systemu spełnia stawiane mu wymagania. W przypadku wykrycia niespóności generowany jest odpowiedni kontrprzykład.
    The paper presents the formal specification method of concurrent control processes in form of algorithmic state machines ASM [5] in a language accepted by a professional model checker tool NuSMV. Basing on linear temporal logic LTL [7, 8, 9, 16] a requirement list (Fig. 6) for the system model is prepared. Formal verification Model Checking [17, 19] consists in comparison of the model description and the requirements list. If some requirements cannot be fulfilled, the appropriate counterexample is generated (Fig. 7), which allows localizing the error source. The ASM diagrams (Fig. 4) are fully determined, but they do not support modularity, that is why they are not well suited for specification of concurrent controlling processes. The paper includes a short introduction to the theory of algorithmic state machines ASM (Section 2), temporal logic (Section 3) and model checking technique (Section 4). The proposed solution is presented on an example (Section 5) of the process of controlling (partially concurrent) movements of two vehicles (Fig. 2). The formal verification method of the ASM diagrams with its advantages and disadvantages as well as the general conclusions are given at the end of the paper (Section 6).
    Źródło:
    Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 457-460
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O formalnej ontologii bytu i czasu
    On the Formal Ontology of Being and Time
    Autorzy:
    BIŁAT, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/488443.pdf
    Data publikacji:
    2018-03-26
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    pojęcia ontologiczne
    ontologia logiczna
    eksplikacyjna ontologia formalna
    empiryczna ontologia formalna
    monadyczna logika drugiego rzędu
    czas wypełniony
    świat realny
    ontological notions
    logical ontology
    explicative formal ontology
    empirical formal ontology
    monadic second order logic
    filled time
    real world
    Opis:
    W artykule pojęcie teorii ontologicznej zostało zdefiniowane zgodnie z ogólnymi zasadami wywodzącymi się z metaontologii Arystotelesa. Sformułowano problem struktury ontologii: Jakie są główne metodologiczne typy zaksjomatyzowanych teorii ontologicznych i jakie podstawowe relacje zachodzą między nimi? Zauważono, że zarówno w tradycyjnej, jak i we współczesnej filozofii bytu da się wyróżnić trzy odmienne idee formalnej ontologii: logicznej, eksplikacyjnej i empirycznej. Cel pracy jest dwojaki: 1) wskazanie jednolitej koncepcji formalnej ontologii uwzględniającej owe idee i dostarczającej rozwiązania problemu struktury ontologii oraz 2) zastosowanie wskazanej koncepcji w konstrukcji podstawowych przykładów teorii bytu i czasu. Artykuł składa się z następujących sekcji: Wprowadzenie. 1.1. Trzy koncepcje ontologii formalnej. 1.2. O ontologii logicznej. 1.3. O eksplikacyjnej ontologii formalnej. 2.1. Monadyczna teoria identyczności i należenia. 2.2. Eksplikacyjna teoria czasu wypełnionego. 2.3. W stronę empirycznej ontologii świata realnego. Zakończenie.
    In the paper the concept of ontological theory is defined according to the general principles of Aristotelian metaontology. The following question concerning the structure of ontology is formulated: What are the main methodological types of axiomatic ontological theories and what basic relationships occur between them? It is noted that there are three distinct ideas of formal ontology in both traditional and analytic philosophy: logical, explicative, and empirical ontology. The aim of the paper is twofold: 1) to indicate a homogeneous concept of formal ontology that takes into account these ideas and provides a solution to the question of the structure of ontology, and 2) to use this concept for the construction of basic examples of theories of being and time. The paper consists of the following sections: Introduction. 1.1 Three concepts of formal ontology. 1.2 On logical ontology. 1.3 On explicative formal ontology. 2.1 Monadic second order theory of identity and membership. 2.2 Explicative theory of filled time. 2.3 Towards the empirical ontology of real world. Conclusion
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 1; 5-32
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
    Calculation of State Machine cover of safe Petri net by means of computer based reasoning
    Autorzy:
    Tkacz, J.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/153764.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    przestrzeń stanów lokalnych i globalnych sieci Petriego
    transwersale
    podsieci automatowe SM
    logika sekwentów Gentzena
    Petri net state space
    transversal
    formal reasoning
    State Machine subnets
    configurable logic controllers
    Opis:
    W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji odpowiednich transwersali, stopniowo wyznaczanych dla rodziny maksymalnych podzbiorów współbieżnych miejsc sieci. W przypadku bezpiecznej sterującej sieci Petriego, miejsca traktowane są jako stany lokalne, natomiast ich dopuszczalne konfiguracje określają jej stany globalne. Transwersale wyróżniają podzbiory miejsc niewspółbieżnych, przypisanych do odpowiednich SM-podsieci. Komputerowe wnioskowanie odbywa się w monotonicznym rachunku sekwentów Gentzena. Rezultaty wykorzystywane są podczas syntezy cyfrowych, konfigurowanych sterowników logicznych z zastosowaniem komercjalnego oprogramowania i języków opisu sprzętu.
    The paper presents a way of finding a suitable Petri net cover by means of a minimal number of maximal State Machine subnets (SM-components). A new symbolic method of Petri net parallel decomposition is based on early selection of proper minimal transversals, taken from family of all global Petri net states. Global states are given in advance as maximal subsets, formed from mutually concurrent places. They can be found as reachable global states of Petri net. During digital design of a logic controller, the places of the safe Petri net are treated as local internal states of Concurrent State Machine, implemented in a reconfigurable logic device (FPGA). The minimal number of selected transversals, which characterizes subsets of sequentially related places, is assigned to separate State Machine subnets. The computer based reasoning is searching a logic expression describing transversals in Gentzen sequent logic. The obtained decomposition (or cover) is used for state encoding of configurable array based embedded logic controllers, implemented as microsystems.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1397-1400
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Specyfikacja sterowników cyfrowych zorientowana na niezawodność
    Quality oriented specification of logic controllers
    Autorzy:
    Doligalski, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/154557.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    systemy wbudowane
    Rekonfigurowalne Sterowniki Logiczne
    Diagramy Maszyny Stanów UML
    sieci Petriego
    diagramy SFC
    embedded systems
    reconfigurable logic controller
    UML state machine diagram
    Petri net
    sequential function chart
    quality-driven design
    formal verification
    Opis:
    W artykule przedstawiono wdrażaną metodę projektowania rekonfigurowalnych sterowników logicznych, ukierunkowaną na jakość behawioralnej specyfikacji, a tym samym niezawodność pracy. Zamierzone funkcjonowanie sterownika jest opisane z wykorzystaniem równocześnie dwóch dualnych języków graficznych: diagramu maszyny stanów UML oraz komplementarnej sieci Petriego. Synergia spowodowana dwoma wzajemnie się uzupełniającymi podejściami do behawioralnego opisu tego samego sterownika daje szansę na otrzymanie uwiarygodnionej specyfikacji już we wstępnej fazie projektowania.
    In the paper quality oriented approach to the design of digital embedded reconfigurable controllers is presented. The behaviour of a logic controller is described by means of dual related graphical languages: UML State machine diagram and Petri Net graph. The first one is well accepted among designers from the electronic industry, the second one among control engineers taking the advantage from similarities between Petri nets and Sequential Function Charts (SFC). The synergy of the view from two sides into the same project gives a chance to obtain validated specification at the design process beginning. It is shown in the second paragraph. Comparison of elementary models (Tab. 1) and design process with use of the dual specification (Fig. 1) are also presented. The third paragraph deals with mutual conversion of the elementary elements (Tab. 2) and shows their subsets in the form of class diagrams (Figs. 2 and 3). An example of the logic controller dual specification (Figs. 4 and 5) is given in the fourth paragraph. The practical use of dual specification is contingent upon implementation of tools for performing the conversion process in an automatic way.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 671-674
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-14 z 14

      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