Cathoristic logic: A modal logic of incompatible propositions — mentioned by mafribe

Sat, 28 Nov 2015 23:13:02 GMT

The use of logic as a representation language for representing interactive games was pioneered by Richard Evans (AI lead on The Sims 3) over the years, and used in various of his games. The latest installment is [1], and the logic used is a peculiar modal logic whose key innovation is a lack of negation. Crazy! I wonder what the relationship is between linear logic and the logic of [2]. [1] http://versu.com [2] http://arxiv.org/abs/1411.7158

Paper and discussion history. A mention is not an endorsement.

Cathoristic logic: A modal logic of incompatible propositions · HackerPapers discussions

Cathoristic logic: A modal logic of incompatible propositions — mentioned by mafribe