A state-based knowledge representation approach for information logical inconsistency detection in warning systems

Knowledge-Based Systems

Volumn 23, Issue 2, 2010, Pages 125-131

  Ma, Jun ^a   Zhang, Guangquan ^a   Lu, Jie ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

Decision support systems; Knowledge base verification; Knowledge representation; Warning systems

Indexed keywords

APPLICATION DOMAINS; CASE BASED; DOMAIN SPECIFIC; DOMAIN-SPECIFIC KNOWLEDGE; EXISTING METHOD; GENERAL PURPOSE; INCONSISTENCY DETECTION; KNOWLEDGE BASE; KNOWLEDGE BASE VERIFICATION; STATE-BASED; WARNING SYSTEMS;

ALARM SYSTEMS; ARTIFICIAL INTELLIGENCE; DECISION MAKING; DECISION SUPPORT SYSTEMS; DECISION THEORY; KNOWLEDGE BASED SYSTEMS;

KNOWLEDGE REPRESENTATION;

EID: 76049117932     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2009.05.010     Document Type: Article

References (25)

1. Amgoud L., and Kaci S. An argumentation framework for merging conflicting knowledge bases. International Journal of Approximate Reasoning 45 (2007) 321-340
2. Basher R. Global early warning systems for natural hazards: systematic and people-centred. Philosophical Transactions of the Royal Society A 364 (2006) 2167-2182
3. Beliakov G., and Warren J. Appropriate choice of aggregation operators in fuzzy decision support systems. IEEE Transactions on Fuzzy Systems 9 6 (2001) 773-784
4. Botten N. Complex knowledge-base verification using matrices. Lecture Notes in Artificial Intelligence 604 (1992) 225-235
5. Bruni R. Discrete models for data imputation. Discrete Applied Mathematics 144 (2004) 59-69
6. Chang C.L., and Lee R.C.T. Symbolic and Mechanical Theorem Proving (1973), Academic Press Inc., Orlando, FL, USA
7. de Amo S., and Pais M.S. A paraconsistent logic programming approach for querying inconsistent databases. International Journal of Approximate Reasoning 46 (2007) 366-386
8. Hunter A. Paraconsisten logics. In: Gabbay D., and Smets P. (Eds). Handbook of Defeasible Reasoning and uncertain Information (1998), Kluwer Academic Publishers 13-43
9. A. Hunter, Evaluating the significance of inconsistencies, in: Proceedings of the 2003 International Joint Conference on AI (IJCAI03), 2003, pp. 468-473.
10. Mazure B., Saïs L., and Grégoire E. Checking several forms of consistency in nonmonotonic knowledge-bases. In: Gabbay D.M., Kruse R., Nonnengard A., and Ohlbach H.J. (Eds). Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitaitve Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany. Lecture Notes in Computer Sciences vol. 1244 (1997), Springer 122-130
11. Molodtsov D. Soft set theory - first results. Computers and Mathematics with Applications, An International Journal 37 (1999) 19-31
12. C. Mues, J. Vanthienen, Efficient rule base verification using binary decision diagrams, in: Proceedings of Database and Expert Systems Application, Lecture Notes in Computer Science, vol. 3180, 2004, pp. 445-454.
13. C. Mues, J. Vanthienen, Improving the scalability of rule base verification using binary decision diagrams: an empirical study, in: Proceedings of Advances in Artificial Intelligence, Lecture Notes in Computer Science, vol. 3238, 2004, pp. 381-395.
14. Nguyen N.T. Processing inconsistency of knowledge on semantic level. Journal of Universal Computer Science 11 2 (2005) 285-302
15. Park J.H., and Seong P.H. An integrated knowledge base development tool for knowledge acquisition and verification for NPP dynamic alarm processing systems. Annals of Nuclear Energy 29 4 (2002) 447-463
16. Pawlak Z., Grzymala-Busse J., Slowinski R., and Ziarko W. Rough sets. Communications of the ACM 38 11 (1995) 89-95
17. Pawlak Z., and Skowron A. Rough sets and Boolean reasoning. Information Sciences 177 1 (2006) 41-73
18. Pawlak Z., and Skowron A. Rudiments of rough sets. Information Sciences 177 1 (2006) 3-27
19. Polat F. UVT: a unification-based tooled for knowledge base verification. IEEE Expert - Intelligent Systems & Their Applications 8 3 (1993) 69-75
20. M. Raman, T. Ryan, L. Olfman, Knowledge management system for emergency preparedness: an action research study, in: HICSS'06: Proceedings of the 39th Annual Hawaii International Conference on System Sciences, vol. 2, IEEE Computer Society, Washington, DC, USA, 2006, p. 37b.
21. Russell S.J., and Norvig P. Artificial Intelligence: A Modern Approach. first ed. (1995), Prentice Hall, NJ
22. Scarpelli H., and Gomide F. A high level net approach for discovering potential inconsistencies in fuzzy knowledge bases. Fuzzy Sets and Systems 64 (1994) 175-193
23. P. Wu, S.Y.W. Su, Rule validation based on logical deduction, in: Proceedings of the Second International Conference on Information and Knowledge Management, 1993, pp. 164-173.
24. Yang S.J.H., Tsai J.J.P., and Chen C.-C. Fuzzy rule base systems verification using high-level Petri Nets. IEEE Transactions on Knowledge and Data Engineering 15 2 (2003) 457-473
25. Zhang D., and Luqi. Approximate declarative semantics for rule base anomalies. Knowledge-Based Systems 12 (1999) 341-353