DD-KARB: Data-Driven Compliance to Quality by Rule Based Benchmarking

Rather than proof and logical evaluation, benchmarking can be used for compliance assessment. Naturally, a set of benchmarks can shape an applied solution to compliance assessment. This paper proposes the KARB solution system, i.e. preventing compliance anomalies through rule-based benchmarking. In fact, rule-based benchmarking means evaluating an under-compliance system with its symbolic specification and using a set of symbolic rules (on the behalf of the semantic logic of evaluation). A case study was conducted to demonstrate and analyze the KARB solution. The IR-QUMA study (Iranian Survey on Quality in Messenger Apps) was then conducted to evaluate the quality of some messenger applications. According to the evaluation results, the hybrid DD-KARB method (with a combination of semantics-awareness and data-drivenness) is more effective than solo methods and can compute a somehow good estimation for the messenger application user quality scores. Therefore, DD-KARB can be considered a method for quality benchmarking in this technical context.

Sistema de ejercicios profilácticos para la prevención de las lesiones de rodilla en el Karate Do (System of prophylactic exercises for the prevention of knee injuries in Karate Do)

La investigación se centró en diseñar un sistema de ejercicios profilácticos para prevenir las lesiones de rodilla, para ello se transitó por una fase diagnostica empleando cuatro profesores de karate de la Federación de los Ríos y 20 karatecas de la categoría 14-16 años, la recopilación de la información estuvo respaldada por un análisis estructural funcional de la rodilla, revisión de documentos, la observación y la entrevista, los resultados permitieron la elaboración de la propuesta la cual fue sometida a la evaluación de 15 expertos, posteriormente se procedió a la fase de validación empírica para lo cual se empleó un pre-experimento pedagógico donde intervinieron las 14 principales figuras del equipo, el proceso estuvo respaldado por una hipótesis de investigación, siguiendo la lógica de evaluación (pre_test), intervención-despliegue y evaluación (post_test) de la amplitud articular en la flexión de la articulación de la rodilla y de la fuerza máxima de los músculos que inervan la articulación: cuádriceps, bíceps femoral y gemelos. Para la contrastación del pre_test con el post_test fue necesario determinar la normalidad de los datos, se empleó un Test de Bondad de ajuste: Kolmogorov-Smirnov: KS, lo que permitió la aplicación de la prueba T para diferencias de medias, la significación de cambios fue de p=0.001 comprobando Hi en concordancia es posible plantear que un sistema de ejercicios específicos elaborados a partir del principio de estructura y función, garantiza la prevención de lesiones de rodillas asociadas las exigencias físicas que se deriva de la ejecución de la kata y el kumité. Summary: This research focused on designing a system of prophylactic exercises to prevent knee injuries. A diagnostic evaluation employed four karate teachers from the Federation of Rivers and 20 karate athletes from the 14-16-year-old category. Data collection was supported by a functional structural analysis of the knee, document review, as well as observations and interviews. The results allowed for the elaboration of a proposal submitted to the evaluation of 15 experts. Following that, the phase of empirical validation started, for which a pedagogical pre-experiment was implemented with the participation of the 14 most prominent figures of a team. The process was supported by a research hypothesis, following the logic of evaluation (pre_test), intervention-implemetation, and evaluation (post_test) of the joint range during the flexion of the knee joint and the maximum strength of the muscles surrounding it: quadriceps, hamstrings, and calves. For pre_test/post_test assessment, the normality of data needed to be determined. Therefore, the Kolmogorov-Smirnov Goodness Test of Adjustment was used (KS), which confirmed that T test for differences of means could be employed. T tests results showed a significance of changes of p = 0.001, corroborating the Hi. In conclusion, we can assume that a system of specific exercises developed from the principle of structure and function guarantees the prevention of knee injuries associated with the physical demands resulting from the execution of the kata and the Kumite.

“What makes a reasoning sound” is the proof of its truth: A reconstruction of Peirce’s semiotics as epistemic logic, and why he did not complete his realistic revolution

Charles S. Peirce attempted to develop his semiotic theory of cognitive signs interpretation, which are originated in our basic perceptual operations that quasi-prove the truth of perceptual judgment representing reality. The essential problem was to explain how, by a cognitive interpretation of the sequence of perceptual signs, we can represent external physical reality and reflectively represent our cognitive mind’s operations of signs. With his phaneroscopy introspection, Peirce shows how, without going outside our cognitions, we can represent external reality. Hence Peirce can avoid the Berkeleyian, Humean, and Kantian phenomenologies, as well as the modern analytic philosophy and hermeneutic phenomenology. Peirce showed that with the trio of semiotic interpretation – abductive logic of discovery of hypotheses, deductive logic of necessary inference, and inductive logic of evaluation – we can reach a complete proof of the true representation of reality. This semiotic logic of reasoning is the epistemic logic representing human confrontation in reality, with which we can achieve knowledge and conduct our behavior. However, Peirce did not complete his realistic revolution to eliminate previously accepted nominalistic and idealistic epistemologies of formal logic and pure mathematics. Here, I inquire why Peirce did not complete his historical realist epistemological revolution and following that inquiry I attempt to reconstruct it.

The Logic of Evaluation

Sentences of propositional logic may be verified or falsified with respect to an atomic basis. Verifications and falsifications are co-inductively defined. The rules generating them justify the truth tables row by row, left to right. Model-relative rules verifying universals or falsifying existentials can generate ‘infinite sideways branchings’ within evaluations. If a sentence has both a verification and a falsification, then a particular atom occurs with its negation in the basis. This presages how any ‘failure’ of transitivity with any two core proofs is offset by proof that their combined premises are inconsistent. More general atomic bases allow for conceptual inclusions and contrarieties. The resulting rules of verification and falsification determine the Logic of Evaluation. These morph into the rules of Core Logic by allowing for complex premises; having sentences replace ⊥ in conclusion-positions; and voiding the basis, so that deducibility becomes a model-invariant matter of form, not of content.

From the Logic of Evaluation to the Logic of Deduction

We deliver the details on the smooth morphing from the verification and falsification rules of the model-relative Logic of Evaluation to the model-invariant, deductive rules of Core Logic. There are good reasons for preferring the parallelized forms of certain elimination rules in natural deduction (the ones for conjunction, the conditional, and the universal quantifier) to their more conventional serial forms. We explain how ⊥ can make its way into proofs as a conclusion, as required for applications of ¬-Introduction. We discuss the notion of harmony between introduction and elimination rules, in preparation for the full treatment of reduction procedures for the logical operators that will be provided in Chapter 6.