333 research outputs found
Logic Programming as Constructivism
The features of logic programming that
seem unconventional from the viewpoint of classical logic
can be explained in terms of constructivistic logic. We
motivate and propose a constructivistic proof theory of
non-Horn logic programming. Then, we apply this formalization
for establishing results of practical interest.
First, we show that 'stratification can be motivated in a
simple and intuitive way. Relying on similar motivations,
we introduce the larger classes of 'loosely stratified' and
'constructively consistent' programs. Second, we give a
formal basis for introducing quantifiers into queries and
logic programs by defining 'constructively domain
independent* formulas. Third, we extend the Generalized
Magic Sets procedure to loosely stratified and constructively
consistent programs, by relying on a 'conditional
fixpoini procedure
Renormalization and Computation II: Time Cut-off and the Halting Problem
This is the second installment to the project initiated in [Ma3]. In the
first Part, I argued that both philosophy and technique of the perturbative
renormalization in quantum field theory could be meaningfully transplanted to
the theory of computation, and sketched several contexts supporting this view.
In this second part, I address some of the issues raised in [Ma3] and provide
their development in three contexts: a categorification of the algorithmic
computations; time cut--off and Anytime Algorithms; and finally, a Hopf algebra
renormalization of the Halting Problem.Comment: 28 page
Characterizing the finiteness of the Hausdorff distance between two algebraic curves
In this paper, we present a characterization for the Hausdorff distance between two given algebraic curves in the n-dimensional space (parametrically or implicitly defined) to be finite. The characterization is related with the asymptotic behavior of the two curves and it can be easily checked. More precisely, the Hausdorff distance between two curves C and C is finite if and only if for each infinity branch of C there exists an infinity branch of C such that the terms with positive exponent in the corresponding series are the same, and reciprocally
- âŠ