Formal concepts in artificial intelligence : fundamentals
著者
書誌事項
Formal concepts in artificial intelligence : fundamentals
(Chapman and Hall computing)
Chapman & Hall, 1992
1st ed
- : U.S
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
Includes errata slip
内容説明・目次
内容説明
An introduction to the logical and algorithmic concepts of artificial intelligence, discussing automated reasoning, the use of propositional and predicated logic, proof strategies, writing programs, natural language processing, expert systems and searching state space, decompositions and trees.
目次
- A view of artificial intelligence
- automated reasoning with propositional logic, with predicate logic
- refinements to resolution refutation
- using logic to write programs
- natural language processing - a prescriptive grammar, syntax and semantics, a transformational grammar
- production rules for expert systems
- plausible reasoning in expert systems
- solving problems by searching state space, by searching decompositions
- playing games by searching trees. Appendix: Fingers to symbulators.
「Nielsen BookData」 より