Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "deductive reasoning" wg kryterium: Wszystkie pola


Wyświetlanie 1-8 z 8
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ł:
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ł:
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ł
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ł:
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ł:
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ł
    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