首先介绍了Knowledge-Why的相关背景，然后介绍了上次报告的主要内容，以及这次报告相对上次报告的改进之处：增加了几条公理，修改了语义定义，完全性证明。着重介绍了Knowledge-Why Logic， 包括语言、公理、语义、可靠性和完全性等。最后简要介绍了Conditional Knowledge-Why Logic。