Application of adaptive logics in artificial intelligence and in argumentation.