کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4663087 | 1345226 | 2008 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Reasoning with prioritized information by iterative aggregation of distance functions
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Reasoning with prioritized information by iterative aggregation of distance functions Reasoning with prioritized information by iterative aggregation of distance functions](/preview/png/4663087.png)
چکیده انگلیسی
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, where conclusions are drawn according to the most 'plausible' worlds (interpretations), namely: the worlds that are as 'close' as possible to the set of premises, and, at the same time, are as 'faithful' as possible to the more reliable (or important) information in this set. This implies that the consequence relations that are induced by our framework are derived from a pre-defined metric on the space of interpretations, and inferences are determined by a ranking function applied to the premises. We study the basic properties of the entailment relations that are obtained by this framework, and relate our approach to other methods of maintaining incomplete and inconsistent information, most specifically in the contexts of (iterated) belief revision, consistent query answering in database systems, and integration of prioritized data sources.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 6, Issue 4, December 2008, Pages 589-605
Journal: Journal of Applied Logic - Volume 6, Issue 4, December 2008, Pages 589-605
نویسندگان
Ofer Arieli,