Artificial Intelligence and Its Applications
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.
7 pages matching modal logic in this book
Results 1-3 of 7
What people are saying - Write a review
We haven't found any reviews in the usual places.
A LogicBased Expert System Representation
Poof AnalysisA Technique for Concept Formation
Refinements of OperatorBased Action Representation
14 other sections not shown
action analysis application approach Artificial Intelligence ask-user asynchronous serial interface backward inference baud behaviour bytes Capacity laws clauses components concept 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 Johnson-Laird knowledge representation language logic MAPLE mental method modal logic Morgan Kaufmann node NVC NVC 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 user model variables verb visibility set visual XSEL-R1