3,636 research outputs found
A Declarative Semantics for CLP with Qualification and Proximity
Uncertainty in Logic Programming has been investigated during the last
decades, dealing with various extensions of the classical LP paradigm and
different applications. Existing proposals rely on different approaches, such
as clause annotations based on uncertain truth values, qualification values as
a generalization of uncertain truth values, and unification based on proximity
relations. On the other hand, the CLP scheme has established itself as a
powerful extension of LP that supports efficient computation over specialized
domains while keeping a clean declarative semantics. In this paper we propose a
new scheme SQCLP designed as an extension of CLP that supports qualification
values and proximity relations. We show that several previous proposals can be
viewed as particular cases of the new scheme, obtained by partial
instantiation. We present a declarative semantics for SQCLP that is based on
observables, providing fixpoint and proof-theoretical characterizations of
least program models as well as an implementation-independent notion of goal
solutions.Comment: 17 pages, 26th Int'l. Conference on Logic Programming (ICLP'10
A Transformation-based Implementation for CLP with Qualification and Proximity
Uncertainty in logic programming has been widely investigated in the last
decades, leading to multiple extensions of the classical LP paradigm. However,
few of these are designed as extensions of the well-established and powerful
CLP scheme for Constraint Logic Programming. In a previous work we have
proposed the SQCLP (proximity-based qualified constraint logic programming)
scheme as a quite expressive extension of CLP with support for qualification
values and proximity relations as generalizations of uncertainty values and
similarity relations, respectively. In this paper we provide a transformation
technique for transforming SQCLP programs and goals into semantically
equivalent CLP programs and goals, and a practical Prolog-based implementation
of some particularly useful instances of the SQCLP scheme. We also illustrate,
by showing some simple-and working-examples, how the prototype can be
effectively used as a tool for solving problems where qualification values and
proximity relations play a key role. Intended use of SQCLP includes flexible
information retrieval applications.Comment: 49 pages, 5 figures, 1 table, preliminary version of an article of
the same title, published as Technical Report SIC-4-10, Universidad
Complutense, Departamento de Sistemas Inform\'aticos y Computaci\'on, Madrid,
Spai
Tratamiento contable de la innovación en la empresa
El presente trabajo está dedicado a intentar dar respuesta al registro contable de la innovación como una parte del capital intelectual originado en la empresa.
La innovación es en sí un tema complejo, cuya definición puede tener diversas perspectivas, puesto que existen diferentes tipos de innovación que no son solamente materiales, sino también de carácter intelectual, de gestión, de organización, de marketing, etc; por lo que el principal objetivo de esta monografía es profundizar en el concepto de innovación y analizar la relación de los procesos innovadores con el desarrollo. En este sentido, son numerosas las definiciones acerca del término innovación, y en esta línea, se pueden encontrar diversas aportaciones teóricas entorno a este fenómeno.
Etimológicamente el término innovar proviene del latín innovare, que quiere decir cambiar o alterar las cosas introduciendo novedades (Medina y Espinosa, 1994), definiéndolo el Diccionario de la Real Academia Española (1992) como “mudar o alterar las cosas introduciendo novedades”.
La innovación puede surgir de manera casual, siendo un ejemplo famoso el descubrimiento de la penicilina, o tras una búsqueda sistemática por la vía de la investigación y desarrollo (en inglés, R&D research and development). Desde un punto de vista histórico, han existido periodos en los que las novedades aparecen por oleadas, debidas en apariencia a ciertas condiciones sociales que favorecen el surgimiento de innovaciones. Entre estas condiciones se encuentra la situación de crisis, porque como ya dijo hace mucho tiempo un sabio “la crisis es la mejor bendición que puede sucederle a las personas y países, porque la crisis trae progresos. La creatividad nace de la angustia como el día nace de la noche oscura. Es en la crisis que nace la inventiva, los descubrimientos y las grandes estrategias. Quien supera la crisis se supera a sí mismo sin quedar superado” (Einstein, 1935).Facultad de Ciencias de la EmpresaUniversidad Politécnica de Cartagen
Τὸ Ἑλληνικὸν παιδίον, una propuesta didáctica en el aula
A través de este artículo se exponen algunas de las razones que han llevado a abandonar el método tradicional y a abogar por el método directo, como lleva pasando varios años entre los profesores de latín y cada vez más entre los de griego. Además, se presenta la adaptación del método A Greek Boy at Home de W. H. D. Rouse (1909), en el que un niño griego de la población de Acarnas nos adentra en la lengua griega de forma gradual, tanto a través de su vida privada, como de la cultura e historia de la antigua Hélade, mientras se trabajan las cuatro competencias básicas de comunicación de una lengua
- …