Temat: deductive reasoning - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Zmień widok

na półce

Skocz do pozycji: 2.

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ł

Zmień widok

na półce

Skocz do pozycji: 3.

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ł

Zmień widok

na półce

Skocz do pozycji: 4.

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ł

Zmień widok

na półce

Skocz do pozycji: 5.

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ł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "deductive reasoning" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język