題目：Belief Revision in Possibilistic Logic and Its Application to Ontology Mapping。
報告人：漆桂林 東南大學計算機科學與工程學院教授，東南大學萬維網科學研究所副主任，博士生導師
講座時間：2012年8月2日上午9:30
講座地點：前衛南校區計算機大樓A521報告廳
主辦單位：
伟德国际BETVlCTOR
伟德国际BETVlCTOR計算機科學技術研究所
伟德国际BETVlCTOR軟件學院
符号計算與知識工程教育部重點實驗室
報告摘要：An intelligent agent often confronts the problem of revising her beliefs upon learning new information. This problem is called belief revision and has attracted much attention in many areas, such as Artificial Intelligence, Databases, and Semantic Web. Possibilistic logic is a weighted logic which is flexible for dealing with both inconsistency and uncertainty. It is closely related to belief revision and nonmonotonic logics. Belief revision in possibilistic logic plays an important role in the theory of iterated belief revision. In this talk, I will present some of our recent work on belief revision in possibilistic logic. I first present an iterative approach to revising knowledge bases in possibilistic logic. I then give a conflict-based revision approach in possibilistic logic. To show the usefulness of our work, I will discuss how belief revision in possibilistic logic is useful to deal with the problem of mapping repair, which is important to improve the quality of ontology mapping.
報告人簡介：漆桂林，東南大學計算機科學與工程學院教授，東南大學萬維網科學研究所副主任，博士生導師。中國計算機學會會員，ACM會員。2009年入選東南大學青年教師資助計劃。曾經是英國人工智能協會會員和美國人工智能進展協會會員。是語義Web頂級雜志Journal of Web Semantics的編委會成員，是Journal of Advances in Artificial Intelligence的副主編。主編了國際著名人工智能雜志 Annals of mathematics and Artificial Intelligence的一個特别期刊。擔任多個國際會議和研讨會的程序委員會成員,同時是多個國際頂級雜志 (Artificial Intelligence Journal 等)的審稿人。
