دانلود مقاله ISI انگلیسی شماره 78783
ترجمه فارسی عنوان مقاله

یک منطق به روز رسانی برای سیستم های اطلاعاتی

عنوان انگلیسی
An update logic for information systems
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
78783 2014 21 صفحه PDF
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : International Journal of Approximate Reasoning, Volume 55, Issue 1, Part 4, January 2014, Pages 436–456

ترجمه کلمات کلیدی
سیستم اطلاعات؛ تقریب بالا و پایین - منطق موجهات؛ منطق محمولی مرتبه اول
کلمات کلیدی انگلیسی
Information system; Lower and upper approximations; Modal logic; First order predicate logic
پیش نمایش مقاله
پیش نمایش مقاله  یک منطق به روز رسانی برای سیستم های اطلاعاتی

چکیده انگلیسی

Updates in a knowledge base, given as an information system in rough set theory, may need to be made due to changes in (i) the set of attributes, (ii) attribute-values, or (iii) the set of objects (instances). In this article, we propose a logic for information systems which incorporates all these three aspects of updates. The logic can capture the flow of information as well as its effects on the approximations of concepts. A sound and complete deductive system for the logic is presented. The decidability issue is also discussed.