Towards Formalization of ARD+ Conceptual Design and Refinement Method

Grzegorz J. Nalepa, Igor Wojnicki

The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax is given, as well as description of its semantics. ARD+ is a rework of the classic ARD presented elsewhere, that provides a conceptual design for rule-based systems. ARD+ is based on the concept of gradual design where consecutive design steps correspond to different knowledge abstraction levels in the design. Application examples, along with directions for future research are given.

Subjects: 11. Knowledge Representation; 1.4 Design

Submitted: Feb 25, 2008

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.