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ę "deductive reasoning" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    A Knowledge Representation Framework Based on Epistemic Logic
    Autorzy:
    Przymusiński, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/91397.pdf
    Data publikacji:
    2014
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    non-monotonic reasoning
    semantics of logic programs
    disjunctive logic programs
    deductive databases
    Opis:
    We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic which is sufficiently general to encompass several nonmonotonic formalisms, including circumscription, autoepistemic logic, various semantics proposed for logic programs and deductive databases (stable semantics, well-founded semantics and stationary semantics) as well as Gelfond’s epistemic specifications. The existence of such a uniform framework allows us not only to provide simpler and perhaps more natural definitions of various formalisms but it also enables us to better understand mutual relationships existing between them.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2014, 8, 11; 41-53
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    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ł:
    Application of deductive reasoning to the verification of archimate behavioral elements
    Autorzy:
    Klimek, Radosław
    Szwed, Piotr
    Jędrusik, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/431909.pdf
    Data publikacji:
    2013
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    Deductive temporal reasoning
    software verification
    ArchiMate
    semantics table¬aux method
    Linear Temporal Logic
    Opis:
    The formal verification of business models has recently become an intensively researched area. It is expected that the application of formal tools may bring such benefits to organizations as the improved quality of products and services and a lower ratio of operational errors. In this paper we discuss the application of a deduction-based method for the verification of the behavioral aspects of ArchiMate models. The first step in our method consists in the translation of the ArchiMate model into Linear Temporal Logic (LTL) formulas. The resulting LTL formulas are then verified to check the expected temporal properties. The verification process is based on the semantics tableaux method and is conducted with an LTL prover. The method is discussed using an example of a business process implemented within a surveillance system.
    Źródło:
    Informatyka Ekonomiczna; 2013, 3(29); 76-97
    1507-3858
    Pojawia się w:
    Informatyka Ekonomiczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Legal analogy as an alternative to the deductive model of legal reasoning
    Autorzy:
    Koszowski, Maciej
    Powiązania:
    https://bibliotekanauki.pl/articles/684949.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu
    Tematy:
    law
    formalism
    positivism
    analogy
    deduction
    applying
    fallacy
    erroneous
    scheme
    thinking
    reason by
    inference
    Opis:
    This article demonstrates the inadequacy of legal deduction as a method that guarantees the certainty and predictability of law and its outcomes in concrete instances. Inter alia, the Author brings our attention to the far smaller role that the deductive pattern of inference plays in legal thought than one may suppose, since it is rather only a schematic illustration of the decisions that were previously made by recourse to the mental operations of a non-logical nature. In return, he proffers legal analogy as an alternative, by which he understands a mode of thinking which helps the reasoner to take into account a mass of different factors that are traditionally deemed to be relevant for legal thought and decision-making.
    Źródło:
    Adam Mickiewicz University Law Review; 2016, 6; 13-25
    2450-0976
    Pojawia się w:
    Adam Mickiewicz University Law Review
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rozumowanie dedukcyjne w procesie uczenia się języka niemieckiego jako drugiego języka obcego na przykładzie podsystemu gramatycznego
    Deductive reasoning in the learning process of German as a second foreign language based on example of grammatical subsystem
    Autorzy:
    Bawej, Izabela
    Powiązania:
    https://bibliotekanauki.pl/articles/16465404.pdf
    Data publikacji:
    2022-04-27
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu. Collegium Novum. Polskie Towarzystwo Neofilologiczne
    Tematy:
    deduction
    strategies
    transfer
    English
    German
    grammar
    dedukcja
    strategie
    angielski
    niemiecki
    gramatyka
    Opis:
    The role of the first foreign language in second foreign language learning is an interesting research question. The main purpose of the research was to relate if and how the learners make deductions about German grammar based on English language skills. Therefore, this study presents the results of a survey conducted among students of Applied Linguistics who learn German after English. Participants were interviewed to state their opinion about the usefulness of English in learning German structures. The results of this inquiry allow the conclusions that learners use and transfer the previously acquired knowledge and information from what they have in first foreign language in order to understand, learn or form structures in the second foreign language. They compare both languages, look for similarities in the creation of the construction and the application of the structures or constructions, conclude by analogies between English and German in grammatical subsystem. In this way they deduce that English makes possible and facilitates to memorize grammatical forms while learning German, e.g. passive voice, articles, tenses, irregular verbs, comparative and superlative adjectives.
    Źródło:
    Neofilolog; 2022, 58/1; 85-98
    1429-2173
    Pojawia się w:
    Neofilolog
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Quality of deductive Reasoning in Inferring Words from Context: Comparison of the Performance of Standard and Talented 9–10 Year Old Pupils
    Autorzy:
    Kovalčíková, Iveta
    Ropovik, Ivan
    Ferjencik, Jan
    Bobakova, Monika
    Slavkovská, Miriam
    Filičková, Marta
    Powiązania:
    https://bibliotekanauki.pl/articles/507139.pdf
    Data publikacji:
    2014
    Wydawca:
    Akademia Ignatianum w Krakowie
    Tematy:
    deductive reasoning
    hypothetical reasoning
    deductive inference
    decoding words in context.
    Opis:
    The primary intention of the presented paper is to contribute to the understanding of 1. what deductive-hypothetical reasoning is and 2. what deductive inference is, manifested in the ability to decode and learn words from context. The WCT - WORD CONTEXT TEST (D-KEFS; Delis, Kaplan & Kramer, 2001) was used for measuring the two dependent variables (level of hypothetical thinking and ability to infer the meaning of words from context). This test is a separate part of the Delis Kaplan Executive Function System test battery (D-KEFS; Delis, Kaplan & Kramer, 2001). On the basis of the results obtained in the process of the administration of the tool on a sample of 9–10 year-old pupils attending standard schools and pupils educated in classes for the gifted, we explore the level of hypothetical-deductive thinking in both groups of pupils. We use the obtained data to make the following analysis of the relationship between a pupil’s intelligence and: a) level of hypothetical reasoning; and b) level of ability to infer the meaning of words from context among standard pupils; analysis of differences in: a) level of hypothetical reasoning; and b) level of ability to infer the meaning of words in context between gifted pupils and standard pupils.
    Źródło:
    Journal of Preschool and Elementary School Education; 2014, 6; 41 - 66
    2084-7998
    Pojawia się w:
    Journal of Preschool and Elementary School Education
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    Deduction-based Formal Verification of Business Models using Temporal Logic
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/274553.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    modele biznesowe
    BPMN
    SOA
    wzorce projektowe
    logika temporalna
    wnioskowanie dedukcyjne
    metoda tablic semantycznych
    generowanie specyfikacji
    business models
    workflow design patterns
    temporal logic
    deductive reasoning
    semantic tableaux method
    generating specifications
    Opis:
    Praca dotyczy formalnej analizy i weryfikacji modeli biznesowych wyrażonych w notacji BPMN. Weryfikacja oparta jest na wnioskowaniu dedukcyjnym. Jako metodę wnioskowania dla modeli biznesowych zaproponowano metodę tablic semantycznych, która cechuje się apagogicznością oraz analitycznością. Została przedstawiona metoda translacji podstawowych wzorców projektowych BPMN do formuł logiki temporalnej, stanowiących logiczną specyfikację analizowanegomodelu. Zarówno logiczna specyfikacja, jak i właściwości badanych procesów są wyrażone formułami tzw. najmniejszej logiki temporalnej. Formuły te są następnie przetwarzane z wykorzystaniem metody tablic semantycznych. Innowacyjność proponowanego podejścia może istotnie wpłynąć na redukcję kosztów wytwarzania oprogramowania, ze względu na możliwość wykrycia błędów oprogramowania już w fazie jego modelowania, wyprzedzając tym samym znacznie fazy implementacji i testowania.
    The paper concerns formal analysis and verification of business models expressed in BPMN. This verification is based on a deductive reasoning. As a method of inference for business models semantic tableaux method is proposed. Automatic trans- formations of the basic BPMN workflow patterns to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. Both the logical specification and the desired system properties are expressed as formulas of the smallest linear temporal logic. These formulas are later processed using semantic tableaux method. Applying this innovative concept might result in software development costs reduction as some errors might be addressed in the modeling phase not in implementation or testing phase.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 190-193
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-8 z 8

      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