Interactive Art Analysis Based on Baudrillard’s Hyper reality Theory, a Case Study of Digital installation

We introduce the notion of state dependent interactive programs for Martin-Löf Type Theory. These programs are elements of coalgebras of an endofunctor on the presheaf category S → Set. We prove the existence of final coalgebras for these functors. This shows as well the consistency of type theory plus rules expressing the existence of weakly final coalgebras for these functors, which represent...

The predictive processing theory is believed to be able to capture all cognitive processes and therefore should also be able to capture alignment phenomena in communication. The interactive or integrated alignment theory describes how alignment can work when interlocutors are in easy dialogue and is a very promising theory of human cognition. Thus, if interactive alignment is indeed a part of h...

Ichiroh Kanaya, Mayuko Kanazawa, Masataka Imura! ! This article presents the mathematical background of general interactive systems. The first principle of designing a large system is to “divide and conquer”, which implies that we could possibly reduce human error if we divided a large system in smaller subsystems. Interactive systems are, however, often composed of many subsystems that are “or...

I argue that the conundrum exists because the perceived advantage of interactivity in CEL is based on its equivalence to real-life teacher-learner communication. But can (or should) computer-based applications attempt to replicate this level of communication? The evolution of educational technology has been reinforced by rhetoric (from both manufacturers and developers) that computers are inher...

The aim of this dissertation is to provide foundations for the specification and development of interactive systems in consideration of probabilistic effects. We develop a theory of probabilistic and interactive systems based on probability theory and the Focus theory for interactive systems. The notions of composition, specification and properties thereof like realizability are adapted to the ...

This paper develops a simple calculus for order of magnitude reasoning. A semantics is given with soundness and completeness results. Order of magnitude probability functions are easily defined and turn out to be equivalent to kappa functions, which are slight generalisations of Spohn’s Natural Conditional Functions. The calculus also gives rise to an order of magnitude decision theory, which c...