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

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

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