报告人陈希从曾参加过的四次数学建模比赛赛题出发，介绍了数学建模的思想方法及应用领域，接着从动态认知逻辑及计算语言学两方面分别阐述了逻辑建模的知识基础，并以基于逻辑模型的博弈研究及基于偏好逻辑的模型检测两篇论文为例展示了逻辑建模的前期工作，最后提出了个人的研究展望。报告结束后，老师和同学们进行了深入的交流探讨，并对其研究的可行性给与了肯定的评价。