Actor Network Procedures as Psi-calculi for Security Ceremonies

The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties. The present work studies the relations of the actor network procedures (ANP) to the recent psi-calculi framework. Psi-calculi is a parametric formalism where calculi like spi- or applied-pi are found as instances. Psi-calculi are operational and largely non-graphical, but have strong foundation based on the theory of nominal sets and process algebras. One purpose of the present work is to give a semantics to ANP through psi-calculi. Another aim was to give a graphical language for a psi-calculus instance for security ceremonies. At the same time, this work provides more insight into the details of the ANPs formalization and the graphical representation.Comment: In Proceedings GraMSec 2014, arXiv:1404.163

AI Researchers, Video Games Are Your Friends!

If you are an artificial intelligence researcher, you should look to video games as ideal testbeds for the work you do. If you are a video game developer, you should look to AI for the technology that makes completely new types of games possible. This chapter lays out the case for both of these propositions. It asks the question "what can video games do for AI", and discusses how in particular general video game playing is the ideal testbed for artificial general intelligence research. It then asks the question "what can AI do for video games", and lays out a vision for what video games might look like if we had significantly more advanced AI at our disposal. The chapter is based on my keynote at IJCCI 2015, and is written in an attempt to be accessible to a broad audience.Comment: in Studies in Computational Intelligence Studies in Computational Intelligence, Volume 669 2017. Springe

The Secret Science of Synchronicity Paper

Several metaphysical/philosophical concepts are developed as tools by which we may further understand the essence, structure, and events/symbols of “Complex” Synchronicity, and how these differ from “Chain of Events” Synchronicity. The first tool is the concept of Astronomical vs Cultural time. This tool is to be the basis of distinguishing Simple from Complex Synchronicity as Complex Synchronicities are chunks of time that have several coincidences in common with each other. We will also look at the nature of the perspective of the time being quantized. The next tool is a particular case study of two movies, The Matrix and Black Swan, that may be viewed as an example of a Complex Synchronicity in the collective conscious of popular culture (as opposed to Simple Synchronicity or a single coincidence). And the final tool is the concept of “Chain of Events” synchronicity as a separate concept from Simple or Complex synchronicities. This 3rd tool is developed using a mathematical metaphor of foreshadowing (an element of storytelling) in the seemingly random pattern of prime numbers. The purpose of this paper is to distinguish and develop these concepts and to lay a foundation for the further study of the concept of Synchronicity first illuminated by Carl Jung as an acausal connecting principle between coincidences

Washington University Record, February 12, 2009

https://digitalcommons.wustl.edu/record/2167/thumbnail.jp

The Secret Science of Synchronicity Paper

Several metaphysical/philosophical concepts are developed as tools by which we may further understand the essence, structure, and events/symbols of “Complex” Synchronicity, and how these differ from “Chain of Events” Synchronicity. The first tool is the concept of Astronomical vs Cultural time. This tool is to be the basis of distinguishing Simple from Complex Synchronicity as Complex Synchronicities are chunks of time that have several coincidences in common with each other. We will also look at the nature of the perspective of the time being quantized. The next tool is a particular case study of two movies, The Matrix and Black Swan, that may be viewed as an example of a Complex Synchronicity in the collective conscious of popular culture (as opposed to Simple Synchronicity or a single coincidence). And the final tool is the concept of “Chain of Events” synchronicity as a separate concept from Simple or Complex synchronicities. This 3rd tool is developed using a mathematical metaphor of foreshadowing (an element of storytelling) in the seemingly random pattern of prime numbers. The purpose of this paper is to distinguish and develop these concepts and to lay a foundation for the further study of the concept of Synchronicity first illuminated by Carl Jung as an acausal connecting principle between coincidences