Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

ABSTRACT

The task of reasoning with fuzzy description logics with fuzzy quantification is approached by means of an evolutionary algorithm. An essential ingredient of the proposed method is a heuristic, implemented as an intelligent mutation operator, which observes the evolutionary process and uses the information gathered to guess at the mutations most likely to bring about an improvement of the solutions. The viability of the method is demonstrated by applying it to reasoning on a resource sheduling problem.

REFERENCES

• 1: Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
• 2: P. A. Bonatti and A. G. B. Tettamanzi. Some complexity results on fuzzy description logics. In A. P. V. Di Gesù, F. Masulli, editor, WILF 2003 International Workshop on Fuzzy Logic and Applications, LNCS 2955, Berlin, 2004. Springer Verlag.
• 3: Kenneth A. DeJong , Kenneth A. De Jong, Evolutionary Computation, The MIT Press, 2002
• 4: Miguel Delgado , Daniel Sánchez , María J. Martín-Bautista , María Amparo Vila, A probabilistic definition of a nonconvex fuzzy cardinality, Fuzzy Sets and Systems, v.126 n.2, p.177-190, March 1, 2002 [doi>10.1016/S0165-0114(01)00039-2]
• 5: M. Delgado, D. Sánchez, and M. Vila. Fuzzy cardinality based evaluation of quantified sentences. International Journal of Approximate Reasoning, 23:23--66, 2000.
• 6: F. Díaz-Hermida, A. Bugarín, P. Cariñena, and S. Barro. Voting-model based evaluation of fuzzy quantified sentences: a general framework. Fuzzy Sets and Systems, 146(1):97--120, 2004.
• 7: Agoston E. Eiben , J. E. Smith, Introduction to Evolutionary Computing, SpringerVerlag, 2003
• 8: Michael R. Garey , David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman & Co., New York, NY, 1979
• 9: I. Glöckner. Fundamentals of fuzzy quantification: Plausible models, constructive principles, and efficient implementation. Technical Report TR2002-07, Technical Faculty, University Bielefeld, 33501 Bielefeld, Germany, 2002.
• 10: Frédéric Lardeux , Frédéric Saubion , Jin-Kao Hao, GASAT: a genetic local search algorithm for the satisfiability problem, Evolutionary Computation, v.14 n.2, p.223-253, June 2006 [doi>10.1162/evco.2006.14.2.223]
• 11: A. D. Luca and S. Termini. A definition of a nonprobabilistic entropy in the setting of fuzzy sets theory. Information and Control, 20:301--312, 1972.
• 12: D. Sánchez and A. G. B. Tettamanzi. Generalizing quantification in fuzzy description logics. In Proceedings 8th Dortmund Fuzzy Days, Dortmund, Germany, 2004.
• 13: D. Sánchez and A. G. B. Tettamanzi. Fuzzy quantification in fuzzy description logics. In E. Sanchez, editor, Fuzzy Logic and the Semantic Web, Capturing Intelligence. Elsevier, Amsterdam, 2006.
• 14: U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137--166, 2001.
• 15: G. S. Witold Pedrycz and O. Shai. Genetic-fuzzy approach to the boolean satisfiability problem. IEEE Transactions on evolutionary computation, 6(5), 2002.
• 16: L. A. Zadeh. A computational approach to fuzzy quantifiers in natural languages. Computing and Mathematics with Applications, 9(1):149--184, 1983.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving

General Terms:
Algorithms

Keywords:
description logics, evolutionary algorithms, fuzzy logic, fuzzy quantification