Towards Formalization of ARD+ Conceptual Design and Refinement Method

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 ion levels in the design. Application examples, along with directions for future research are given.

• Type: Conference
• Year: 2008
• Where: FLAIRS
• Authors: Grzegorz J. Nalepa, Igor Wojnicki
• Keywords: Artificial Intelligence, Conceptual Design, Consecutive Design Steps, FLAIRS 2008, Hierarchical Refinement Method