Bridges from classical to nonmonotonic logic:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
London
Kings's College
2005
|
| Schriftenreihe: | Texts in computing
5 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013167958&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013167958&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XVI, 216 S. |
| ISBN: | 1904987001 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019843104 | ||
| 003 | DE-604 | ||
| 005 | 20140801 | ||
| 007 | t| | ||
| 008 | 050614s2005 xx |||| 00||| eng d | ||
| 020 | |a 1904987001 |9 1-904987-00-1 | ||
| 035 | |a (OCoLC)255177653 | ||
| 035 | |a (DE-599)BVBBV019843104 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29 |a DE-19 |a DE-11 |a DE-703 | ||
| 082 | 0 | |a 160 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Makinson, David |d 1941- |e Verfasser |0 (DE-588)1027090710 |4 aut | |
| 245 | 1 | 0 | |a Bridges from classical to nonmonotonic logic |c David Makinson |
| 264 | 1 | |a London |b Kings's College |c 2005 | |
| 300 | |a XVI, 216 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Texts in computing |v 5 | |
| 650 | 4 | |a Induction (Logic) | |
| 650 | 4 | |a Nonmonotonic reasoning | |
| 650 | 0 | 7 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Texts in computing |v 5 |w (DE-604)BV019656459 |9 5 | |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013167958&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013167958&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-013167958 | |
Datensatz im Suchindex
| _version_ | 1819259396209770496 |
|---|---|
| adam_text | Contents
Preface vii
Acknowledgements
1
1.1
1.2
1.3
1.4
1.5
2
2.1
Assumptions
2.2
2.3
2.4
3
3.1
3.2
3.3
3.4
4
4.1
4.2
4.3
4.4
vi
5
5.1
5.2
5.3
5.4
5.5
6
6.1
6.2
6.3
6.4
Appendices
A Proof of Theorem
B Glossary of Special Symbols
Answers to Selected Exercises
Bibliography
Index
iflim agine a robot trying to sizWup ajpif ficEuld situation, Co find a way
of
which ic Cries Co reacFfrjudgenpajijits If it
it will not get fan no madder1 how fasd ids inference engines, For
¡even the prfitDsd massivejjjpFormation is still typicallj Ticomplete
there are relevant issue s dhadJp doegti|ot resqlvelibne way.
¡The robo d, or hurgpn agent for that macCer, needs to go
these limits It needs do go supraclassical , inferring more than isf
authorized by classical logic alone Bud %uchtinferences, are*
IFinherendly uncerdain They are also
ti .
n that ihe acquisition of furtheR^nforrnafcion, eveii |vhen
jficonsistent With the exi
an dwo decades
a F
¡ctons
NonmonotcDiafó^lèipic
the subject of
| But For the newcom er
,;
HUIHMHV »fr<f*&
ïjf-r, !
• The purpose or this b(pojs| is ts> (sake the mystery out
^subject, giviiag a cfear ovei^ll picture of what is going on It mailed
the
¿accessible, and meaningful, to anyone
ne
indiscrete mathematics and a minimal background ift classical
propbsitionaWpgic. It is written as|a textbook, with ¡detailed
explanations, examples, commends,
|
| any_adam_object | 1 |
| author | Makinson, David 1941- |
| author_GND | (DE-588)1027090710 |
| author_facet | Makinson, David 1941- |
| author_role | aut |
| author_sort | Makinson, David 1941- |
| author_variant | d m dm |
| building | Verbundindex |
| bvnumber | BV019843104 |
| classification_rvk | CC 2400 CC 2600 ST 130 |
| ctrlnum | (OCoLC)255177653 (DE-599)BVBBV019843104 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Informatik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01758nam a2200421 cb4500</leader><controlfield tag="001">BV019843104</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140801 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">050614s2005 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1904987001</subfield><subfield code="9">1-904987-00-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255177653</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019843104</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Makinson, David</subfield><subfield code="d">1941-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1027090710</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Bridges from classical to nonmonotonic logic</subfield><subfield code="c">David Makinson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Kings's College</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 216 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Texts in computing</subfield><subfield code="v">5</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Induction (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonmonotonic reasoning</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="0">(DE-588)4278597-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="0">(DE-588)4278597-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Texts in computing</subfield><subfield code="v">5</subfield><subfield code="w">(DE-604)BV019656459</subfield><subfield code="9">5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013167958&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013167958&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013167958</subfield></datafield></record></collection> |
| id | DE-604.BV019843104 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T12:07:04Z |
| institution | BVB |
| isbn | 1904987001 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013167958 |
| oclc_num | 255177653 |
| open_access_boolean | |
| owner | DE-739 DE-29 DE-19 DE-BY-UBM DE-11 DE-703 |
| owner_facet | DE-739 DE-29 DE-19 DE-BY-UBM DE-11 DE-703 |
| physical | XVI, 216 S. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Kings's College |
| record_format | marc |
| series | Texts in computing |
| series2 | Texts in computing |
| spellingShingle | Makinson, David 1941- Bridges from classical to nonmonotonic logic Texts in computing Induction (Logic) Nonmonotonic reasoning Nichtmonotone Logik (DE-588)4278597-2 gnd |
| subject_GND | (DE-588)4278597-2 |
| title | Bridges from classical to nonmonotonic logic |
| title_auth | Bridges from classical to nonmonotonic logic |
| title_exact_search | Bridges from classical to nonmonotonic logic |
| title_full | Bridges from classical to nonmonotonic logic David Makinson |
| title_fullStr | Bridges from classical to nonmonotonic logic David Makinson |
| title_full_unstemmed | Bridges from classical to nonmonotonic logic David Makinson |
| title_short | Bridges from classical to nonmonotonic logic |
| title_sort | bridges from classical to nonmonotonic logic |
| topic | Induction (Logic) Nonmonotonic reasoning Nichtmonotone Logik (DE-588)4278597-2 gnd |
| topic_facet | Induction (Logic) Nonmonotonic reasoning Nichtmonotone Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013167958&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013167958&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV019656459 |
| work_keys_str_mv | AT makinsondavid bridgesfromclassicaltononmonotoniclogic |