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