形式:学术报告
时间:2009年8月18日(星期二) 上午9:30-11:30
地点:清华大学新斋353
演讲人:Prof. Sven Ove Hansson (Department of Philosophy and the History of Technology, Royal Institute of Technology, Sweden.)
题目:Belief contraction with sentential selectors
摘要: Full meet contraction, that was devised by Carlos Alchourr'{o}n and David Makinson in the early 1980's, has often been overlooked since it is not in itself a plausible contraction operator. However, it is a highly useful building-block in the construction of composite contraction operators. In particular, all plausible contraction operators can be reconstructed so that the outcome of contracting a belief set $K$ by a sentence $p$ is defined as $K \sim f(p)$, where $\sim$ is full meet contraction and $f$ a sentential selector, i.e. a function to and from sentences. A major advantage over partial meet contraction is that implausible non-axiomatizable outcomes from contraction are avoided. Characterizations connecting properties of the selector $f$ to properties of the contraction operation are reported.
Two Related papers:
a. Contraction Based on Sentential Selection
b. Specified Meet Contraction
要下载论文,去网站:http://www.golori.org/bjforum/