Towards formalization of ARD+ conceptual design and refinement method

Proceedings of the 21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21

Volumn , Issue , 2008, Pages 353-358

  Nalepa, Grzegorz J ^a   Wojnicki, Igor ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONCEPTUAL DESIGN; HIERARCHICAL SYSTEMS; INFORMATION THEORY; KNOWLEDGE BASED SYSTEMS;

APPLICATION EXAMPLES; DESIGN STEPS; FORMAL DESCRIPTIONS; FUTURE RESEARCHES; KNOWLEDGE ABSTRACTIONS; REFINEMENT METHODS; RULE-BASED SYSTEMS;

DESIGN;

EID: 55849122971     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Hopgood, A. A. 2001. Intelligent Systems for Engineers and Scientists. Boca Raton London New York Washington, D.C.: CRC Press, 2nd edition.
2. Liebowitz, J., ed. 1998. The Handbook of Applied Expert Systems. Boca Raton: CRC Press.
3. Ligȩza, A., and Nalepa, G. J. 2007. Knowledge representation with granular attributive logic for XTT-based expert systems. In Wilson, D. C.; Sutcliffe, G. C. J.; and FLAIRS., eds., FLAIRS-20: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference: Key West, Florida, May 7-9, 2007, 530-535. Menlo Park, California: Florida Artificial Intelligence Research Society.
4. Ligȩza, A.; Wojnicki, I.; and Nalepa, G. 2001. Tab-trees: a case tool for design of extended tabular systems. In et al., H. M., ed., Database and Expert Systems Applications, volume 2113 of Lecture Notes in Computer Sciences. Berlin: Springer-Verlag. 422-431.
5. Ligȩza, A. 2006. Logical Foundations for Rule-Based Systems. Berlin, Heidelberg: Springer-Verlag.
6. Mellor, S. J., and Balcer, M. 2002. Executable UML: A Foundation for Model-Driven Architectures. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc.
7. Nalepa, G. J., and Ligȩza, A. 2005a. Conceptual modelling and automated implementation of rule-based systems. In Krzysztof Zieliński, T. S., ed., Software engineering: evolution and emerging technologies, volume 130 of Frontiers in Artificial Intelligence and Applications, 330-340. Amsterdam: IOS Press.
8. Nalepa, G. J., and Ligȩza, A. 2005b. A graphical tabular model for rule-based logic programming and verification. Systems Science 31(2): 89-95.
9. Russell, S., and Norvig, P. 2003. Artificial Intelligence: A Modern Approach. Prentice-Hall, 2nd edition.