Este artigo é uma tentativa de explorar as conexões que existem entre lógica não-monotônica e teoria
This paper is an effort to realize and explore the connections that exist between nonmonotonic logic