Thursday, March 13, 2008
HAL, err. Rascal open the hell doors !
Finally, a truth on bad malware.
Rascals is based on a core theorem proving engine that deduces results (proves theorems) about the world after pattern-matching its current situation against its knowledge base. Each proven theorem then initiates a response by virtue of having a synthetic character speak and/or move in the virtual world.
The next milestone for the group will be passing the avatar version of the Turing test in October 2008, when EMPAC officially opens. The Rascals-powered synthetic character will carry on a conversation with human-controlled avatars, perhaps without the humans noticing the difference, and thus passing the Turing test.
Rascals is based on a core theorem proving engine that deduces results (proves theorems) about the world after pattern-matching its current situation against its knowledge base. Each proven theorem then initiates a response by virtue of having a synthetic character speak and/or move in the virtual world.
The next milestone for the group will be passing the avatar version of the Turing test in October 2008, when EMPAC officially opens. The Rascals-powered synthetic character will carry on a conversation with human-controlled avatars, perhaps without the humans noticing the difference, and thus passing the Turing test.