Mostrando recursos 1 - 20 de 998

  1. EFFICIENT EVALUATION OF NORMAL LOGIC PROGRAMS

    Terrance Lee Swift
    An accident of implementation may be responsible for the fact that Logic Programming, Deductive Databases and Non-Monotonic Reasoning are different subfields. Logic Programming views logic as a programming language-- implemented through Prolog or an extension of Prolog. The Deductive Database community regards logic as a database language, often implemented using a variant of magic sets as a basis for implementation. Finally the field of Non-Monotonic Reasoning studies non-classical logics of interest to Artificial Intelligence or other applications. However, there are currently few engines powerful enough to implement Non-Monotonic Reasoning for practical programs. Recent formulations of tabling methods have the potential...

  2. DOI: 10.1017/S1471068403001704 Printed in the United Kingdom Minimal founded semantics for disjunctive logic programs and deductive databases

    Filippo Furfaro; Gianluigi Greco; Sergio Greco
    In this paper, we propose a variant of stable model semantics for disjunctive logic programming and deductive databases. The semantics, called minimal founded, generalizes stable model semantics for normal (i.e. non disjunctive) programs but differs from disjunctive stable model semantics (the extension of stable model semantics for disjunctive programs). Compared with disjunctive stable model semantics, minimal founded semantics seems to be more intuitive, it gives meaning to programs which are meaningless under stable model semantics and is no harder to compute. More specifically, minimal founded semantics differs from stable model semantics only for disjunctive programs having constraint rules or rules...

  3. Optimization of nonrecursive queries

    Ravi Krishnamurthy; Haran Boral; Carlo Zaniolo
    State-of-the-art optimization approaches for relational database systems, e.g., those used in systems such as OBE, SQL/DS, and commercial INGRES. when used for queries in non-traditional database applications, suffer from two problems. First, the time complexity of their optimization algorithms, being combinatoric, is exponential in the number of relations to be joined in the query. Their cost is therefore prohibitive in situa-tions such as deductive databases and logic oriented languages for knowledge bases, where hundreds of joins may be required. The second problem with the traditional approaches is that, al-beit effective in their specific domain, it is not clear whether they...

  4. kLog: A Language for Logical and Relational Learning with Kernels

    Paolo Frasconia; Fabrizio Costab; Luc De Raedtc; Kurt De Gravec
    We introduce a novel approach to statistical relational learning; it is in-corporated in the logical and relational learning language, kLog. While traditionally statistical relational learning combines probabilistic (graphical) models with logical and relational representations, kLog combines a kernel-based approach with expressive logical and relational representations. kLog allows users to specify logical and relational learning problems at a high level in a declarative way. It builds on simple but powerful concepts that are well-known in statistical relational learning: learning from interpreta-tions, entity/relationship data modeling, logic programming, and deductive databases (Prolog and Datalog). However, unlike standard statistical rela-tional models, kLog does not...

  5. Abstract Solving Demand Versions of Interprocedural Analysis Problems

    Thomas Reps
    This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g., the dataflow facts holding at a given point) is to be reported only for a single program element of interest (or a small number of elements of interest). Because the summary information at one program point typically depends on summary information from other points, an important issue is to minimize the number of other points for which (transient) summary information is computed and/or the amount of information computed at those points. The paper describes...

  6. Conflating Taxonomy and Deductive Logic

    Victor Aguilar Www. Axiomaticeconomics. Com
    I review Tony Lawson’s paper, What is this ‘school ’ called neoclassical

  7. La educación en valores a través del Análisis de Situación de Salud en idioma inglés

    García Cormenzana, Ana Josefa; Scull Scull, Gilda; Govín Scull, Juana; Rodríguez Gil, Iliana María
    Fundamento: la enseñanza del idioma inglés constituye una herramienta para ejercer influencias educativas en los estudiantes a través del Análisis de Situación de Salud en las ciencias médicas.Objetivo: contribuir al fortalecimiento de la educación en valores a través del Análisis de Situación de Salud en idioma Inglés.Métodos: se efectuó un estudio prexperimental para promover la discusión y el debate sobre diferentes valores utilizando como base la presentación de un Análisis de Situación de Salud en idioma inglés. Se utilizaron métodos teóricos: el histórico-lógico, análisis-síntesis e hipotético-deductivo; y empíricos: encuestas para determinar el conocimiento sobre valores y cómo fortalecerlos cuando se...

  8. Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación

    Aranda López, Gabriel
    En esta memoria hacemos contribuciones dentro del campo de los lenguajes de bases de datos. Nos hemos propuesto tres objetivos fundamentales: 1. Mejorar la expresividad de los lenguajes de bases de datos actuales. 2. Desarrollar semánticas formales para nuestras propuestas de lenguajes de bases de datos extendidos. 3. Llevar a cabo la implementación de las semánticas anteriores en sistemas de bases de datos prácticos. Hemos conseguido estos tres objetivos en distintas áreas dentro de las bases de datos. Por un lado, en el campo de las bases de datos deductivas, proponemos HH:(C). Este lenguaje extiende las capacidades de los lenguajes...

  9. Las evaluaciones externas en Suecia, Países Bajos y Dinamarca

    Romero León, José Luis
    This paper presents the analysis of a broader study on external evaluations in three European countries compared. It is based on the analysis of secondary sources produced between 2005 and 2010. The study is completed with the analysis of sources from that date to the present but this phase has not ended now. The analysis was conducted from a deductive logic and with a descriptive objective. The second objective of analytical-critical type will be developed when phase two of the documentary analysis will be completed. Therefore, the findings show focusing exclusively on convergences and divergences of external evaluations in these...

  10. Avaliação da Gestão da Seção de Subsistência de uma Organização Militar quanto ao uso da Dotação Orçamentária Específica para Provimento de Alimentação: O Caso da Base Aérea de Florianópolis

    Viviane Tedesco, Keila; Letsch Soares, Laura; Flores Pinheiro Machado, Renato
    The competitive market has required that companies get rapidly adapted to the environmental changes in which they operate, because of the risk of not surviving among their peer competitors. Increasingly, organizations are deploying flexible forms of management that allow them to achieve their objectives efficiently. This adaptation process is seen most strongly in private companies. The public managers seem unconcerned to optimizing the use of the available resources. However, a public organization, when it is not well managed, can compromise its own operation as well as others sectors which depend on their services, and undermine the use of public financial...

  11. Generalización e inferencia: un acercamiento a su compresión desde tres enfoques

    Orozco A., Steven; Peñaranda Correa, Fernando; Restrepo Ochoa, Diego Alveiro; Mejía Ortega, Luz Mery; Arias V., Samuel A.
    Se trata de una reflexión que busca poner en discusión los diferentes significados que pueden adquirir los conceptos de generalización e inferencia, de acuerdo con el enfoque o perspectiva desde el cual se pretendan utilizar. Para este propósito, en primer lugar, se pone en consideración la importancia y el uso que se ha dado a estos conceptos en el campo de la epidemiología clásica-moderna, especialmente para definir asuntos de validez interna y externa y para la formulación de hipótesis. Seguidamente, se presentan las principales argumentaciones que al respecto defiende Clifford Geertz desde su perspectiva epistemológica de la etnografía interpretativista y...

  12. compte rendu d'ouvrage : Richard Moot et Chrisitan Retoré, The logic of categorial grammars: a deductive account of natural language syntax and semantics

    Godart-Wendling, Béatrice
    Revue électronique internationale Traitement Automatique des Langues, 2012, 53/2.

  13. Modelo de Cuidado: ¿Qué es y como elaborarlo?

    Patricia Kuerten Rocha; Marta Lenise do Prado
    En el presente artículo se realiza una reflexión teórica sobre el significado del modelo de cuidado de enfermería, además de ofrecer elementos para su elaboración. Existe una diversidad de terminologías sobre lo que es modelo de cuidado y sus elementos, tales como: modelo de cuidado, marco/sistema/modelo conceptual, marco de referencia, marco teórico, metodología y método. En este estudio son presentadas las etapas que sistematizan el desarrollo de un modelo de cuidado, a saber: planeamiento, desarrollo, implementación y evaluación. Por ser dinámica, la elaboración de un modelo de cuidado necesita de la interacción directa entre el investigador y el sujeto. La...

  14. Comentarios sobre el "Nuevo sistema de logica inductiva y deductiva por el Dr. Porfirio Parra,"

    Parra, Porfirio, 1856-1912.
    Mode of access: Internet.

  15. Aproximaciones y Procedimientos Creativos en los Procesos de Aprendizaje-Des_aprendizaje Proyectual

    Iglesias Sanz, Carlos Miguel
    Se aborda como objetivo una reflexión operativa sobre los actos creativos en el proyecto de arquitectura investigando los procedimientos que intervienen recurrentemente en los procesos del aprendizaje y proyectación. Aprendizaje entendido como actitud ininterrumpida en el discurso del creador, estado inacabado, en constante evolución, continuo, no suscrito al momento particular, como situación connatural al hecho creativo. El marco epistemológico de la Creatividad y sus técnicas asociadas en constante aplicación en otras disciplinas se desvela como un sustrato gnoseológico referencial para el entendimiento de los procesos de génesis y producción del proyecto y su aprendizaje. Se inscribe la investigación de la...

  16. Caracterización de las habilidades investigativas en estudiantes de la enseñanza técnica profesional de ciencias médicas

    Sánchez Ortiz, Loreta; Melián Rivero, Haydee; López González, Ernesto José; Rojas Rodríguez, Yanet; Quintero Argudín, José; Bello Benet, María Idelfonsa
     Fundamento: las habilidades investigativas constituyen una necesidad para los técnicos medios de la salud, ya que preparan al egresado para enfrentar con éxito las exigencias del desarrollo científico-técnico contemporáneo.Objetivo: caracterizar las dificultades presentadas en el desarrollo de las habilidades investigativas desde la asignatura Metodología de la Investigación Científica en la enseñanza técnica profesional de la Filial de Ciencias Médicas en Cienfuegos.Métodos: se realizó un estudio descriptivo transversal desde septiembre 2014 a enero 2015 tomando como muestra los estudiantes de segundo año de la mencionada enseñanza. Se utilizaron métodos del nivel teórico: analítico-sintético, inductivo-deductivo e histórico-lógico; del nivel empírico: el análisis...

  17. Potencialidades de la Psicología Médica para desarrollar el aprendizaje estratégico en el currículo de Medicina

    González Jaramillo, Suleida; Recino Pineda, Uvaldo; Álvarez Pérez, Yanelis; Pérez Castellá, Yailén de la Caridad
    Fundamento: el perfeccionamiento curricular debe garantizar la capacidad de autoformación de los estudiantes universitarios; el aprender a aprender constituye meta de cualquier proyecto educativo, lo cual convierte el aprendizaje estratégico en núcleo central de las investigaciones educativas.Objetivo: determinar las potencialidades didáctico-metodológicas que ofrece la disciplina Psicología Médica para desarrollar el aprendizaje estratégico en los estudiantes, en el Plan de Estudios D de la carrera de Medicina.Métodos: se realizó una investigación descriptiva en la Filial de Ciencias Médicas “Lidia Doce Sánchez” de Sagua la Grande; se aplicaron métodos teóricos, entre ellos: analítico-sintético, histórico-lógico e inductivo-deductivo, y empíricos: análisis de documentos, entrevista...

  18. Derivation of Functional Programs In Isabelle

    Abdelwaheb Ayari; David A. Basin
    We are interested in the general question of how formal metalogics and higher-order resolution can be used as a framework for deductive program development. This question includes how can useful calculi for program development bederived in conservative extensions of standard logics and how can derived rules be applied to build programs during their correctness proofs. We are also interested in howsuchaframework can be used to simplify and improve previously proposed approaches and paradigms to program development. Our starting point hereisthedeductive tableau of Manna and Waldinger [1] which is proposed as a special kind of rst-order proof system suited for the...

  19. Software educativo CHAKANA: una propuesta para desarrollar la inteligencia lógico-matemática de estudiantes universitarios

    Guido Mazón Fierro
    Introducción: al evidenciar que los jóvenes estudiantes del segundo semestre de la Carrera de Ingeniería en Sistemas y Computación de la Universidad Nacional de Chimborazo (Ecuador) poseen un nivel básico de lógica deductiva, y les cuesta resolver problemas de razonamiento con agilidad - lo cual repercute en un bajo rendimiento en la materia de matemática - el objetivo del presente estudio es facilitar un recurso didáctico asistido por computador para desarrollar la inteligencia lógico-matemática, como es el software educativo Chakana. Método: Cincuenta estudiantes compusieron el universo de investigación y una muestra aleatoria de 19 fue envolucrada en los testes. En...

  20. Ciencia y docencia en Agustín y Tomás de Aquino: (Del maestro agustiniano al maestro tomista)

    Pérez-Estévez, Antonio
    Se hace un análisis comparativo de los conceptos de ciencia, maestro y discípulo tal como aparecen en el De Magistro de san Agustín y en la cuestión 11, "De Magistro", de la disputación De Veritate de santo Tomás de Aquino. La ciencia agustiniana de las verdades inteligibles y eternas se adquiere por una visión mental del entendimiento y la razón y supone la buena voluntad del sujeto ; la tomista consiste más bien en el conjunto de formas inteligibles adquiridas a partir de un proceso deductivo, lógico-necesario, que se inicia con los primeros principios y axiomas evidentes. Para Agustín, hay...

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.