Trí tuệ nhân tạo - phân chia dịch sách - nhóm Ân Dung Dũng Trung

Chương 10 : http://www.mediafire.com/file/ae42fpv28bss3dd/Chapter10.pdf

10 Logical Reasoning Systems 297
10.1 Introduction ................................... . 297
10.2 Indexing, Retrieval, and Unification ....................... . 299
Implementing sentences and terms ....................... . 299
Store and fetch .................................. . 299
Table-based indexing .............................. . 300
Tree-based indexing ............................... . 301
The unification algorithm ............................ . 302
10.3 Logic Programming Systems .......................... . 304
The Prolog language ............................... . 304
Implementation ................................. . 305
Compilation of logic programs ......................... . 306
Other logic programming languages ...................... . 308
Advanced control facilities ........................... . 308
10.4 Theorem Provers ................................. . 310
Design of a theorem prover ........................... . 310
Extending Prolog .................................31 1
Theorem provers as assistants .......................... . 312
Practical uses of theorem provers ........................ . 313
10.5 Forward-Chaining Production Systems ......................31 3
Match phase ................................... . 314
Conflict resolution phase ............................ . 315
Practical uses of production systems ...................... . 316
10.6 Frame Systems and Semantic Networks . .................... . 316
Syntax and semantics of semantic networks .................. . 317
Inheritance with exceptions ........................... . 319
Multiple inheritance ............................... . 320
Inheritance and change ............................. . 320
Implementation of semantic networks ...................... . 321
Expressiveness of semantic networks ...................... . 323I Contents __________________________________________________ xix
10.7 Description Logics ................................ . 323
Practical uses of description logics ....................... . 325
10.8 Managing Retractions, Assumptions, and Explanations ............ . 325
10.9 Summary ..................................... . 327
Bibliographical and Historical Notes .......................... . 328
Exercises ........................................ . 332

Dung 1 2
Ân 3 4
Dũng 5 6
Trung 7 8
Ai dịch xong phần của mình trước thì xem tiếp phần 9 và phần bài tập, hoặc Ân sẽ phân công sau!

Công cụ chọn text của FoxitReader!