Dae Su Kim

  • Citations Per Year
Learn More
In this paper, a new fuzzy resolution principle called antonym-based fuzzy hyper-resolution (AFHR) is introduced and its completeness is proven. The proposed inference rule is based on the idea of reductio ad absurdum by the antonym not by negation in the existing binary logic. The proposed resolution has a meaningless range, a special set, that is not true(More)
Agents are software programs that perform tasks on behalf of others and they are used to clean the text data with their characteristics. Agents are task oriented with the ability to learn by themselves and they react to the situation. Learning characteristics of an agent is done by verifying its previous experience from its knowledgebase. An agent concept(More)
Introduction Nitrogen oxides (NOx) have been considered to be one of main pollutants to be eliminated. Among known various methodologies, the selective catalytic reduction (SCR) with various reducing agents involving NH3 and hydrocarbons has been generally accepted to be most promising one. Recently, it has been reported that the co-presence of NO2 with NO(More)