„CT 00” változatai közötti eltérés
Jkv1 (vitalap | szerkesztései) (→Chapter#1.1. Aims/objectives) |
Jkv1 (vitalap | szerkesztései) (→Chapter#1.1. Aims/objectives) |
||
| 49. sor: | 49. sor: | ||
The entire publication tries to deliver interpretation possibilities to the term "verification". Verification can be derived manually (see chapter#...) or even in an automated way (see chapter#...). The manual-driven steps can have such a traps, where automation becomes impossible (see chapter#...). | The entire publication tries to deliver interpretation possibilities to the term "verification". Verification can be derived manually (see chapter#...) or even in an automated way (see chapter#...). The manual-driven steps can have such a traps, where automation becomes impossible (see chapter#...). | ||
| − | Summa summarum: the whole publication tries to have influence to the thinking methodology of the Students in order to see practical steps behind phylosophycal challenges. | + | Summa summarum: the whole publication tries to have influence to the thinking methodology of the Students in order to see practical steps behind phylosophycal challenges (e.g. automation, nature/level of vierification). The publication can be evaluated as understood, if the Reader think, (s)he is capable of deriving classifications concerning arbitrary concepts and (s)he is capable of deciding about a concept whether it it is rather realistic or rather irrealistic. It is also important, that the Readers see the third output-level: namely, not each concept may be evaluated based on the partical given raw data (see chapter#...). |
==Chapter#1.2. Tasks== | ==Chapter#1.2. Tasks== | ||
A lap 2025. április 2., 08:32-kori változata
Final-thesis-like publication based on previous performances (see: https://miau.my-x.hu/mediawiki/index.php?title=CT_01) Principles for editing: https://miau.my-x.hu/mediawiki/index.php/Vita:CT_00 History of the final product: https://miau.my-x.hu/mediawiki/index.php?title=CT_00&action=history History of the discussion page: https://miau.my-x.hu/mediawiki/index.php?title=Vita:CT_00&action=history
Tartalomjegyzék
Title
Which concepts can be verified based on partial data about log-information in an e-car?
Subtitle
(or a cooperative experiment, how to create e.g. the chapter2 about literature in a final thesis)
Authors
László Pitlik (https://orcid.org/0000-0001-5819-0319), László Pitlik (Jr.) (https://orcid.org/0000-0002-8058-9577) Mátyás Pitlik (https://orcid.org/0000-0002-1991-3008),
Institutions
MY-X research team
Abstract
History of the project: The software-testing as such from point of view of a praxis-oriented education has to enforce real testing experiences - especially about softwares being given day-by-day in the education (e.g. https://miau.my-x.hu/miau/320/moodle_neptun_tests/, https://miau.my-x.hu/miau/320/moodle_testing/, https://miau.my-x.hu/miau/320/teams_testing/). On the other hand, it is not correct, if the term of testing is only focusing on ergonomy, functionality in a trivial way. Therefore, specific aspects are also important: e.g. https://miau.my-x.hu/miau/320/moodle_cubes_logic/ about interpreting systems with seemingly correct functionalities and/or https://miau.my-x.hu/miau/320/moodle_webkincstar/ about legal aspects of potential damages based on testing results. Finally, the testing as such approximate the challenge of concept testing (c.f. https://miau.my-x.hu/miau/320/concept_testing/), where the best concepts should be derived based on partial log-data about arbitrary systems (c.f. encryption/decryption tasks for unknown-cyphers).
Own objectives and results: This publication demonstrates a case about the negotiation process of 10+ experts concerning a tricky challenge, where partial (raw and derived) log-data of an e-car could be analyzed based on three concepts. 2 of them were totally correct from mathematical point of views, and one concept was a randomized set of potential interpretable numbers. The interpretation process had two levels: the first level made only a part of the existing data visible. On other level, all data could be seen. Parallel, to the case tadies based on human intuition processes, an AI-based approach must also be interpreted by human experts. The conclusions can be seen in this publication.
Future: The creation of the publication (as a kind of side effect) will also be used in the education to demonstrate a lot of rules concerning the writing process of a final thesis. On the other hand, the main motivation is always the automation: it is important, that human experts are capable of solving problems in an approximative way, but it is significantly more relevant to explore, how can we derive automations concerning the thinking processes of human experts.
Chapter#1. Introduction
In this chapter, it will be necessary to clarify the basic information about the project: aims/objectives, tasks, targeted groups, uitilities (estimation of information added-values), motivation, about the structure of the study.
Chapter#1.1. Aims/objectives
The title signalize more relevant keywords needing at least a short definition (c.f. concepts, verification, partial log-data).
The data asset for task-definitions can be seen here: https://miau.my-x.hu/miau/320/concept_testing/concept_testing_task_level.xlsx. The whole analytical process can be interpreted here: https://miau.my-x.hu/miau/320/concept_testing/concept_testing_v1.xlsx There are 3 task levels (for each level there is a separate sheet "task1", "task2", "task3" - see *task_level.xlsx). The entire complexity (see *_v1.xlsx - including data and analytical steps) was a hidden file during the task-periode. Further files concerning solutions can be seen here: https://miau.my-x.hu/miau/320/concept_testing/?C=M;O=D.
Based on the above-mentioned files, the expression partial data means: parts of a complex systems are presented as task in order to motivate for explanations/interpretations. The situation is the same, as somebody has to report about a room based on a view through one/more key-hole(s).
Concepts as keyword means: based on the raw data and further calculated data, there are 3 hidden formulas and only the results of these hidden formulas are known in frame of the tasks. The inputs of the tasks is only data positions without any formulas.
Verification as keyword means: what kind of analytical steps lead to a situation, where it is possible to classify concepts as potential realistic or even potential irrealistic.
Based on these short definitions, the publication try to present a case study where (see the entire publication as such), where different steps (task1, task2, task3, task4:interpretation of the hidden file) are interpreted in a detailed way.
The experiment based on the data delivered in task1 can be found in chapter#...
The experiment based on the data delivered in task2 can be found in chapter#...
The experiment based on the data delivered in task3 can be found in chapter#...
The experiment based on the data delivered in task4 can be found in chapter#...
The entire publication tries to deliver interpretation possibilities to the term "verification". Verification can be derived manually (see chapter#...) or even in an automated way (see chapter#...). The manual-driven steps can have such a traps, where automation becomes impossible (see chapter#...).
Summa summarum: the whole publication tries to have influence to the thinking methodology of the Students in order to see practical steps behind phylosophycal challenges (e.g. automation, nature/level of vierification). The publication can be evaluated as understood, if the Reader think, (s)he is capable of deriving classifications concerning arbitrary concepts and (s)he is capable of deciding about a concept whether it it is rather realistic or rather irrealistic. It is also important, that the Readers see the third output-level: namely, not each concept may be evaluated based on the partical given raw data (see chapter#...).
