Multivalued Knowledge-Base based on Multivalued Datalog

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.

• Agnes Achs

• Fuzzy-
• intuitionistic-
• bipolar datalog
• multivalued knowledge-base

[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.