Knowledge Oriented Software Design

The integration of AI techniques with traditional information processing approaches to applications design is considered in this volume. More specifically, the feasibility of an AI work area integrating AI-based tools with methodologies and with supporting theories, oriented towards general applications design using the knowledge based approach, is discussed. The book is divided into three areas. The first section deals with task structured organization of applications and with related knowledge acquisition techniques for application design. The proposals in this area show that the structured approach to knowledge identification and processing may be an alternative to the traditional application development methods which could be named Knowledge Oriented Software Design. The second section considers aspects of design and validation at two levels: a more practical approach to assess the life cycle of applications and validation techniques and a more theoretical approach towards automatic programming based on solving and inductive logic programming.
Basic techniques to be used in AI applications such as functional programming, object oriented programming, logic programming and logic based standards for basic knowledge modelling are discussed in the final section.
 
The integration of AI techniques with traditional information processing approaches to applications design is considered in this volume. More specifically, the feasibility of an AI work area integrating AI-based tools with methodologies and with supporting theories, oriented towards general applications design using the knowledge based approach, is discussed. The book is divided into three areas. The first section deals with task structured organization of applications and with related knowledge acquisition techniques for application design. The proposals in this area show that the structured approach to knowledge identification and processing may be an alternative to the traditional application development methods which could be named Knowledge Oriented Software Design. The second section considers aspects of design and validation at two levels: a more practical approach to assess the life cycle of applications and validation techniques and a more theoretical approach towards automatic programming based on solving and inductive logic programming.
Basic techniques to be used in AI applications such as functional programming, object oriented programming, logic programming and logic based standards for basic knowledge modelling are discussed in the final section.