A logical framework for describing machine knowledge