Introducing PRAXIS: a statically-typed logic-programming language for modelling social practices

We have developed a text-based Jane Austen simulation game, which I will demo (briefly). I will describe the language we use for modelling social practices in this multi-agent AI simulation. This language is based on Exclusion Logic, a logic designed for representing simulation state and HFSMs. I will outline the syntax and semantics, and describe the advantages of Exclusion Logic over traditional Predicate Calculus. I will describe the PRAXIS DSL that uses Exclusion Logic at its core.