Wyniki wyszukiwania - Biblioteka Nauki

1

The Quality of deductive Reasoning in Inferring Words from Context: Comparison of the Performance of Standard and Talented 9–10 Year Old Pupils

100%

Kovalčíková I. , Ropovik I. , Ferjencik J. , Bobakova M. , Slavkovská M. , Filičková M.

Journal of Preschool and Elementary School Education

|

2014

|

nr 6

41 - 66

EN

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.

2

Expert report

88%

Křístek L. , Tobíšek J.

The Lawyer Quarterly

|

2016

|

tom 6

|

nr 1

49-53

EN

This article deals with activities carried out by experts in general. We study the structure of an expert report based on deductive reasoning. Using their professional knowledge experts deduce from known premises(evidence) conclusions as answers to certain questions. Basic attributes of expert reports include truthfulness(correctness) and verifiability.

3

Yet Another Shade of Deduction. On measuring deductive flexibility and how it may relate to other cognitive abilities

75%

Żyluk N. , Michta M. , Urbański M.

Logic and Logical Philosophy

|

2018

|

tom 27

|

nr 4 Special Issue on Logic, Cognition, Argumentation. Guest Editors: Mariusz Urbański, Michiel van Lambalgen and Marcin Koszowy

517-543

EN

The article describes the construction process of Deductive Flexibility Test  considered a difficult deductive reasoning measure – and the research on correlations between fluency in difficult deductive reasoning and other cognitive abilities. The main goal in the research was to examine the relations between Deductive Flexibility Test scores and results of Raven’s Advanced Progressive Matrices – fluid intelligence test. Additionally, the measures of the need for cognitive closure and epistemological understanding were included in the study. The results of the study revealed that Deductive Flexibility Test is a reliable instrument and thus can be used for research purposes. We found low or even no statistically significant correlations between the chosen variables. The directions of further research are discussed.

4

A system for deduction-based formal verification of workflow-oriented software models

63%

Klimek R.

International Journal of Applied Mathematics and Computer Science

|

2014

|

tom 24

|

nr 4

941-956

EN

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.

5

Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej

51%

Klimek R.

|

2011

|

tom R. 15, nr 12

190-193

PL

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.

EN

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.

6

A system for deduction-based formal verification of workflow-oriented software models

44%

Klimek R.

International Journal of Applied Mathematics and Computer Science

|

2014

|

tom Vol. 24, no. 4

941--956

EN

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.