Partial logic and knowledge representation