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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Application of deontic logic in role-based access control
    Autorzy:
    Kołaczek, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/907988.pdf
    Data publikacji:
    2002
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    informatyka
    formal logic
    access control
    RBAC
    system security
    reasoning automation
    Opis:
    The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model and its properties. In particular, the translation of these model formulae to the first-order logic formulae in a form of Horn's clauses is analysed. The automation of processes and mechanisms related to access control on the basis of logical automated reasoning and the PROLOG language are described.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 269-275
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    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ł:
    A system for deduction-based formal verification of workflow-oriented software models
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/330429.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    formal verification
    deductive reasoning
    temporal logic
    semantic tableaux
    workflow pattern
    logical primitive
    generating logical specification
    business model
    BPMN
    formalna weryfikacja
    wnioskowanie dedukcyjne
    logika temporalna
    tablica semantyczna
    wzorzec przepływu pracy
    generowanie specyfikacji logicznej
    model biznesowy
    Opis:
    The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal logic formulas, seems to be a significant obstacle for an inexperienced user when applying the deductive approach. A system, along with its architecture, for deduction-based verification of workflow-oriented models is proposed. The process inference is based on the semantic tableaux method, which has some advantages when compared with traditional deduction strategies. The algorithm for automatic generation of logical specifications is proposed. The generation procedure is based on predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea behind the approach is to consider patterns, defined in terms of temporal logic, as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between the intuitiveness of deductive reasoning and the difficulty of its practical application when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing, our understanding of deduction-based formal verification of workflow-oriented models.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 941-956
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kształtowanie umiejętności wnioskowania sylogistycznego
    Forming the Ability of Syllogistic Inference
    Autorzy:
    Smolak, Maciej
    Powiązania:
    https://bibliotekanauki.pl/articles/950121.pdf
    Data publikacji:
    2015-06-15
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu
    Tematy:
    syllogistic reasoning
    syllogistic modes and figures
    premise
    conclusion
    formal error
    material erro
    ad rem argument
    ad personam argument
    Opis:
    The article consists of two parts. In the first part the author presents the characteristics of syllogistic reasoning, in the second part describes a set of exercises that are useful in teaching and developing the skill of syllogistic reasoning. The exercises belong to the teaching tools called interactive teaching methods and are of varying level of difficulty.
    Źródło:
    Filozofia Publiczna i Edukacja Demokratyczna; 2015, 4, 1; 102-130
    2299-1875
    Pojawia się w:
    Filozofia Publiczna i Edukacja Demokratyczna
    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ł:
    Jak ludzie dorośli myślą o problemach związanych z gotowością szkolną dzieci?
    How do adults think about problems related to children’s readiness for starting school?
    Autorzy:
    Michalska, Paulina
    Powiązania:
    https://bibliotekanauki.pl/articles/29970952.pdf
    Data publikacji:
    2023
    Wydawca:
    Uniwersytet Wrocławski. Wydział Nauk Historycznych i Pedagogicznych. Instytut Pedagogiki. Zakład Historii Edukacji
    Tematy:
    gotowość szkolna dzieci
    rozumowanie postformalne
    dylematy
    rozwiązywanie problemów
    doświadczenie życiowe
    children’s school readiness
    post-formal reasoning
    dilemmas
    problem-solving
    life-experience
    Opis:
    Wprowadzenie. W okresie dorosłości znaczenia nabierają postformalne sposoby rozumowania, ponieważ te formalno-logiczne nie pomagają rozwiązaniu problemów o treści życiowej (Gurba, 1993). Problemy te są powiązane głównie z funkcjonowaniem życia rodzinnego i dotyczą doświadczania kryzysów rozwojowych związanych ze zmianami zachodzącymi w rodzinie. Jednym z takich ważnych dla życia rodziny momentów jest czas, kiedy dziecko zaczyna edukację szkolną (Chojak, 2019), ponieważ modyfikacji ulega dotychczasowy rytm dnia (Czub, Matejczuk, 2014) i zmienia się cały system rodzinny (Skrzetuska, 2016). Cel. Głównym celem badań było określenie postformalnych sposobów rozumowania, wykorzystywanych przez osoby dorosłe podczas rozwiązywania problemów związanych z gotowością szkolną dzieci. Materiały i metody. W badaniu wykorzystano 8 z 18 problemów pochodzących z Kwestionariusza Sposobów Rozwiązywania Problemów Życiowych (autorzy: Paulina Michalska, Anna Szymanik-Kostrzewska), które dotyczą sytuacji rodziców dzieci rozpoczynających naukę szkolną. Wyniki. Osoby badane preferowały w największym stopniu rozwiązania problemów z poziomu metasystemowego. Dla uzyskanych rezultatów znaczenie miały takie zmienne, jak: wiek, wykształcenie i posiadanie dzieci. Potwierdzono znaczenie treści dylematów dla preferowanych rozwiązań. Wnioski. Najciekawszym wnioskiem płynącym z badań jest to, że osoby posiadające dzieci preferowały rozwiązania metasystemowe rzadziej niż osoby nieposiadające dzieci. Nie jest to zgodne z założeniem, że doświadczenie życiowe w danym obszarze przyczynia się do bardziej autonomicznych rozwiązań (m.in. Sebby, Papini, 1994; Michalska, 2015a). Może to wynikać z tego, że rodzice w sytuacji dylematu są nastawieni na konkretne rozwiązania problemu, a sposoby bardziej ogólne, o szerokim zasięgu są przez nich rzadziej brane pod uwagę.
    Introduction. In adulthood, post-formal ways of reasoning become more important, because the formal-logical ones do not provide adaptation in solving life-related problems (Gurba, 1993). These problems are mainly related to the functioning of family life and relate to experiencing developmental crises related to changes taking place in the family. One of such important moments in the life of a family is the time when a child starts school education (Chojak, 2019) because the current rhythm of the day is modified (Czub, Matejczuk, 2014) and the entire family system changes (Skrzetuska, 2016). Aim. The main aim of the research was to determine the post-formal ways of reasoning used by adults when solving problems related to children’s preparedness for school. Materials and methods. The study used 8 out of 18 problems from the Questionnaire of Ways of Solving Life Problems (authors: Paulina Michalska, Anna Szymanik-Kostrzewska), which concern the situation of parents of children starting school. Results. The respondents preferred solutions to problems from the meta-system level to the greatest extent. Variables such as age, education and having children were significant for the obtained results. The importance of the content of the dilemmas for the preferred solutions was confirmed. Conclusions. The most interesting conclusion from the research is that people with children preferred meta-system solutions less often than people without children. This is not consistent with the assumption that life experience in a given area contributes to more autonomous solutions (e.g., Sebby, Papini, 1994; Michalska, 2015a). This may be because parents, in the situation of solving a dilemma, are more focused on specific solutions to the problem, and more general methods with a wide range are less often taken into account by them.
    Źródło:
    Wychowanie w Rodzinie; 2023, XXX, (2/2023); 161-181
    2082-9019
    Pojawia się w:
    Wychowanie w Rodzinie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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