Multivalued Knowledge-Base based on Multivalued Datalog

Authors: Agnes Achs

Abstract:

The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. The concept of multivalued knowledgebase will be defined as a quadruple of any background knowledge; a deduction mechanism; a connecting algorithm, and a function set of the program, which help us to determine the uncertainty levels of the results. At first the concept of fuzzy Datalog will be summarized, then its extensions for intuitionistic- and interval-valued fuzzy logic is given and the concept of bipolar fuzzy Datalog is introduced. Based on these extensions the concept of multivalued knowledge-base will be defined. This knowledge-base can be a possible background of a future agent-model.

Keywords: Fuzzy-, intuitionistic-, bipolar datalog, multivalued knowledge-base

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1085413

References:

[1] A. Achs and A. Kiss, Fuzzy extension of Datalog, Acta Cybernetica Szeged, 1995, vol.12., pp. 153-166
[2] A. Achs, Computed Answer from Uncertain Knowledge: A Model for Handling Uncertain Information, Computing and Informatics, 2007, vol.26., pp. 63-76
[3] A. Achs, From Fuzzy- to Bipolar- Datalog, Proceedings of the 5th EUSFLAT Conference, Ostrava, Czech Republic, September 11-14, 2007, pp. 221-227
[4] A. Achs,DATALOG-based uncertainty-handling, The Twelfth IASTED International Conference on Artificial Intelligence and Soft Computing, September 1-3, 2008, pp. 44-49
[5] K. Atanassov, Intuitionistic Fuzzy Sets, Springer-Verlag, Heidelberg, 1999.
[6] C. Cornelis and G. Deschrijver and E.E. Kerre, Implication in intuitionis- tic fuzzy and interval-valued fuzzy set theory: construction, classification, application, International Journal of Approximate Reasoning, 2004, vol.35., pp. 55-95
[7] J.T. Cacioppo and W.L. Gardner and G.G. Berntson, Beyond bipolar conceptualization and measures: the case of attitudes and evaluative spaces, Personality and Social Psychol, 1997, Rev.1, pp. 3-25
[8] D. Dubois and P. Hajek and H. Prade, Knowledge-Driven versus Data- Driven Logics, Journal of Logic, Language, and Information, 2000, vol.9., pp. 65-89
[9] D. Dubois and S. Gottwald and P. Hajek and J. Kacprzyk and H. Prade, Terminological difficulties in fuzzy set theory The case of Intuitionistic Fuzzy Sets, Fuzzy Sets and Systems, 2005, vol.15., pp. 485-491
[10] S. Ceri and G. Gottlob and L. Tanca, Logic Programming and Databases, Springer-Verlag, Berlin, 1990.