The logic of knowledge bases

>> Google Books

所蔵情報QRコード

The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer

資料種別:

図書

出版情報:

Cambridge, Mass. : MIT Press, c2000

形態:

xviii, 282 p. ; 24 cm

著者名:

ISBN:

9780262122320 [0262122324]

書誌ID:

BA51405058

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references (p. [275]-280) and index

主題:

Expert systems (Computer science); Knowledge representation (Information theory); Logic, Symbolic and mathematical

言語:

英語

目次情報:

Preface

Acknowledgments

Introduction / 1：

A First-Order Logical Language / 2：

An Epistemic Logical Language / 3：

Logical Properties of Knowledge / 4：

The TELL and ASK Operations / 5：

Knowledge Bases as Representations of Epistemic States / 6：

The Representation Theorem / 7：

Only-Knowing / 8：

Only-Knowing and Autoepistemic Logic / 9：

On the Proof Theory of OL / 10：

Only-Knowing-About / 11：

Avoiding Logical Omniscience / 12：

The Logic EOL / 13：

Knowledge and Action / 14：

Epilogue

References

Index

Preface

Acknowledgments

Introduction / 1：

A First-Order Logical Language / 2：

An Epistemic Logical Language / 3：

Logical Properties of Knowledge / 4：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Foundations of knowledge representation and reasoning (: gw ; : us) Lakemeyer, Gerhard, Nebel, Bernhard, 1956- Springer-Verlag	7 電子ブック Thinking as computation : a first course ((ebook) :) Levesque, Hector J. MIT Press
2 図書 Vivid logic : knowledge-based reasoning with two kinds of negation (: us ; : gw) Wagner, G. (Gerd), 1957- Springer-Verlag	8 図書 Knowledge discovery and measures of interest Robert J. Hilderman, Hamilton, Howard J. Kluwer Academic Publishers
3 図書 Handbook on ontologies Staab, Steffen, Studer, Rudi, 1951- Springer-Verlag	9 図書 Knowledge-based tutoring : the GUIDON program Clancey, William J. MIT Press
4 図書 Knowledge representation and reasoning under uncertainty : logic at work (: gw ; : us) Masuch, Michael, 1949-, Pólos, László Springer-Verlag	10 図書 Knowledge-based systems for industrial control McGhee, J., Grimble, Michael J., Mowforth, P. (Peter), 1953-, Institution of Electrical Engineers P. Peregrinus Ltd. on behalf of the Institution of Electrical Engineers
5 電子ブック Foundations of Knowledge Representation and Reasoning Lakemeyer, Lakemeyer, Gerhard, Nebel, Bernhard SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 A study of logics Cleave, J. P. (John P.) Clarendon Press, Oxford University Press
6 図書 Automatic refinement of expert system knowledge bases (: UK ; : US) Ginsberg, Allen Pitman, Morgan Kaufmann Publishers	12 図書 Logic for mathematicians Rosser, J. Barkley (John Barkley), 1907- McGraw-Hill