Position Statement

Robert (Tony) Weida

I am interested in using description logics (also known as terminological logics or KL-ONE style systems) to (1) foster the creation and organization of well-defined configuration knowledge bases, support the maintenance of such knowledge bases as they evolve over time, and (3) provide inferential support for configuration systems at run-time. I have proposed a new "predictive concept recognition" methodology for description logic which applies to configuration problem solving.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.