2012年11月30號下午15點，鐘曉梅、何星星兩位年輕的博士在kaiyun開云官方網(wǎng)站會議室做了有關(guān)格值邏輯的學(xué)術(shù)研究報告。到場聽取此次報告會的有，kaiyun開云官方網(wǎng)站陳尚云院長、陳滋利副院長、楊晗副院長、薛長虹副教授等老師們，以及kaiyun開云官方網(wǎng)站的全體同學(xué)們。
報告會開始后首先由鐘曉梅博士為大家講題目為《語言直值格值邏輯中
—歸結(jié)原理的一般形式》。她在講臺上通過演示PPT可見的形式為大家系統(tǒng)而詳細的講解了語言值格值邏輯中
—歸結(jié)原理的一般形式，并介紹了它的完備性和一些等價轉(zhuǎn)換。論文最后她還對自己的研究工作做了一些后期的展望和規(guī)劃。休息一會后由何星星博士為大家做題目為《基于格值邏輯的語言直值
—廣義鎖歸結(jié)自動推理研究》，研究方向為智能信息處理，他從介紹論文的研究背景出發(fā)，介紹了一些數(shù)學(xué)公理系統(tǒng)，有關(guān)代數(shù)方法的證明。并引出了正規(guī)廣義文字的
—歸結(jié)性和拓展的DP規(guī)則的主要結(jié)論。
報告結(jié)束后由陳尚云院長作總結(jié)，陳院長首先對兩位博士的研究成果做出了肯定，并期望kaiyun開云官方網(wǎng)站的老師和同學(xué)們積極提高自身素質(zhì)，多做研究、多出成果、多出好成果。
