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 2006  
         
  Articol:   SEQUENT CALCULUS IN COMPUTING DEFAULT EXTENSIONS.

Autori:  MIHAIELA LUPEA.
 
       
         
  Rezumat:  Justified and constrained default logics are the versions of default logic that have the property of semi-monotonicity. Based on this property, in this paper we present an iterative approach of the problem of computing the justified and constrained extensions of a propositional default theory. The sequent calculus and its complementary system, the antisequent calculus, are used to check the cautious applicability condition for defaults.  
         
     
         
         
      Revenire la pagina precedentă