Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.2 din 2009  
         
  Articol:   DEFAULT REASONING BY ANT COLONY OPTIMIZATION.

Autori:  MIHAIELA LUPEA. 		 
       
         
  Rezumat:  Drawing conclusions from incomplete information by making default assumptions represents default reasoning. Default logics, a class of nonmonotonic logical systems, formalize this type of reasoning using special inference rules, the defaults. During the inferential process, a default theory is extended with plausible conclusions (beliefs) obtaining default extensions. The very high theoretical complexity of the extension computation problem suggests the use of non-deterministic techniques for an efficient computation. In this paper we propose a uniform theoretical approach of the extension computation problem for all default logics (classical, justified, constrained, rational) applying Ant Colony Optimization metaheuristic.

Key words and phrases. default logics, nonmonotonic reasoning, ant colony optimization.
  
         
     
         
         
      Revenire la pagina precedentă