Credibility-Limited Improvement Operators
Credibility-Limited Improvement Operators
复制标题
可信度有限的改进算子
DOI：
10.3233/978-1-61499-419-0-123
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
R. Pérez
中科院分区：
文献类型：
--
作者：
R. Booth;E. Fermé;S. Konieczny;R. Pérez
本文引入并研究了有限改进算子。这个想法是接受新的信息，如果这个信息被代理判断为可信的，所以在这种情况下，执行修改。当新的信息不可信时，它就不被接受（不进行修改），但它的可验证性在智能体的认知状态下仍然得到改善，类似于改进算子所做的。我们使用一个广义的定义Darwiche和珍珠的认知状态，其中每个认知状态可以相关联，除了一组接受的公式（信念），一组可信的公式。我们提供了这些运营商的语法和语义特征。
In this paper we introduce and study credibility-limited improvement operators. The idea is to accept the new piece of information if this information is judged credible by the agent, so in this case a revision is performed. When the new piece of information is not credible then it is not accepted (no revision is performed), but its plausibility is still improved in the epistemic state of the agent, similarly to what is done by improvement operators. We use a generalized definition of Darwiche and Pearl epistemic states, where to each epistemic state can be associated, in addition to the set of accepted formulas (beliefs), a set of credible formulas. We provide a syntactic and semantic characterization of these operators.