Given that what they are trying to do is, pull things out of the domain of philosophy and into the domain of comp sci, then it's quite likely that they are not trying to do what you'd consider substantive AI.