Mostrando recursos 1 - 20 de 3.240

  1. La lógica en la investigación y el desarrollo del conocimiento demográfico

    Escobedo Rivera, Jose
    En este trabajo se revisan los principales aportes al conocimiento demográfico en relación con la utilización de razonamientos lógicos en el proceso de investigación. Estos razonamientos dependen de una justificación epistemológica que los instrumentaliza dándoles contenido y utilidad. En este sentido, se ha tomado la hipótesis de Malthus como ejemplo de la aplicación de la lógica deductiva; la transición demográfica, como inductiva; el descubrimiento de las causas de la fiebre puerperal como abductiva, y la teoría de la capilaridad social, como analogía.

  2. Efectividad de la aplicación de un diplomado para atender la diversidad estudiantil en ciencias médicas

    Suárez Denis, Ana Lidia; Núñez Martínez, María Cristina; Llano Arana, Lizgrace; Sánchez Ortiz, Loreta; Rodríguez Lorenzo, María del Carmen; Morejón Barrueto, Yanet
    Fundamento: el profesor universitario debe estar preparado para responder a las necesidades educativas individuales y grupales que la comunidad educativa requiere.Objetivo: valorar la efectividad de un diplomado para atender la diversidad en los grupos estudiantiles de ciencias médicas.Métodos: se realizó un estudio cuasiexperimental evaluativo, desde febrero 2012 a 2015. Se utilizaron métodos teóricos: histórico-lógico, analítico-sintético, inductivo-deductivo y modelación; empíricos: análisis de documentos, observación de clases, encuesta, experimento pedagógico formativo y registro de información; y matemáticos estadísticos: distribución de frecuencias, porciento y cálculo de la efectividad. El diplomado fue valorado y aceptado por 12 expertos a través del Método Delphi. Su...

  3. Bibliotecología y estudios culturales: elementos teóricos que posibilitan su vinculación.

    Pérez Moya, Felicia
    Se demuestra la posibilidad de establecer una provechosa relacióndisciplinaria entre los estudios culturales y la Bibliotecología y seexplica su objeto de estudio desde una perspectiva social. Se profundizaen la significación de dichos estudios en las investigaciones bibliotecológicasy en los elementos que se han de tener en cuenta para la investigaciónde las prácticas bibliotecarias desde el enfoque sociocultural, conénfasis en la interrelación sujeto usuario-sujeto bibliotecario. Se emplearonlos métodos histórico-lógico, inductivo-deductivo, analítico-sintético yde análisis de contenido para la interpretación de los datos, la explicaciónde las relaciones y las valoraciones que se consideraron pertinentes.En el artículo se intenta ir más allá de los...

  4. La biblioteca pública espirituana: antecedentes, surgimiento y consolidación (1864-1989).

    Pérez Moya, Felicia
    El presente estudio tuvo como objetivos analizar la interrelación del proceso de formación y desarrollo de la biblioteca pública con el contexto político, económico, social y cultural de la región central, específicamente, en Sancti Spíritus. Así como examinar las peculiaridades de las categorías de análisis seleccionadas: colecciones, sujeto bibliotecario y sujeto usuario, tanto en la etapa inicial de su organización como de desarrollo. Se emplearon los métodos histórico-lógico, inductivo-deductivo, analítico-sintético y de análisis de contenido para la interpretación de los datos, la explicación de las relaciones y las valoraciones que se consideraron pertinentes. En el trabajo se sistematizan regularidades del...

  5. Concepciones de la OCDE y la Unión Europea sobre el desarrollo profesional docente.

    Jesús, Manso; Monarca, Héctor
    Since the growth and expansion during the last century of International Organizations, their presence and influence on national policies became even more significant. Specifically, on the educational area, the impact of those organizations became more significant from the 90s, and more recently (at the beginning of this century), those discourses particularly focused on teachers and Teachers Professional Development (TPD). Thus, the present paper, pursues analyze of International Organizations’ role on TPD definition, through conceptions and implications resulting from their publications. Therefore, analyze comes from the construction of an instrument with eight qualitative categories, applied with a deductive-inductive logic, for the...

  6. A importância do ativismo judicial na implementação dos direitos sociais não implementados pelo poder público

    Moretti, Deborah Aline Antonucci; Flavio da Costa, Yvete
    Social rights are programmatic standards fixed on Article 6 of the 1988Federal Constitution Because of this feature, they require state action aimedto achieve them. It means that in order to those rules take effect, the government should allocate specific resources and provide public policts. Thesepolicts require high public spending, and state planning accordingly. As aresult, often the state evades this obligation using to justify the reservation oftheory as possible, and fails to meet the basic needs of the population. In thiscontext, arises the importance of the judiciary. That power, when examiningclaims that there was not the realization of basic social rights...

  7. Valoración de tareas docentes integradoras para el estudio de Física en Tecnología de la Salud

    Guillen Estevez, Anselmo Leonides; Cañizares Espinosa, Yamiley; Contreras Vidal, Jorge Luis; Cabrera Suárez, Mayra E.
    Fundamento: la principal motivación de los estudiantes de las carreras de Tecnología de la Salud por el estudio de la Física, está vinculada a su interrelación con los contenidos biomédicos.Objetivo: valorar la aplicación de tareas docentes integradoras para incentivar la motivación por el estudio de la Física en los estudiantes de las carreras de Tecnología de la Salud.Métodos: se realizó un estudio prexperimental en la Facultad de Tecnología de la Salud en la Universidad de Ciencias Médicas de Villa Clara. Se emplearon métodos teóricos: histórico-lógico, análisis-síntesis e inductivo-deductivo y empíricos, análisis documental, encuesta y observación a clases en dos momentos...

  8. Deciding Entailments in Inductive Separation Logic with Tree Automata

    Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
    International audience

  9. A framework for inductive learning of typed-unification grammars

    Liviu Ciortuz
    LIGHT, the parsing system for typed-unification grammars [3], was recently extended so to allow the automate learning of attribute/feature paths values. Motivated by the logic design of these grammars [2], the learning strategy we adopted is inspired by Inductive Logic Programming [4]; we proceed by searching through hypothesis spaces generated by logic transformations of the input grammar. Two procedures | one for generalisation, the other for specialisation | are in charge with the creation of these hypothesis spaces.

  10. Integrating Top-down and Bottom-up Approaches in Inductive Logic Programming: Applications in . . .

    Lap Poon Rupert Tang

  11. Phase Transitions within Grammatical Inference

    Nicolas Pernot; Antoine Cornuéjols; Michèle Sebag
    It is now well-known that the feasibility of inductive learning is ruled by statistical properties linking the empirical risk minimization principle and the “capacity ” of the hypothesis space. The discovery, a few years ago, of a phase transition phenomenon in inductive logic programming proves that other fundamental characteristics of the learning problems may similarly affect the very possibility of learning under very general conditions. Our work examines the case of grammatical inference. We show that while there is no phase transition when considering the whole hypothesis space, there is a much more severe “gap ” phenomenon affecting the effective...

  12. Learning terminologies in probabilistic description logics

    Kate Revoredo; Jose ́ Eduardo Ochoa-luna; Fabio Gagliardi Cozman
    Abstract. This paper investigates learning methods where the target language is the recently proposed probabilistic description logic crALC. We start with an inductive logic programming algorithm that learns logical constructs; we then develop an algorithm that learns probabilistic constructs by searching for conditioning concepts, using examples given as interpretations. Issues on learning from entailments are also examined, and practical examples are discussed. 1

  13. Research on Indeterminacy Causal Inductive Automatic Reasoning Mechanism

    Liang Kaijian; Linfeng Bai; Xilong Qu
    Abstract: The generalized inductive logic causal model that can synthetically process fuzzy indeterminacy and random indeterminacy was proposed in this paper. On this basis, the new logic indeterminacy causal inductive automatic reasoning mechanism based on fuzzy state description was put forward. At the end of this paper its application on the development of intelligent controller was discussed.

  14. Comparison of graphbased and logic-based multi-relational data mining

    Nikhil S. Ketkar; Lawrence B. Holder; Diane J. Cook
    The goal of this paper is to generate insights about the dif-ferences between graph-based and logic-based approaches to multi-relational data mining by performing a case study of graph-based system, Subdue and the inductive logic pro-gramming system, CProgol. We identify three key factors for comparing graph-based and logic-based multi-relational data mining; namely, the ability to discover structurally large concepts, the ability to discover semantically compli-cated concepts and the ability to eectively utilize back-ground knowledge. We perform an experimental comparison of Subdue and CProgol on the Mutagenesis domain and var-ious articially generated Bongard problems. Experimental results indicate that Subdue can signicantly outperform...

  15. Inductive Logic Programming for Symbol Recognition

    K.C., Santosh; Lamiroy, Bart; Ropers, Jean - Philippe
    International audience

  16. Assessing Inductive Logic Programming Classification Quality by Image Synthesis

    Lamiroy, Bart; Ropers, Jean-Philippe
    International audience

  17. Infinitary Logic and Inductive Definability Over Finite Structures

    Dawar, Anuj; Lindell, Steven; Weinstein, Scott
    The extensions of first-order logic with a least fixed point operators (FO + LFP) and with a partial fixed point operator (FO + PFP) are known to capture the complexity classes P and PSPACE respectively in the presence of an ordering relation over finite structures. Recently, Abiteboul and Vianu [AV91b] investigated the relation of these two logics in the absence of an ordering, using a mchine model of generic computation. In particular, they showed that the two languages have equivalent expressive power if and only if P = PSPACE. These languages can also be seen as fragments of an infinitary...

  18. Active Error Correction for learning kinship terms

    Morris, Gary
    Kinship Analysis requires learning definitions of all kinship terms used in a target culture from data that is gathered incrementally through interviews with informants. We exploit a collection of previously learned kinship definitions from different cultures (logical “domain theories”) to minimize the cost of learning the definitions in a new domain theory. We use Transfer Learning and Inductive Logic Programming (ILP) to learn kinship definitions. We propose a novel method for identifying potential errors in the data by comparing our data with definitions in previously learned models of similar cultures. We actively ask informants to confirm or correct these potential...

  19. FCSH

    David Botting; Waller Waller Guarini
    Abstract: I will show that there is a type of analogical reasoning that instantiates a pattern of reasoning in confirmation theory that is con-sidered at best paradoxical and at worst fatal to the entire syntactical approach to confirmation and ex-planation. However, I hope to elabo-rate conditions under which this is a sound (although not necessarily strong) method of reasoning. It does not, as its exponents claim, instanti-ate a pattern of reasoning distinct from deductive and inductive logic.

  20. Inductive logic programming in answer set programming

    Domenico Corapi; Ra Russo; Emil Lupu
    Abstract. In this paper we discuss the design of an Inductive Logic Pro-gramming system in Answer Set Programming and more in general the problem of integrating the two. We show how to formalise the learning problem as an ASP program and provide details on how the optimisation features of modern solvers can be adapted to derive preferred hypotheses. 1

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.