کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6858900 | 1438424 | 2017 | 15 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Contraction in propositional logic
ترجمه فارسی عنوان
انقباض در منطق گویا
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
تغییر باورها، بازنگری اختصار،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
The AGM model for the revision and contraction of belief sets provides rationality postulates for each of the two families of change operators. In the context of finite propositional logic, Katsuno and Mendelzon pointed out postulates for the revision of belief bases which correspond to the AGM postulates for the revision of beliefs sets. In this paper, we present postulates for the contraction of propositional belief bases which correspond to the AGM postulates for the contraction of belief sets. We highlight the existing connections with the revision of belief bases in the sense of Katsuno and Mendelzon thanks to Levi and Harper identities. We also present a representation theorem for contraction operators for propositional belief bases.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 80, January 2017, Pages 428-442
Journal: International Journal of Approximate Reasoning - Volume 80, January 2017, Pages 428-442
نویسندگان
Thomas Caridroit, Sébastien Konieczny, Pierre Marquis,