Knowledge representation

著者

• Brachman, Ronald J.
• Levesque, Hector J.
• Reiter, Ray

書誌事項

Knowledge representation

edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter

（Special issues of Artificial intelligence, an international journal）

MIT Press, 1992

1st MIT Press ed

注記

"A Bradford book."

"Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--T.p. verso

Includes bibliographical references and indexes

内容説明・目次

内容説明

This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.ContentsIntroduction * Nonmonotonic Reasoning in the Framework of Situation Calculus * The Computational Complexity of Abduction * Temporal Constraint Networks * Impediments to Universal Preference-Based Default Theories * Embedding Decision-Analytic Control in a Learning Architecture * The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning * Existence Assumptions in Knowledge Representation * Hard Problems for Simple Default Logics * The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning * Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs * On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time * Principles of Metareasoning

目次

• Introduction to special volume on knowledge representation, R.J. Brachman et al
• nonmonotonic reasoning in the framework of situation calculus, A.B. Baker
• the computational complexity of abduction, T. Bylander et al
• temporal constraint networks, R. Dechter et al
• impediments to universal preference-based default theories, J. Doyle and M.P. Wellman
• embedding decision-analytic control in a learning architecture, O. Etzioni
• the substitutional framework for sorted deduction - fundamental results on hybrid reasoning, A.M. Frisch
• existence assumptions in knowledge representation, G. Hirst
• hard problems for simple default logics, H.A. Kautz and B. Selman
• the effect of knowledge on belief - conditioning, specificity and the lottery paradox in default reasoning, D. Poole
• three-valued nonmonotonic formalisms and the semantics of logic programs, T. Przymusinski
• on the applicability of nonmonotonic logic to formal reasoning in continuous time, M. Rayner
• principles of metareasoning, S. Russell and E. Wefald.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA13997495
• ISBN:
  • 0262521687
• LCCN: 91005050
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: 408 p.
• 大きさ: 27 cm
• 分類:
  • LCC : Q387
  • DC20 : 003/.54
• 件名:
  • LCSH : Knowledge representation (Information theory)
• 親書誌ID:
  • BA13695634