Mathematical Models for Handling Partial Knowledge in Artificial Intelligence