Abstract
Update of knowledge bases is becoming an important topic in Artificial Intelligence and a key problem in knowledge representation and reasoning. One of the latest ideas to update logic programs is choosing between models of Minimal Generalised Answer Sets to overcome disadvantages of previous approaches. This paper describes an implementation of the declarative version of updates sequences that has been proposed as an alternative to syntax-based semantics. One of the main contributions of this implementation is to use DLV’s Weak Constraints to compute the model(s) of an update sequence, besides presenting the precise definitions proposed by the authors and an online solver. As a result, the paper makes an outline of the basic structure of the system, describes the employed technology, discusses the major process of computing the models, and illustrates the system through examples.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Zadeh, L.A.: Fuzzy Sets and Information Granularity. In: Gupta, M., Ragade, R., Yager, R. (eds.) Advances in Fuzzy Set Theory and Application, pp. 3–18. North-Holland, Amsterdam (1979)
Zadeh, L.A.: Fuzzy logic=computing with words. IEEE Transactions on Fuzzy Systems 4(1), 103–111 (1996)
Zadeh, L.A.: Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic. Fuzzy Sets and Systems 90, 111–127 (1997)
Zadeh, L.A.: Some reflections on soft computing, granular computing and their roles in the conception, design and utilization of information / intelligent systems. Soft Computing 2(1), 23–25 (1998)
Pawlak, Z.: Granularity of knowledge, indiscernibility and rough sets. In: Proceedings of 1998 IEEE International Conference on Fuzzy Systems, pp. 106–110. IEEE Computer Society Press, Los Alamitos (1998)
Yao, Y.Y.: Granular computing: basic issues and possible solutions. In: Proceedings of the Fifth International Conference on Computing and Information, vol. I, pp. 186–189 (2000)
Lin, T.Y.: Granular computing on binary relations I: Data mining and neighborhood systems, II: Rough sets representations and belief functions. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery 1, pp. 107–140. Physica, Heidelberg (1998)
Zhang, L., Zhang, B.: Theory of fuzzy quotient space (methods of fuzzy granular computing). Journal of Software (in Chinese) 14(4), 770–776 (2003)
Klir, G.J.: Basic issues of computing with granular computing. In: Proceedings of 1998 IEEE International Conference on Fuzzy Systems, pp. 101–105. IEEE Computer Society Press, Los Alamitos (1998)
Liang, J.Y., Shi, Z.Z.: The information entropy, rough entropy and knowledge granulation in rough set theory. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(1), 37–46 (2004)
Liang, J.Y., Shi, Z.Z., Li, D.Y.: The information entropy, rough entropy and knowledge granulation in incomplete information systems. International Journal of General Systems 35(6), 641–654 (2006)
Liu, Q.: Granules and applications of granular computing in logical reasoning. Journal of Computer Research and Development (in Chinese) 41(4), 546–551 (2004)
Liang, J.Y., Qian, Y.H, Chu, C.Y., Li, D.Y., Wang, J.H.: Rough set approximation based on dynamic granulation. In: Ślęzak, D., Wang, G., Szczuka, M., Düntsch, I., Yao, Y. (eds.) RSFDGrC 2005. LNCS (LNAI), vol. 3641, pp. 701–708. Springer, Heidelberg (2005)
Kryszkiewicz, M.: Rough set approach to incomplete information system. Information Sciences 112, 39–49 (1998)
Kryszkiewicz, M.: Rule in incomplete information systems. Information Sciences 113, 271–292 (1999)
Kryszkiewicz, M.: Comparative study of alternative type of knowledge reduction in incomsistent systems. International Journal of Intelligent systems 16, 105–120 (2001)
Leung, Y., Li, D.Y.: Maximal consistent block technique for rule acquisition in incomplete information systems. Information Sciences 153, 85–106 (2003)
Pawlak, Z.: Rough sets. Theoretical aspects of reasoning about data. Kluwer Academic Publishers, Dordrecht (1991)
Liang, J.Y., Li, D.Y.: Uncertainty and knowledge acquisition in information systems (in Chinese). Science Press, Beijing (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guadarrama, J.C.A. (2007). Implementing Knowledge Update Sequences. In: Gelbukh, A., Kuri Morales, Á.F. (eds) MICAI 2007: Advances in Artificial Intelligence. MICAI 2007. Lecture Notes in Computer Science(), vol 4827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76631-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-76631-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76630-8
Online ISBN: 978-3-540-76631-5
eBook Packages: Computer ScienceComputer Science (R0)