Abstract

Based on the proceedings of a 1985 conference held in the U.K., this volume embraces most of the important concerns in AI today, emphasizing common techniques and methodologies rather than applications. Topics covered include building efficient computational logic, planning and design, the representation of uncertain knowledge, user modelling, and psychological and philosophical issues. Papers on perception, theorem proving, expert systems, robotics, and data bases are also included. Each section is preceded by an introduction which draws comparisons between various papers.