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...

RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXII

The papers in this volume are the refereed technical papers presented at AI2005, the Twenty-fifth SGAI International Conference on theory, practical and application of Artificial Intelligence, held in Cambridge in December 2005.

The papers in this volume present new and innovative developments in the field, divided into sections on Machine Learning, Knowledge Representation and Reasoning, Knowledge Acquisition, Constraint Satisfaction and Scheduling, and Natural Language Processing.

This is...

M.A. Bramer University of Portsmouth, UK This volume comprises the refereed technical papers presented at ES2ooo, the Twentieth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, held in Cambridge in December 2000, together with an invited keynote paper by Professor Austin Tate. The conference was organised by SGES, the British Computer Society Specialist Group on Knowledge Based Systems and Applied Artificial Intelligence. The papers in this volume present new and innovative developments in the field, divided into sections on learning, case-based...

Frans Coenen University of Liverpool, UK This volume comprises the refereed technical papers presented at AI2003, the Twenty third SGAI International Conference on the theory, practice and application of Artificial Intelligence, held in Cambridge in December 2003. The conference was organised by SGAI, the British Computer Society Specialist Group on Artificial Intelligence (previously known as SGES). The papers in this volume present new and innovative developments in the field, divided into sections on Machine Learning, Knowledge Representation and Reasoning, Knowledge Acquisition,...

An agent in a multi-agent system (MAS) has to generate plans for its individual goal, but these plans may con?ict with those that are already being scheduled or executed by other agents. It must also be able to complete its planning and resolution of these con?icts within a reasonable time to have an acceptable quality plan. Although we adopt hierarchical planning (HP, for example, see 7, 12]) using the decision-theoretic planning (DTP) approach 6] for ef?cient planning, it is not trivial to apply HPO to MAS. In HP, appropriate (abstract) plans are selected level by level to maximize the...

M.A.BRAMER University ofPortsmouth, UK This volume comprises the refereed technical papers presented at AI-2006, the Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2006. The conference was organised by SGAI, the British Computer Society Specialist Group on Artificial Intelligence. The papers in this volume present new and innovative developments in the field, divided into sections on AI Techniques, Knowledge Discovery in Data, Argumentation, Dialogue Games and Optimisation, Knowledge Representation...

Presents the refereed technical papers presented at AI-2008, the Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2008. This volume also includes the text of short papers presented as posters at the conference.

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...