Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power

In this thesis, we investigate the decidability and computational complexity of (deductive) conservative extensions in expressive fragments of first-order logic, such as two-variable and guarded fragments. Moreover, we also investigate the complexity of (query) conservative extensions in Horn description logics with inverse roles. Aditionally, we investigate the computational complexity of the satisfiability problem in the unary negation fragment of first-order logic extended with regular path expressions. Besides complexity results, we also study the expressive power of relation-changing modal logics. In particular, we provide translations intto hybrid logic and compare their expressive power using appropriate notions of bisimulations

Relation-Changing Logics as Fragments of Hybrid Logics

Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular, they are equipped with dynamic modalities that are able to delete, add, and swap edges in the model, both locally and globally. We provide translations from these logics to hybrid logic along with an implementation. In general, these logics are undecidable, but we use our translations to identify decidable fragments. We also compare the expressive power of relation-changing modal logics with hybrid logics.Comment: In Proceedings GandALF 2016, arXiv:1609.0364

Satisfiability for relation-changing logics

Relation-changing modal logics (RC for short) are extensions of the basic modal logic with dynamic operators that modify the accessibility relation of a model during the evaluation of a formula. These languages are equipped with dynamic modalities that are able e.g. to delete, add and swap edges in the model, both locally and globally. We study the satisfiability problem for some of these logics.We first show that they can be translated into hybrid logic. As a result, we can transfer some results from hybrid logics to RC. We discuss in particular decidability for some fragments. We then show that satisfiability is, in general, undecidable for all the languages introduced, via translations from memory logics.Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; ArgentinaFil: Fervari, Raul Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; ArgentinaFil: Hoffmann, Guillaume Emmanuel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Martel, Mauricio. Universitat Bremen; Alemani

Querying the Unary Negation Fragment with Regular Path Expressions

The unary negation fragment of first-order logic (UNFO) has recently been proposed as a generalization of modal logic that shares many of its good computational and model-theoretic properties. It is attractive from the perspective of database theory because it can express conjunctive queries (CQs) and ontologies formulated in many description logics (DLs). Both are relevant for ontology-mediated querying and, in fact, CQ evaluation under UNFO ontologies (and thus also under DL ontologies) can be `expressed\u27 in UNFO as a satisfiability problem. In this paper, we consider the natural extension of UNFO with regular expressions on binary relations. The resulting logic UNFOreg can express (unions of) conjunctive two-way regular path queries (C2RPQs) and ontologies formulated in DLs that include transitive roles and regular expressions on roles. Our main results are that evaluating C2RPQs under UNFOreg ontologies is decidable, 2ExpTime-complete in combined complexity, and coNP-complete in data complexity, and that satisfiability in UNFOreg is 2ExpTime-complete, thus not harder than in UNFO

Conservative Extensions in Guarded and Two-Variable Fragments

We investigate the decidability and computational complexity of (deductive) conservative extensions in fragments of first-order logic (FO), with a focus on the two-variable fragment FO$^2$ and the guarded fragment GF. We prove that conservative extensions are undecidable in any FO fragment that contains FO$^2$ or GF (even the three-variable fragment thereof), and that they are decidable and 2\ExpTime-complete in the intersection GF$^2$ of FO$^2$ and GF

Una propuesta para promover la articulación entre temas básicos de álgebra y computación

Este trabajo se basa en un problema didáctico que hemos detectado en el ámbito de las carreras de Analista en Computación, Profesorado y Licenciatura en Ciencias de la Computación en el ámbito de nuestra universidad, vinculado a la falta de integración entre los contenidos que se trabajan en las asignaturas básicas de matemática que se imparten en el primer año de estas carreras (en particular, en la asignatura Introducción al Algebra) con cuestiones específicas referidas a la Computación. El objetivo de este trabajo es mostrar una propuesta de cómo relacionar dichas cuestiones, de manera que los alumnos puedan, desde el comienzo de su carrera, vincular contenidos y tener una visión más clara de las importantes aplicaciones que tienen ciertos temas claves de Algebra en las Ciencias de la Computación. Esta propuesta apunta a que los alumnos puedan construir un significado diferente de los objetos estudiados, enriquecido con nuevas situaciones estrechamente vinculadas a la computación, promoviendo así una relación diferente con los saberes que les van a ser de utilidad en su futura práctica profesional

Planeación didáctica y desempeño docente desde la percepción de estudiantes de una universidad privada de Ica

En este trabajo se planteó establecer la relación de la Planeación Didáctica y el Desempeño Docente bajo la percepción del estudiante. La investigación fue de enfoque cuantitativo, nivel descriptivo y de tipo básico y sustantivo. Se trabajó con una muestra de 130 estudiantes de la Facultad de Ciencias de la Salud y Facultad de Ingeniería, Ciencias y Administración, de una universidad privada de Ica. Se aplicaron dos cuestionarios coherentes con las variables de estudio y los objetivos del mismo. Para analizar los resultados se aplicó estadística descriptiva e inferencial con lo que se obtuvo que la percepción de los estudiantes sobre la relación entre la planeación didáctica y el desempeño docente presenta una muy baja correlación y no significativa. Asimismo, se demostró que no existen diferencias estadísticamente significativas entre la variable Desempeño Docente y sus dimensiones, así como entre la variable Planeación Didáctica y sus dimensiones, según la facultad, la carrera profesional y los ciclos a los que pertenecen los estudiantes. Se concluye que la percepción que posee los estudiantes de ambas variables va a depender del sistema de creencias de cada individuo y de la situación contextual.The purpose of this work was to establish the relationship between Didactic Planning and Teaching Performance under the student's perception. The research was quantitative, descriptive, basic and substantive. A sample of 130 students from the Faculty of Health Sciences and the Faculty of Engineering, Sciences and Administration of a private university in Ica was used. Two questionnaires were applied, consistent with the study variables and the objectives of the study. To analyze the results, descriptive and inferential statistics were applied, which showed that the students' perception of the relationship between didactic planning and teaching performance has a very low and non-significant correlation. Likewise, it was shown that there are no statistically significant differences between the variable Teaching Performance and its dimensions, as well as between the variable Didactic Planning and its dimensions, according to the faculty, the professional career and the cycles to which the students belong. It is concluded that the students' perception of both variables will depend on the belief system of each individual and the contextual situation.Educación Superior Universitari

Hábitos de higiene de la madre y su relación con la parasitosis intestinal en niños menores de 5 años en el centro de salud Madre Teresa de Calcuta el Agustino - 2021

La investigación tuvo como objetivo establecer el lazo de unión que existe entre los hábitos de higiene de la madre y la parasitosis intestinal en niños menores de 5 años atendidos en el C.S. Madre Teresa de Calcuta - El Agustino 2021, es de enfoque cuantitativo, tipo básica, nivel correlacional, diseño no experimental, corte transversal, la población fue constituida por 50 madres, utilizando una encuesta y un cuestionario para la recolección de datos en la cual evaluara las dimensiones del estudio, las cuales fueron: Higiene personal, Higiene de la vivienda, Manipulación de los Alimentos. Para el análisis inferencial se manejó la prueba del chi cuadrado de un resultado de significancia estadística de p ≤ 0.05. Donde obtuvimos como resultado que el 52 % de las madres que tienen hábitos de higiene mala hay presencia de parasitosis en sus niños, mientras que el 8% de las madres que tienen hábitos de higiene buena, hay ausencia de parasitosis mientras que en las dimensiones se obtuvo como resultado que en la dimensión higiene de vivienda el 30% tiene mala higiene y dio positivo para parasitosis, mientras que los 8% presenta buena higiene y no poseen parasitosis, en la dimensión Higiene personal el 34% presenta mala higiene personal y poseen parasitosis, se observa que 0% posee buena higiene personal y por último en la dimensión manipulación de alimentos el 44% tiene mala manipulación de alimentos y poseen parasitosis, así mismo el 10% presente buena manipulación de alimentos y no presenta parasitosis. Llegando a la conclusión de que los hábitos de higiene de la madre se encuentran íntimamente ligado a la presencia de parasitosis intestinal en los niños menores de 5 años del Centro de Salud Madre Teresa de Calcuta, por ende se refuta la presuposición nula aceptando la presuposición alternante

ViDa1: The Development and Validation of a New Questionnaire for Measuring Health-Related Quality of Life in Patients with Type 1 Diabetes

IGTPAltres ajuts: Funding was provided by the Canarian Agency for Research,Innovation and Information Society (ACIISI) (DA predoctoralfellowship TESIS20120050) and the V Guido Ruffino Grantfor Research in Therapeutic Education for Diabetes (SpanishDiabetes Society 2015)This study describes the development of a new questionnaire to measure health-related quality of life (HRQoL) in patients with type 1 diabetes (the ViDa1 questionnaire) and provides information on its psychometric properties. For its development, open interviews with patients took place and topics relevant to patients' HRQoL were identified and items were generated. Qualitative analysis of items, expert review, and refinement of the questionnaire followed. A pilot study (N = 150) was conducted to explore the underlying structure of the 40-item ViDa1 questionnaire. A Principal Component Analysis (PCA) was performed and six of the items that did not load on any of the factors were eliminated. The results supported a four-dimensional structure for ViDa1, the dimensions being Interference of diabetes in everyday life, Self-care, Well-being, and Worry about the disease. Subsequently, the PCA was repeated in a larger sample (N = 578) with the reduced 34-item version of the questionnaire, and a Confirmatory Factor Analysis (CFA) was performed (N = 428). Overall fit indices obtained presented adequate values which supported the four-factor model initially proposed [(2(df =554) = 2601.93) (p < 0.001); Root Mean Square Error of Approximation = 0.060 (CI = 0.056 −0.064)]. As regards reliability, the four dimensions of the ViDa1 demonstrated good internal consistency, with Cronbach's alphas ranging between 0.71 and 0.86. Evidence of convergent-discriminant validity in the form of high correlations with another specific HRQoL questionnaire for diabetes and low correlations with other constructs such as self-efficacy, anxiety, and depression were presented. The ViDa1 also discriminated between different aspects of clinical interest such as type of insulin treatment, presence of chronic complications, and glycemic control, temporal stability, and sensitivity to change after an intervention. In conclusion, the ViDa1 questionnaire presents adequate psychometric properties and may represent a good alternative for the evaluation of HRQoL in type 1 diabetes