121.
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
- Jesús M. Almendros-jiménez; Antonio Becerra-terón
Abstract. In this paper we start the design of a functional-logic deductive database language. Given that most logic deductive languages consider bottom-up evaluation as operational mechanism, here we will focus on the development of an operational semantics based on bottomup evaluation for functional logic languages. As in the logic paradigm, the bottom-up evaluation will consist in a magic transformation for a given program-query into a magic program-query for which the bottomup evaluation will simulate the top-down one of the original program. 1
122.
Linear Logic Programming for AI Planning
- Peep Küngas; Tarmo Uustalu
The subject of this thesis is Linear Logic (LL) deductive Artificial Intelligence (AI) planning. A new programming language is described for specifying AI planning application domains and goals.
123.
Análisis del marco conceptual para la preparación y presentación de estados financieros confrome el modelo internacional IASB
- Montes Salazar, Carlos Alberto; Montilla Galvis, Omar de Jesús; Mejía Soto, Eutimio
Un marco conceptual contable es un fundamento teórico que, a manera de constitución, guía el desarrollo de la regulación normativo-técnico de la profesión. El marco utiliza un itinerario lógico deductivo y, a través de la inferencia, deriva desde los postulados superiores del entorno y los propios del sistema contable, los estándares contables
asociados a finalidades concretas.
Se puede calificar el sistema como teleológico.
El presente artículo analiza de manera
esquemática las guías conceptuales
en el proceso de preparación y
presentación de estados financieros.
Se consideran estados confeccionados
conforme a estándares internacionales
de contabilidad y de reportes financieros (IFRS), para que sean útiles en la toma de decisiones económicas...
124.
Análisis del marco conceptual para la preparación y presentación de estados financieros confrome el modelo internacional IASB
- CARLOS ALBERTO MONTES SALAZAR; OMAR DE JESÚS MONTILLA GALVIS; EUTIMIO MEJÍA SOTO
Un marco conceptual contable es un fundamento teórico que, a manera de constitución, guía el desarrollo de la regulación normativo-técnico de la profesión. El marco utiliza un itinerario lógico deductivo y, a través de la inferencia, deriva desde los postulados superiores del entorno y los propios del sistema contable, los estándares contables asociados a fi nalidades concretas. Se puede califi car el sistema como teleológico. El presente artículo analiza de manera esquemática las guías conceptuales en el proceso de preparación y presentación de estados fi nancieros. Se consideran estados confeccionados conforme a estándares internacionales de contabilidad y de reportes financieros...
125.
Epistemología de la Economía. Comentarios sobre el Paradigma Neoclásico (I)
- Silva Vegas, Gerardo
The central aim of this investigation es our own poverty, it is a South side perspective (Africa or Latin-America). However, we do not advocate for an empirical research; we analyze theories intending to explain from the North such an economic reality. Theories, as logic-deductive bodies, can't be taken isolated from the thinking context where they are developed. Philosophical and ethic basis supporting them make necessarily part of the logical structure, although, they could not be explicitly declared. Thus, the chaining between ethic principles, economic theories, phenomena explanation and the consequences of economic policy adjudge let us understand the reality and...
126.
El lugar de la razón práctica en los discursos de aplicación de normas jurídicas
- Velasco Arroyo, Juan Carlos
Argumentar constituye un quehacer cotidiano para los diferentes operadores jurídicos y, de modo especial, para quienes desempeñan la función judicial. Dado que las decisiones de los jueces están sometidas a un cierto control de racionalidad, es posible concebir las argumentaciones jurídicas empleadas en la aplicación del derecho como un modo institucionalizado de ejercitar la racionalidad práctica. Sin embargo, esto no implica, en contra de lo que a menudo se suele afirmar, que los procesos argumentativos jurídicos estén sujetos en exclusiva a las leyes de la lógica deductiva. Cabe sostener el carácter racional de la aplicación del derecho sin caer en...
127.
Autobiografía
- Mill, John Stuart
El filósofo y economista británico John Stuart Mill (1806-1873) cursó estudios científicos en Francia y jurídicos en Inglaterra. Influyeron en la formación del pensador su padre, el también filósofo y economista James Mill (1773-1836), y un amigo de éste, el filósofo, jurista y político Jeremy Bentham (1748-1832). John Stuart Mill entablaría posteriormente un importante diálogo intelectual con la figura del sociólogo francés Augusto Comte (1798-1857), no exento de discrepancias. Algunas de sus obras principales son Sistema de lógica deductiva e inductiva (1834), Principios de economía política (1848), Sobre la libertad (1859), Consideraciones sobre el gobierno representativo (1861), El utilitarismo (1863),...
128.
Retransmittability and Empirical Propositions
- Antoni Diller
The standard dictionary definition of a formally valid argument in classical, bivalent, deductive logic proceeds as follows: An argument is valid if it is impossible for all its
129.
Fuenlabrada, un municipio en el aula. (Fuenlabrada y su entorno : un estudio interdisciplinar)
- López Cidad, J.F.; Instituto de Formación Profesional Gaspar Melchor de Jovellanos (Fuenlabrada, Madrid)
Esta experiencia propone, mediante el estudio interdisciplinar de Fuenlabrada, dotar al alumnado de una visión global o unitaria del entorno próximo, como punto de partida para abrirse a espacios más amplios. El proyecto se realiza en varios centros y está dirigido al alumnado de Formación Profesional y BUP. Los objetivos son: desarrollar el método científico; potenciar la capacidad crítica y analítica; formar opiniones personales; fomentar la creatividad; favorecer el trabajo en equipo y las técnicas de debate; apoyar el proceso lógico-deductivo; participar de la realidad histórica, cultural y social del entorno próximo; y analizar las decisiones políticas. Su desarrollo se...
130.
Historia de la Ciencia. (Una asignatura para la Reforma : historia de la ciencia)
- López Cidad, J.F.; Instituto de Formación Profesional Gaspar Melchor de Jovellanos (Fuenlabrada, Madrid)
Proyecto de desarrollo interdisciplinar de la Historia de la Ciencia centrado en la interrelación de un saber y otro, en el concepto de cambio o devenir histórico y en el proceso causa efecto. Los objetivos son: desarrollar el método histórico; elaborar material didáctico; potenciar una visión crítica de la actividad científica; fomentar la creatividad; estimular la capacidad de iniciativa en la búsqueda de información y análisis de hechos históricos; apoyar el proceso lógico-deductivo; y favorecer la participación del alumnado. La experiencia se estructura en tres grandes unidades didácticas (La Antigüedad, la Revolución Científica y sus bases, y la Revolución Industrial:...
131.
Fuenlabrada, un municipio en el aula. (Fuenlabrada y su entorno : un estudio interdisciplinar)
- López Cidad, J.F.; Instituto de Formación Profesional Gaspar Melchor de Jovellanos (Fuenlabrada, Madrid)
Esta experiencia propone, mediante el estudio interdisciplinar de Fuenlabrada, dotar al alumnado de una visión global o unitaria del entorno próximo, como punto de partida para abrirse a espacios más amplios. El proyecto se realiza en varios centros y está dirigido al alumnado de Formación Profesional y BUP. Los objetivos son: desarrollar el método científico; potenciar la capacidad crítica y analítica; formar opiniones personales; fomentar la creatividad; favorecer el trabajo en equipo y las técnicas de debate; apoyar el proceso lógico-deductivo; participar de la realidad histórica, cultural y social del entorno próximo; y analizar las decisiones políticas. Su desarrollo se...
132.
Historia de la Ciencia. (Una asignatura para la Reforma : historia de la ciencia)
- López Cidad, J.F.; Instituto de Formación Profesional Gaspar Melchor de Jovellanos (Fuenlabrada, Madrid)
Proyecto de desarrollo interdisciplinar de la Historia de la Ciencia centrado en la interrelación de un saber y otro, en el concepto de cambio o devenir histórico y en el proceso causa efecto. Los objetivos son: desarrollar el método histórico; elaborar material didáctico; potenciar una visión crítica de la actividad científica; fomentar la creatividad; estimular la capacidad de iniciativa en la búsqueda de información y análisis de hechos históricos; apoyar el proceso lógico-deductivo; y favorecer la participación del alumnado. La experiencia se estructura en tres grandes unidades didácticas (La Antigüedad, la Revolución Científica y sus bases, y la Revolución Industrial:...
133.
Unifying Cycles
- Intelligenz Gmbh,J Org W Urtz,Deutsches Forschungszentrum,K Unstliche Intelligenz
Two-literal clauses of the form L / R occur quite frequently in logic
programs, deductive databases, and---disguised as an equation---in
term rewriting systems. These clauses define a cycle if the atoms L
and R are weakly unifiable, i.e., if L unifies with a new variant of R.
134.
Unifying Cycles
- Jörg Würtz; Intelligenz Gmbh; Deutsches Forschungszentrum; K Unstliche Intelligenz; Friedrich J. Wendl
Two-literal clauses of the form L / R occur quite frequently in logic programs, deductive databases, and---disguised as an equation---in term rewriting systems. These clauses define a cycle if the atoms L and R are weakly unifiable, i.e., if L unifies with a new variant of R.
135.
Strong and explicit negation in non-monotonic reasoning and logic programming
- José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski
Logic programs, deductive databases, and more generally non-monotonic theories, use various forms of default negation, not F, whose major distinctive feature is that not F is assumed “by default”, i.e., it is assumed in the absence of sufficient evidence to the contrary. The meaning of “sufficient evidence ” depends on
136.
On The Logic Of Composition In Writing Business Plans: Teaching Argument Structure
- Jeff Trailer,Ph. D. Chester Wolford,Ph. D
Effective business plans do not live by their topics alone: how well the analysis of those
topics persuades is at least as important. Analytical writing draws conclusions by investigating
and synthesizing facts and conjectures. Synthesizing facts and conjectures into sound arguments
requires deductive logic. Thus, deductive logic provides a set of rules to help people write
effective business plans.
Introduction
Effective business plans are so important to small business management and
entrepreneurship that the topics to be included in them have received a great deal of attention
from such researchers as Brown (1996), Fry (1993), and Timmons (1994). Effective business
plans, however, are not a function of the topics...
137.
Minimal Model Generation Based on E-Hyper Tableaux
- Wenjin Lu
. Minimal model generation has received great attention as
people have deeper and deeper understanding in the semantics of the
logic programming, deductive database, non monotonic reasoning and
the relationships among them. But most proposed minimal model generation
procedures in the literature are inappropriate in the sense that
while generating minimal model, they also generate non-minimal models.
This means that an explicit minimization has to be employed to obtain
minimal models. This may be a great factor of inefficiency. In this paper
we develop an approach to generate the minimal models, without explicit
minimization process, based on E-hyper tableau which is a variant
of hyper tableaux. The soundness and completeness...
138.
"No Collision" in a Protocol with n Stations: a Comparative Study of Formal Proofs
- Agathe Merceron,G. Michele Pinna
. Formal methods are used both for designing a system and
for checking that it satisfies required properties. To provethatafinite
system matches its specification, a common line of thought is to express
properties in a suitable temporal logic, and with a model checker, automatically
verify that the system satisfies them. However this method
does not work straightaway for systems composed of n similar components
running in parallel, where n is not fixed, like the protocol we present
in this paper. Several ways out have been proposed. Wehave selected
3 different methods. We present them, apply them to the protocol and
analyze how they compare.
Keywords: Formal methods, automatic verification, model...
139.
"No Collision" in a Protocol with
- Agathe Merceron,Monika Mullerburg,G. Michele Pinna
. Formal methods are used both for designing a system and
for checking that it satisfies required properties. To prove that a finite
system matches its specification, a common line of thought is to express
properties in a suitable temporal logic, and with a model checker, automatically
verify that the system satisfies them. However this method
does not work straightaway for systems composed of n similar components
running in parallel, where n is not fixed, like the protocol we present
in this paper. Several ways out have been proposed. We have selected
3 different methods. We present them, apply them to the protocol and
analyze how they compare.
Keywords: Formal...
140.
Minimal Model Generation Based on E-hyper Tableaux
- Wenjin Lu
. Minimal model generation has received great attention as
people have deeper and deeper understanding in the semantics of the
logic programming, deductive database, non monotonic reasoning and
the relationships among them. But most proposed minimal model generation
procedures in the literature are inappropriate in the sense that
while generating minimal model, they also generate non-minimal models.
This means that an explicit minimization has to be employed to obtain
minimal models. This may be a great factor of inefficiency. In this paper
we develop an approach to generate the minimal models, without explicit
minimization process, based on E-hyper tableau which is a variant
of hyper tableaux. The soundness and completeness...
