101.
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases
- M. Bozzano; G. Delzanno; M. Martelli
Girard's linear logic [18] provides powerful means for studying state transformations and resource consumption in computations within a completely logical framework. The starting point of this work is Forum [22, 23], a presentation of higher order linear logic which is an abstract logic programming language[24], i.e., complete with respect to uniform proofs (cut-free and goal-directed proofs). A subset of Forum's formulas which form the logic programming language E hhf [11, 13], have been isolated and proved to be well-suited to encode a notion of state into sequents and proofs, to model state updates, and to provide constructs for parallel execution....
102.
On Specification Frameworks and Deductive Synthesis of Logic Programs
- Kung-kiu Lau; Mario Ornaghi
this paper, we take a closer look at such frameworks. We shall explain what they are, and how they can be used to specify properties such as correctness and modularity (and hence reusability). Moreover, we shall show that there is a close two-way relationship between specification frameworks and deductive synthesis. In particular, a deductive synthesis process can provide a useful feedback mechanism which can not only check for desirable properties in the specification framework, but also improve the framework (with regard to such properties) using the result of the synthesis. In our approach to modularity, we borrow many of the...
103.
The Halting Problem for Deductive Synthesis of Logic Programs
- Kung-kiu Lau; Mario Ornaghi
Deductive synthesis methods derive programs in an incremental manner, and therefore pose a halting problem -- when can synthesis stop with a correct program? We give a characterisation of this problem and state a halting principle as a solution. Another characteristic of deductive synthesis is that it may derive several correct programs, giving rise to another question -- which correct programs are desirable? We show that the answer is related to the halting problem, via the notion of steadfast, or reusable, programs as desirable programs. Our work also reveals that Clark's idea of the completion of a program is central...
104.
El razonamiento común: un obstáculo epistemológico en geometría
- Héctor Bohórquez; Ana Ismenia Henández de Rincón
En este artículo se propone y analiza el obstáculo del razonamiento común, esto es, la constitución del razonamiento utilizado en la interacción social diaria como obstáculo para el razonamiento lógico deductivo en geometría y por tanto para su aprendizaje.
105.
Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic
- Nelson, David
106.
The elements of deductive logic, designed mainly for the use of junior students in the universities, by Thomas Fowler ...
- Fowler, Thomas, 1832-1904.
xvii p., 1 l., 186 p.
107.
The elements of deductive logic, designed mainly for the use of junior students in the universities, by Thomas Fowler ...
- Fowler, Thomas, 1832-1904.
4th ed., cor. and rev.
108.
Methods of Partial Logic for Knowledge Representation & Deductive Reasoning in Incompletely Specified Domains
- Prihozhaya, L.; Prihozhy, A.
109.
Corrigendum to “Categorical abstract algebraic logic: The criterion for deductive equivalence”
We give a correction to the paper [2] mentioned in the title. c ○ 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim I was recently made aware that a good colleague of mine from the Universitat de Barcelona, José Gil-Férez, has provided in [1] a counterexample to my Theorem 13 (the Criterion for Deductive Equivalence) of [2]. Moreover, despite the fact that I have not yet seen José’s counterexample, I have now discovered a simple, but grave, mistake in the proof of the key Lemma 9 of [2]. Namely, commutativity with substitutions is erroneously used, at the top of page...
110.
Methods of Partial Logic for Knowledge Representation and Deductive Reasoning in Incompletely Specified Domains
- Anatoly Prihozhy; Liudmila Prihozhaya
This paper presents a new partial logic that generalizes the traditional proposition and first order predicate logics for incompletely specified domains. Three values are considered in the partial logic (false, true, and don’t care) instead of two values considered in the traditional logic. The operations, formulas, laws, and inference rules constitute a basis for knowledge representation and deductive reasoning when the world is not completely specified. The Robinson’s resolution principle is generalized for situation when a clause can take the don’t care value. Methods for the transition from partial deductive reasoning to inference in the first order predicate logic are...
111.
Automation of Program Synthesis from Logic-Based Specifications in the Deductive
- Yulia S. Korukhova; Postgraduate Student
In [Manna and Waldinger, 1992] the deductive tableau method was proposed. It is appropriate for the synthesis of functional programs. The specification of a program is taken as a mathematical existence theorem and we prove the existence of an object that satisfies the specified conditions. Specification is based on predicate-logic, because it is quite general and appropriate for deductive methods. If other
112.
Epistemología de la Economía: comentarios sobre el Paradigma Neoclásico (y II)
- Silva Vegas, Gerardo
Las teorías, como cuerpos lógico deductivos, no pueden ser tomadas aisladamente del contexto del pensamiento en que se desarrollan; necesariamente, las bases éticas y filosóficas que las sustentan forman parte indisoluble de su estructura lógica aunque no lo manifiesten explícitamente. La concatenación entre los principios éticos, las teorías económicas, la explicación de los fenómenos y las consecuencias de la aplicación de las políticas económicas nos permite comprender la realidad y la acción del hombre sobre ella, con una transparencia que cuando se toma la teoría aisladamente es difícil de alcanzar. Desde nuevas bases filosóficas y éticas, se abren perspectivas de...
113.
Under consideration for publication in Theory and Practice of Logic Programming 1 The Deductive Database System LDL++
- Faiz Arni; Shalom Tsur; Haixun Wang; Carlo Zaniolo
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the LDL++ language, while preserving its model-theoretic and fixpoint semantics. Then, we describe the execution model and the open architecture designed to support these new constructs and to facilitate the integration with existing DBMSs and applications. Finally, we describe the lessons learned by using LDL++ on various tested applications, such as middleware and datamining. 1
114.
Una visión contable de los Sistemas de Cuentas Nacionales
- Sierra Molina, Guillermo; Duarte Atoche, María Teresa; Pérez López, José Angel
La Contabilidad Nacional y, por ende, los Sistemas de Cuentas Nacionales actualmente vigentes a escala internacional, son verdaderos Sistemas de Información al igual que lo es la Contabilidad Financiera. Esta reflexión permite abordar su estudio desde un enfoque contable. Para ello, se aplicará el esquema lógico deductivo típico de las investigaciones sobre el marco conceptual, lo que permitirá obtener interesantes conclusiones al respecto.
115.
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
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
116.
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
- Jesús Almendros-Jiménez; Antonio Becerra-Terón
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
117.
UMCS-92-11-2 Towards a Formal Framework for Deductive Synthesis of Logic Programs UMCS-92-11-1 Topic in Type Theory UMCS-92-6-2 Declarative Integration of Object-Oriented Programming and Knowledge Representation £10.00
- Ian K. Piumarta; Umcs--- Knowledge-based; Umcs--- An; Object-based Design; Method Concurrent Programs
your order. Payment should be made by sterling cheque made payable to ‘The University of Manchester.’ The following reports are available free of charge, unless otherwise stated: UMCS-93-2-3 A Framework for Experimental Analysis of Parallel Computing
118.
Linear Logic Programming for AI Planning
- 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.
119.
Epistemología de la Economía. Comentarios sobre el Paradigma Neoclásico (y II)
- Silva Vegas, Gerardo
Theories, as logic-deductive bodies, can not 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. Te chaining between ethic principles, economic theories, phenomena explanation and the consequences of economic policy adjudge let us understand the reality and man's action on it, with a transparency difficult to reach whether dealing with the isolated theory. From new philosophical and ethic basis This way, new scopes for alternative theoretical searching are open before hegemonic paradigms, in the construction of logic-deductive structures,...
120.
Epistemología de la Economía. Comentarios sobre el Paradigma Neoclásico (I)
- Silva Vegas, Gerardo
La motivación central de esta investigación es nuestra propia pobreza; es una perspectiva de investigación desde el Sur (África o América Latina), sin embargo, no nos avocaremos a una investigación empírica de este fenómeno, nos concentraremos en el análisis de las teorías que pretenden explicar desde el Norte esa realidad económica. Las teorías, como cuerpos lógico deductivos, no pueden ser tomadas aisladamente del contexto del pensamiento en que se desarrollan; necesariamente, las bases éticas y filosóficas que las sustentan forman parte indisoluble de su estructura lógica aunque no lo manifiesten explícitamente. Así, la concatenación entre los principios éticos, las teorías...
