Sciweavers

FLAIRS
2008

Towards Formalization of ARD+ Conceptual Design and Refinement Method

13 years 6 months ago
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.
Grzegorz J. Nalepa, Igor Wojnicki
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where FLAIRS
Authors Grzegorz J. Nalepa, Igor Wojnicki
Comments (0)