Artificial Intelligence and Its ApplicationsA. G. Cohn, J. R. Thomas 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. |
From inside the book
Results 1-3 of 82
Page 186
... example his burning desire to get a piece of equipment repaired , could be turned to account in exigent data gathering . The third system function towards which user models can be directed is acceptability . In contrast to efficiency ...
... example his burning desire to get a piece of equipment repaired , could be turned to account in exigent data gathering . The third system function towards which user models can be directed is acceptability . In contrast to efficiency ...
Page 194
... example , his experience may be estab- lished not only by such obvious devices as his lack of use of a ' Help ' facility ( though this alone is ambiguous between social security and system experi- ence ) , or ready supply of menu slot ...
... example , his experience may be estab- lished not only by such obvious devices as his lack of use of a ' Help ' facility ( though this alone is ambiguous between social security and system experi- ence ) , or ready supply of menu slot ...
Page 276
... example where C ( x ) is true but not M ( x ) . The same example refutes the more precise T2 . 5. SEARLE'S REFUTATION OF T1 AND T2 His example is well known : assume there's some program Pc supposedly adequate to enable a computer to ...
... example where C ( x ) is true but not M ( x ) . The same example refutes the more precise T2 . 5. SEARLE'S REFUTATION OF T1 AND T2 His example is well known : assume there's some program Pc supposedly adequate to enable a computer to ...
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 past the barn picture pairs planstack poof position possible PRECONDS predicate premises problem 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