What does 'Itself' Mean?

J. Pitrat

IBP-Laforia 1995/28: Rapport de Recherche Laforia / Laforia research reports
12 pages - Janvier/January 1996 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: What does 'Itself' Mean?

Résumé : La réflexivité implique qu'un système s'applique à soi-même, mais l'on peut donner plusieurs sens au mot 'soi-même'. Il est important de les définir avec précision, parce que chacun de ces sens conduit à une sorte différente de réflexivité. Si l'on met correctement en oeuvre la réflexivité, on limite les conséquences des difficultés qui se présentent dans l'amorçage d'un système : les métabogues et les blocages. Nous décrirons les sept formes possibles d'une connaissance dans le système MACISTE; nous indiquerons aussi qu'il est utile d'avoir plusieurs versions de certaines de ces connaissances. Nous montrerons enfin comment ces possibilités sont utilisées pour limiter certaines conséquences indésirables de la réflexivité.

Abstract : Reflectivity implies that a system applies to itself, but many meanings are possible for the word 'itself ' It is important to define them accurately, because each of these meanings leads to a different kind of reflectivity. If one rightly implements reflectivity, one can limit the consequences of the difficulties arising while a system bootstraps: metabugs and deadlocks. We shall describe the seven possible forms of a piece of knowledge in MACISTE; we shall also indicate that it is useful to have several versions for a piece of knowledge. We shall show how this is used to restrict some unwanted consequences of reflectivity.

Publications internes Laforia 1995 / Laforia research reports 1995