Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992
著者
書誌事項
Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992
（IFIP transactions, A . Computer science and technology ; 27）
North-Holland, 1993
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
Part 1 Modular knowledge structures: Task-structure analysis for knowledge modelling (B. Chandrasekaran, T.R. Johnson, J.W. Smith). Problem-solving models for generation of task-specific knowledge-acquisition tools (M.A. Musen, S.W. Tu). Contributions to a knowledge oriented view of software design (J. Cuena). Explanation in generic-task systems (M.C. Tanner). Corporate knowledge management (L. Steels). Part 2 Design and validation: Towards a joint life cycle for software and knowledge engineering (N. Juristo, J. Pazos). Model-based and incremental knowledge engineering: the MIKE approach (J. Angele, D. Fensel, D. Landes, S. Neubert, R. Studer). Inductive learning applied to program construction and verification (I. Bratko, M. Grobelnik). The general problem solver as a paradigm for software design (R.B. Banerji). Conventional software and expert systems - some comparative aspects regarding validation (P. Meseguer). Part 3 AI Basic techniques: The role of computational logic as a hinge paradigm among deduction, problem solving, programming and parallelism (M. Hermenegildo). PAMELA-C++: tight integration of rule-based features into an object-oriented language (E. Bahr, A. Holzmann, E. Mehofer, G. Pollak). Continuations as a generic controlflow mechanism (U. Cortes, E. Sesa, M.M. Furnari, C. di Napoli, R. Napolitano). Logic-based standards for the conceptual schema (J.F. Sowa).
「Nielsen BookData」 より
