An update logic for information systems

被引：13

作者：

Khan, Md Aquil ^{[1
,3
]}

Banerjee, Mohua ^{[2
]}

Rieke, Roland ^{[3
]}

机构：

[1] Indian Inst Technol, Indore, Madhya Pradesh, India

[2] Indian Inst Technol, Kanpur 208016, Uttar Pradesh, India

[3] Fraunhofer SIT, Darmstadt, Germany

来源：

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 2014年 / 55卷 / 01期

关键词：

Information system; Lower and upper approximations; Modal logic; First order predicate logic; ROUGH SET APPROACH; KNOWLEDGE REPRESENTATION; INCOMPLETE INFORMATION; ACQUISITION; RULES;

D O I：

10.1016/j.ijar.2013.07.007

中图分类号：

TP18 [人工智能理论];

学科分类号：

140502 [人工智能];

摘要：

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. (C) 2013 Elsevier Inc. All rights reserved.

引用

页码：436 / 456

页数：21

共 44 条

[1]

[Anonymous], 2002, INCOMPLETE INFORM ST

[2]

[Anonymous], 1991, THEORETICAL ASPECTS

[3]

[Anonymous], 1996, A New Introduction to Modal Logic

[4]

[Anonymous], FUNDAMENTA INFORM

[5]

[Anonymous], 2002, Cambridge Tracts in Theoretical Computer Science

[6]

Balbiani P, 1999, J APPL NONCLASSICAL, V9, P303

[7]

Banerjee Mohua, 2007, T ROUGH SETS 6 COM 1, P1

[8]

Blaszczynski J., 2003, ELECTRON NOTES THEOR, V82, P40

[9]

Burmeister P, 2005, LECT NOTES ARTIF INT, V3626, P114

[10]

CHAN C, 1998, INFORM SCI, V107, P177

← 1 2 3 4 5 →