|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3242661 |
| 003 |
MWH |
| 005 |
20191028141220.0 |
| 007 |
cr nn 008mamaa |
| 008 |
130321s1989 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783662056899
|
| 024 |
7 |
|
|a 10.1007/978-3-662-05689-9
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-3-662-05689-9
|
| 050 |
|
4 |
|a E-Book
|
| 072 |
|
7 |
|a UYQ
|2 bicssc
|
| 072 |
|
7 |
|a COM004000
|2 bisacsh
|
| 072 |
|
7 |
|a UYQ
|2 thema
|
| 100 |
1 |
|
|a Besnard, Philippe.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 245 |
1 |
3 |
|a An Introduction to Default Logic
|h [electronic resource] /
|c by Philippe Besnard.
|
| 250 |
|
|
|a 1st ed. 1989.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 1989.
|
| 300 |
|
|
|a XII, 210 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Artificial Intelligence,
|x 1431-1402
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a 1. Default Reasoning -- 2. Formal Logic as a Knowledge Representation Scheme -- 3. First Order Logic -- 4. Nonmonotonic Extensions for First Order Logic -- 5. Presentation of Default Logic -- 6. Formal Development of Default Logic -- 7. Normal Defaults -- 8. Further Topics in Default Logic -- 9. Fragments of Default Logic -- 10. Problems with Default Logic -- 11. Default Logic Revisited -- 12. Circumscription -- 13. Other Logic Formalizations of Nonmonotonic Reasoning -- Appendix: Origin of the Theorems -- References -- Table of Symbols.
|
| 520 |
|
|
|a This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. Thus, it is mainly designed for the Artificial Intelligence community, both students and researchers, although it can be useful for people working in related fields like cognitive psychology. The major theme is not Artificial Intelligence applications, although these are discussed throughout in sketch fonn. Rather, the book places a heavy emphasis on the fonnal development of default logic, results and problems. Default logic provides a fonnalism for an important part of human reasoning. Default logic is specifically concerned with common sense reasoning, which has recently been recognized in the Artificial Intelligence literature to be of fundamental importance for knowledge representation. Previously, fonnalized reasoning systems failed in real world environments, though succeeding with an acceptable ratio in well-defined environments. This situation enabled empirical explorations and the design of systems without theoretical justification. In particular, they could not be compared since there was no basis to judge their respective merits. Default logic turned out to be very fruitful by proving the correctness of some of them. We hope that this book will initiate other successful developments in default logic.
|
| 590 |
|
|
|a Loaded electronically.
|
| 590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 830 |
|
0 |
|a Artificial Intelligence,
|x 1431-1402
|
| 830 |
|
0 |
|a Springer eBook Collection.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-662-05689-9
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b32426616
|b 04-18-22
|c 02-26-20
|
| 998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g gw
|h 3
|i 1
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-BAE
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
| 902 |
|
|
|a springer purchased ebooks
|
| 903 |
|
|
|a SEB-COLL
|
| 945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21558267
|z 02-26-20
|
| 999 |
f |
f |
|i f8db633b-e771-54b4-9b2c-577935871906
|s dfbf88f3-4171-5bea-b1eb-df231627fd61
|t 0
|
| 952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|