Default Logic is recognized as a powerful framework for knowledge representation and incomplete information management. Its expressive power is suitable for non monotonic reasoning, but the counterpart is its very high level of computational complexity. The purpose of this paper is to show how heuristics such as Genetic Algorithms, Ant Colony Optimization and Local Search can be used to elaborate an efficient non monotonic reasoning system. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Nicolas, P., Saubion, F., & Stéphan, I. (2001). New generation systems for non-monotonic reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2173 LNAI, pp. 309–321). https://doi.org/10.1007/3-540-45402-0_23
Mendeley helps you to discover research relevant for your work.