In this thesis we will be concerned with a particular type of architecture for reasoning systems, known as meta-level architectures. After presenting the arguments for such architectures (chapter 1), we discuss a number of systems in the literature that provide an explicit meta-level architecture (chapter 2), and these systems are compared on the basis of a number of distinguishing characteristics. This leads to a classification of meta-level architectures (chapter 3). Within this classification we compare the different types of architectures, and argue that one of these types, called bilingual meta-level inference systems, has a number of advantages over the other types. We study the general structure of bilingual meta-level inference architectures (chapter 4), and we discuss the details of a system that we implemented which has this architecture (chapter 5). One of the problems that this type of system suffers from is the overhead that is incurred by the meta-level effort. We give a theoretical model of this problem, and we perform measurements which show that this problem is indeed a significant one (chapter 6). Chapter 7 discusses partial evaluation, the main technique available in the literature to reduce the meta-level overhead. This technique, although useful, suffers from a number of serious problems. We propose two further techniques, partial reflection and many-sorted logic (chapters 8 and 9), which can be used to reduce the problem of meta-level overhead without suffering from these problems.

Depuis l’invention du terme hypertexte par Ted Nelson en 1965, il y a eu des débats fréquents à propos des mérites et des dangers des textes numériques, pour savoir si le développement des technologies informatiques causerait l’obsolescence des supports imprimés. Les prophéties étaient apocalyptiques et l’avenir des livres semblait sombre. Environ cinquante ans plus tard, tant les supports imprimés qui étaient condamnés que les hypertextes numériques qui semblaient être leurs exécuteurs existent encore. Les romans sont toujours populaires et les hypertextes aussi. Nul n’est dépassé ou éradiqué par l’autre. Au contraire, la coexistence des livres et leurs homologues numériques a affecté notre perception des textes, des lecteurs, des auteurs et de l’expérience de lecture. Plus important, l’échange entre les deux médias a eu comme résultat l’apparition d’une fiction expérimentale exceptionnelle à la fois sur écran et sur papier. La conjonction entre la fiction et les technologies numériques est au centre de ce projet qui vise à d’étudier l’hyperfiction, ses racines dans la fiction traditionnelle et ses descendants imprimés. / Since Ted Nelson coined the term “hypertext” in 1965, there have been frequent debates on the merits and dangers of digital texts and whether the development of digital technology would outdate the print-based medium. The prophecies were apocalyptic and the future of books seemed bleak. About fifty years later, the doomed print-based medium and the digital hypertexts, their would-be executioners,both still exist. Novels are still popular and so is hyperfiction. Neither outdated or eradicated the other. Instead, the coexistence of books and their digital counterparts has affected ourperception of text, reader, writer and the reading experience. More importantly, the exchange between the two media has resulted in exceptional experimental fiction both on screen and on paper. The conjunction between fiction and digital technology is of concern to this project which attempts to study hyperfiction, its roots in fiction and its printed descendants.

Text in German / We live in a time of postmodern influence which proclaims that there are no absolute values and all opinions are equal. Consequently it is thought that no one can judge whether something is right or wrong. But, according to the Bible`s instructions, that is exactly what we should do. We shouldn’t conform to the world, but let God change our thinking and being. This is the only way to recognize right or wrong (Romans 12:2). As Christians we have been commissioned by Jesus to carry the gospel into all the world and to lead people to become his followers. For this reason we have to ask the question in this age of how the gospel can be made plausible in a postmodern context and how Christian values can be made understood. H-P Hempelmann has already dealt with such questions intensively. For this reason, this thesis will, among other things, examine his apologetic method. / Wir leben in einer Zeit postmoderner Einflüsse, in der dafür eingetreten wird, dass es keine absoluten Werte gibt und alle Meinungen gleichwertig sind. Dies hat zur Folge, dass angeblich keiner mehr beurteilen kann, ob etwas richtig oder falsch ist. Doch genau dies sollen wir nach den Anweisungen der Bibel tun. Wir sollen uns nicht der Welt anpassen, sondern unser Denken und Wesen von Gott verändern lassen. Nur auf diese Weise ist es möglich, zu erkennen, was richtig oder falsch ist (Röm 12,2). Als Christen haben wir von Jesus Christus den Auftrag erhalten, das Evangelium in alle Welt hinauszutragen und Menschen in seine Nachfolge zu führen. Aus diesem Grund stellt sich in der heutigen Zeit die Frage, wie das Evangelium im postmodernen Kontext plausibilisiert werden kann und wie christliche Werte verständlich gemacht werden können. Heinzpeter Hempelmann hat sich bereits sehr intensiv mit solchen Fragen auseinandergesetzt. Deshalb wird in dieser Arbeit u.a. sein apologetischer Ansatz überprüft. / Systematic Theology & Theological Ethics / M. Th. (Systematic Theology)

Text in German / We live in a time of postmodern influence which proclaims that there are no absolute values and all opinions are equal. Consequently it is thought that no one can judge whether something is right or wrong. But, according to the Bible`s instructions, that is exactly what we should do. We shouldn’t conform to the world, but let God change our thinking and being. This is the only way to recognize right or wrong (Romans 12:2). As Christians we have been commissioned by Jesus to carry the gospel into all the world and to lead people to become his followers. For this reason we have to ask the question in this age of how the gospel can be made plausible in a postmodern context and how Christian values can be made understood. H-P Hempelmann has already dealt with such questions intensively. For this reason, this thesis will, among other things, examine his apologetic method. / Wir leben in einer Zeit postmoderner Einflüsse, in der dafür eingetreten wird, dass es keine absoluten Werte gibt und alle Meinungen gleichwertig sind. Dies hat zur Folge, dass angeblich keiner mehr beurteilen kann, ob etwas richtig oder falsch ist. Doch genau dies sollen wir nach den Anweisungen der Bibel tun. Wir sollen uns nicht der Welt anpassen, sondern unser Denken und Wesen von Gott verändern lassen. Nur auf diese Weise ist es möglich, zu erkennen, was richtig oder falsch ist (Röm 12,2). Als Christen haben wir von Jesus Christus den Auftrag erhalten, das Evangelium in alle Welt hinauszutragen und Menschen in seine Nachfolge zu führen. Aus diesem Grund stellt sich in der heutigen Zeit die Frage, wie das Evangelium im postmodernen Kontext plausibilisiert werden kann und wie christliche Werte verständlich gemacht werden können. Heinzpeter Hempelmann hat sich bereits sehr intensiv mit solchen Fragen auseinandergesetzt. Deshalb wird in dieser Arbeit u.a. sein apologetischer Ansatz überprüft. / Philosophy, Practical and Systematic Theology / M. Th. (Systematic Theology)