Change search
ReferencesLink to record
Permanent link

Direct link
Computational Issues in Calculi of Partial Inductive Definitions
Dept. of Computer Science.
Number of Authors: 1
1995 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. Formal systems based on this notion can be used to generalize Horn-logic and naturally allow and suggest extensions which differ in interesting ways from generalizations based on first order predicate calculus. E.g. the notion of completion generated by a calculus of PID and the resulting notion of negation is completely natural and does not require externally motivated procedures such as "negation as failure". For this reason, computational issues arising in these calculi deserve closer inspection. This work discuss a number of finitary theories of PID and analyzethe algorithmic and semantical issues that arise in each of them. There has been significant work on implementing logic programming languages in this setting and we briefly present the programming language and knowledge modelling tool GCLA II in which many of the computational prob-lems discussed arise naturally in practice.

Place, publisher, year, edition, pages
1995, 1. , 218 p.
Keyword [en]
Theory of computation, algorithms, logic, proof-theory, partial inductive defi-nitions, definitional reflection, disunification, closure, completion, negation, constructive negation, quantification, logic programming, meta programming, quantification, skolemization, self-reference, program semantics, declarative control, proof-search, theorem-proving.
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-21196OAI: diva2:1041230
Also published as SICS Dissertation no. SICS-D-19Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(2386 kB)0 downloads
File information
File name FULLTEXT01.psFile size 2386 kBChecksum SHA-512
Type fulltextMimetype application/postscript

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link