View(s) :
17 (0 ULiège)
Download(s) :
1 (0 ULiège)
L'Université de Liège souhaite utiliser des cookies ou traceurs pour stocker et accéder à des données à caractère personnel vous concernant pour effectuer des mesures d'audience et permettre des fonctionnalités liées aux réseaux sociaux. Certains cookies sont nécessaires au fonctionnement du site. Politique d'utilisation des cookies.
p. 3-20
Anticipation is a natural characteristic of any system. 'Natural' is difficult to define formally in a mathematical model. For a model is an artificial construct relying on reduced conditions and assumptions. A model gives rise to weak anticipation while strong anticipation requires us to raise our sights to metaphysics where naturality resides. A prime distinction is that metaphysics has a higher-order tense logic. Strong anticipation is no prisoner of time like weak anticipation. In general while adjointness has a logical ordering the operation of an environment C on a subobject A has a solution subobject B under Heyting inference A ⇒ B in the environment of C. This is represented as the expression C x A ⟶ B ┤ BA ⟵ C, the adjunction of the natural metaphysical ordering which constitutes strong anticipation. The environment C may be more particularised as an adjunction between the induced monad and comonad functors. The uniqueness of the adjunction in natural metaphysics is examined in the context of the Beck-Chevalley test for computing the multiplicity of formal models possible for weak anticipation.
Nick Rossiter and Michael Heather, « The Natural Metaphysics of Computing Anticipatory Systems », CASYS, 23 | 2010, 3-20.
Nick Rossiter and Michael Heather, « The Natural Metaphysics of Computing Anticipatory Systems », CASYS [Online], 23 | 2010, Online since 14 October 2024, connection on 17 July 2025. URL : http://popups.uliege.be/3041-539x/index.php?id=4594
School of Computing, Engineering and Information Sciences, Northumbria University, NE1 8ST, UK
School of Computing, Engineering and Information Sciences, Northumbria University, NE1 8ST, UK