Author: Allen Ginsberg
Publisher: Pitman Publishing
ISBN:
Category : Computers
Languages : en
Pages : 192
Book Description
Automatic Refinement of Expert System Knowledge Bases
Author: Allen Ginsberg
Publisher: Pitman Publishing
ISBN:
Category : Computers
Languages : en
Pages : 192
Book Description
Publisher: Pitman Publishing
ISBN:
Category : Computers
Languages : en
Pages : 192
Book Description
Validation and Verification of Knowledge Based Systems
Author: Anca Vermesan
Publisher: Springer Science & Business Media
ISBN: 1475769164
Category : Computers
Languages : en
Pages : 363
Book Description
Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI. Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV'99 - which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).
Publisher: Springer Science & Business Media
ISBN: 1475769164
Category : Computers
Languages : en
Pages : 363
Book Description
Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI. Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV'99 - which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).
Expert Systems and Related Topics
Author: Marlene A. Palmer
Publisher: IGI Global
ISBN: 9781878289032
Category : Computers
Languages : en
Pages : 170
Book Description
This comprehensive reference to all areas of expert systems and applications, plus advanced related topics, lets you spend your time reading expert systems literature rather than searching for it. It gives you a source of historical perspectives and outlooks on the future of the field. Whether you are a manager, a developer or an end user or researcher, Expert Systems and Related Topics: Selected Bibliography & Guide to Information Sources puts all the sources of expert systems literature at your fingertips.
Publisher: IGI Global
ISBN: 9781878289032
Category : Computers
Languages : en
Pages : 170
Book Description
This comprehensive reference to all areas of expert systems and applications, plus advanced related topics, lets you spend your time reading expert systems literature rather than searching for it. It gives you a source of historical perspectives and outlooks on the future of the field. Whether you are a manager, a developer or an end user or researcher, Expert Systems and Related Topics: Selected Bibliography & Guide to Information Sources puts all the sources of expert systems literature at your fingertips.
Machine Learning Proceedings 1989
Author: Alberto Maria Segre
Publisher: Morgan Kaufmann
ISBN: 1483297403
Category : Computers
Languages : en
Pages : 521
Book Description
Machine Learning Proceedings 1989
Publisher: Morgan Kaufmann
ISBN: 1483297403
Category : Computers
Languages : en
Pages : 521
Book Description
Machine Learning Proceedings 1989
A General Explanation-Based Learning Mechanism and Its Application to Narrative Understanding
Author: Raymond J. Mooney
Publisher: Morgan Kaufmann
ISBN: 9781558600911
Category : Computers
Languages : en
Pages : 190
Book Description
By Raymond J. Mooney.
Publisher: Morgan Kaufmann
ISBN: 9781558600911
Category : Computers
Languages : en
Pages : 190
Book Description
By Raymond J. Mooney.
Research and Development in Expert Systems XV
Author: Roger Miles
Publisher: Springer Science & Business Media
ISBN: 1447108353
Category : Computers
Languages : en
Pages : 224
Book Description
R.G.MILES XHP Consulting Ltd, Gloucester. This book is one of two volumes containing papers for presentation at the British Computer Society Expert Systems 98 conference. This is the annual conference of th the BCS Specialist Group on Expert Systems and is in its 18 year. During its lifetime it has established itself as the premier Expert Systems conference in the UK. The conference is attracting an increasing number of papers world-wide and this year in excess of 70% were from research groups outside the UK. This volume includes all papers accepted for the Technical Stream of Expert Systems 98 and presented at the conference in December 1998. The papers within this stream present innovative, new research work. The companion volume, Applications and Innovations in Expert Systems VI, includes all papers accepted for the application stream of the conference. This stream has become the premier European conference on applications of Expert Systems. The papers accepted for presentation within the Technical Stream cover a broad range of research within Expert Systems and fit into four broad categories: ontological frameworks, knowledge base development, classifiers and neuro-fuzzy systems. The award for best Technical paper has been made to David McSherry, from the University of Ulster, for his paper entitled "Strategic Induction of Decision Trees".
Publisher: Springer Science & Business Media
ISBN: 1447108353
Category : Computers
Languages : en
Pages : 224
Book Description
R.G.MILES XHP Consulting Ltd, Gloucester. This book is one of two volumes containing papers for presentation at the British Computer Society Expert Systems 98 conference. This is the annual conference of th the BCS Specialist Group on Expert Systems and is in its 18 year. During its lifetime it has established itself as the premier Expert Systems conference in the UK. The conference is attracting an increasing number of papers world-wide and this year in excess of 70% were from research groups outside the UK. This volume includes all papers accepted for the Technical Stream of Expert Systems 98 and presented at the conference in December 1998. The papers within this stream present innovative, new research work. The companion volume, Applications and Innovations in Expert Systems VI, includes all papers accepted for the application stream of the conference. This stream has become the premier European conference on applications of Expert Systems. The papers accepted for presentation within the Technical Stream cover a broad range of research within Expert Systems and fit into four broad categories: ontological frameworks, knowledge base development, classifiers and neuro-fuzzy systems. The award for best Technical paper has been made to David McSherry, from the University of Ulster, for his paper entitled "Strategic Induction of Decision Trees".
Industrial and Engineering Applications or Artificial Intelligence and Expert Systems
Author: Takushi Tanaka
Publisher: CRC Press
ISBN: 9789056995249
Category : Computers
Languages : en
Pages : 838
Book Description
This volume includes the proceedings from Proceedings of the Ninth International Conference Fukuoka, Japan, June 4-7, 1996. This work represents a broad spectrum of new ideas in the field of applied artificial intelligence and expert systems, and serves to disseminate information regarding intelligent methodologies and their implementation in solving various problems in industry and engineering.
Publisher: CRC Press
ISBN: 9789056995249
Category : Computers
Languages : en
Pages : 838
Book Description
This volume includes the proceedings from Proceedings of the Ninth International Conference Fukuoka, Japan, June 4-7, 1996. This work represents a broad spectrum of new ideas in the field of applied artificial intelligence and expert systems, and serves to disseminate information regarding intelligent methodologies and their implementation in solving various problems in industry and engineering.
Knowledge-based Software Development for Real-time Distributed Systems
Author: Jeffrey J.-P. Tsai
Publisher: World Scientific
ISBN: 9789810211288
Category : Computers
Languages : en
Pages : 244
Book Description
The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.
Publisher: World Scientific
ISBN: 9789810211288
Category : Computers
Languages : en
Pages : 244
Book Description
The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.
Topics in Expert System Design
Author: C. Tasso
Publisher: Elsevier
ISBN: 1483297772
Category : Computers
Languages : en
Pages : 450
Book Description
Expert Systems are so far the most promising achievement of artificial intelligence research. Decision making, planning, design, control, supervision and diagnosis are areas where they are showing great potential. However, the establishment of expert system technology and its actual industrial impact are still limited by the lack of a sound, general and reliable design and construction methodology.This book has a dual purpose: to offer concrete guidelines and tools to the designers of expert systems, and to promote basic and applied research on methodologies and tools. It is a coordinated collection of papers from researchers in the USA and Europe, examining important and emerging topics, methodological advances and practical experience obtained in specific applications. Each paper includes a survey introduction, and a comprehensive bibliography is provided.
Publisher: Elsevier
ISBN: 1483297772
Category : Computers
Languages : en
Pages : 450
Book Description
Expert Systems are so far the most promising achievement of artificial intelligence research. Decision making, planning, design, control, supervision and diagnosis are areas where they are showing great potential. However, the establishment of expert system technology and its actual industrial impact are still limited by the lack of a sound, general and reliable design and construction methodology.This book has a dual purpose: to offer concrete guidelines and tools to the designers of expert systems, and to promote basic and applied research on methodologies and tools. It is a coordinated collection of papers from researchers in the USA and Europe, examining important and emerging topics, methodological advances and practical experience obtained in specific applications. Each paper includes a survey introduction, and a comprehensive bibliography is provided.
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 836
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 836
Book Description