應(yīng)我校計算機(jī)與信息工程學(xué)院的邀請，愛爾蘭考克大學(xué)計算機(jī)學(xué)院院長James Bowen 教授于4月7日到我院作了關(guān)于人工智能領(lǐng)域中基于約束的推理理論的前沿技術(shù)報告。 Bowen教授所領(lǐng)導(dǎo)的研究小組The Cork Constraint Computation Centre (http://4c.ucc.ie/web/index.jsp考克約束計算應(yīng)用中心)在該領(lǐng)域取得了矚目的的研究成果，且研究實力在世界的排名第一。

    Bowen教授在講座中介紹了約束理論及其應(yīng)用領(lǐng)域，他指出在現(xiàn)實世界中大多數(shù)復(fù)雜的問題都可以看作約束問題，利用約束規(guī)劃理論可以解決諸如：施工計劃問題、最優(yōu)生產(chǎn)問題、協(xié)同工作問題、生物信息學(xué)問題等。計算機(jī)與信息工程學(xué)院的教師、研究生參加了技術(shù)講座并參與討論。

下午，學(xué)院組織了部分教師及研究生與Bowen教授在互相感興趣的研究領(lǐng)域展開了深入的交流。會后，學(xué)院劉載文院長、姜同強(qiáng)副院長、外事辦羅朝能主任與Bwoen教授深入探討了雙方進(jìn)一步的科研合作，并達(dá)成了包括進(jìn)一步的教師進(jìn)修、科研合作等框架協(xié)議。