Approximate reasoning tools for artificial intelligence