Artificial Intelligence and Its ApplicationsBased 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. |
Contents
LOGICAL INFERENCE | 1 |
A LogicBased Expert System Representation | 23 |
Generating Connection Calculi from Tableau and Sequent Based | 35 |
Copyright | |
16 other sections not shown
Other editions - View all
Common terms and phrases
action analysis application approach Artificial Intelligence ask-user backward inference baud behaviour bytes Capacity laws clauses conclusion configuration constraints database decision table domain echo source Edinburgh efficiency EPROM equations example expert system feature values first-order logic formula functions grammar heart-risk Incidence Calculus INFERNO input instantiation interaction interface intr Johnson-Laird knowledge representation language logic MAPLE mental method modal logic Morgan Kaufmann node objects occurs check paper parse picture pairs planstack poof position possible PRECONDS predicate premises preposition problem produce properties propositional logic prototypes quantifiers query reasoning reduction relationships representation represented restricted quantification rules search space Searle Searle's semantic sentence situational calculus solution solving specific strategy strong AI thesis STRUCT-CONSTR structure Subspace surface set tableau theorem theory tion tolerance types uncertainty University of Edinburgh user model variables verb visibility set visual XSEL-R1