Belief Revision in Non-Classical Logics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Springer
2013
|
| Schriftenreihe: | SpringerBriefs in Computer Science
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHM01 FHN01 FKE01 UBG01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext Inhaltsverzeichnis |
| Beschreibung: | XI, 120 S. graph. Darst |
| ISBN: | 9781447141860 |
| DOI: | 10.1007/978-1-4471-4186-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040511816 | ||
| 003 | DE-604 | ||
| 005 | 20131204 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 121030s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9781447141860 |c Online |9 978-1-447-14186-0 | ||
| 024 | 7 | |a 10.1007/978-1-4471-4186-0 |2 doi | |
| 035 | |a (OCoLC)812052314 | ||
| 035 | |a (DE-599)BVBBV040511816 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-634 |a DE-739 |a DE-355 | ||
| 050 | 0 | |a Q334-342 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Ribeiro, Márcio Moretto |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Belief Revision in Non-Classical Logics |c Márcio Moretto Ribeiro |
| 264 | 1 | |a London [u.a.] |b Springer |c 2013 | |
| 300 | |a XI, 120 S. |b graph. Darst | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a SpringerBriefs in Computer Science | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-447-14185-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4471-4186-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025358342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025358342 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l FHA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l FHN01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l FKE01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l UER01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4471-4186-0 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804149589027061760 |
|---|---|
| adam_text | CONTENTS
1 INTRODUCTION........................................
1
1.1
BELIEF
REVISION.
..................................
2
1.2
BELIEF
SETS
AND
BELIEF
BASES.
.........................
3
1.3
POSTULATES
AND
CONSTRUCTIONS.
.........................
3
1.4
NON-CLASSICAL
LOGICS
...............................
4
1.5
BELIEF
REVISION
INNON-CLASSICAL
LOGICS
.................
5
1.6
ORGANIZATION
OFTHE
BOOK
............................
5
REFERENCES
..........................................
6
2
CONSEQUENCE........................................
7
2.1
TARSKIAN
CONSEQUENCE
OPERATOR
.......................
8
2.2
CONSEQUENCE
RELATION
..............................
10
2.2.1
PROPERTIES
OFTHE
CONSEQUENCE
OPERATOR.
............
10
2.3
STANDARD
LANGUAGES.
...............................
14
2.4
CONCLUSION
......................................
17
REFERENCES
..........................................
17
3
LOGICS.............................................
19
3.1
CLASSICAL
PROPOSITIONAL
LOGIC
.........................
20
3.1.1
LANGUAGE..................................
20
3.1.2
SEMANTIC..................................
20
3.1.3
AXIOMATIC
SYSTEM.
...........................
21
3.1.4
PROPERTIES..................................
25
3.2
INTUITIONISTIC
LOGIC
................................
26
3.2.1
SEMANTIES.
.................................
26
3.2.2
AXIOMATIC
SYSTEM.
...........................
27
3.2.3
PROPERTIES..................................
29
3.3
HORN
LOGIC
(HORN).
................................
30
3.3.1
PROPERTIES..................................
31
IX
X
CONLENLS
3.4 DESCRIPTION
LOGICS.
................................
32
3.4.1
LANGUAGE..................................
33
3.4.2
SEMANTIES.
.................................
34
3.4.3
EXTENSIONS
OF
ALE.
..........................
35
3.4.4
OWL.....................................
37
3.4.5
PROPERTIES..................................
38
3.5
CONCLUSION......................................
42
REFERENCES
..........................................
43
4
CLASSICAL
BELIEF
REVISION.
...............................
45
4.1
BELIEF
SYSTEMS
...................................
45
4.2
AGM
THEORY
....................................
47
4.2.1
AGM
CONTRACTION
............................
48
4.2.2
AGM
REVISION.
.............................
53
4.3
BELIEF
BASE
THEORY
................................
56
4.3.1
BASE
CONTRACTION.
............................
57
4.3.2
BELIEF
BASE
REVISION.
.........................
62
4.3.3
BELIEF
BASE
SEMI-REVISION.
.....................
66
4.4
CONCLUSION......................................
69
REFERENCES
..........................................
70
5
AGM
CONTRACTION
INNON-CLASSICAL
LOGICS
..................
71
5.1
GENERALIZED
AGM
POSTULATES
..
.......................
72
5.2
AGM
COMPLIANCE
.................................
73
5.3
RELEVANCE
COMPLIANCE.
.............................
75
5.4
RELEVANCE
AND
PARTIAL
MEET
CONTRACTION
..................
76
5.5
RATIONALITY......................................
79
5.6
CONCLUSION......................................
81
REFERENCES
..........................................
82
6
AGM
REVISION
INLOGICS
WITHOUT
NEGATION.
.................
83
6.1
GENERALIZED
POSTULATES
..............................
84
6.2
CONSTRUCTION.....................................
84
6.3
REPRESENTATION
THEOREMS
............................
86
6.4
CONCLUSION......................................
89
REFERENCES
..........................................
89
7
BASE
REVISION
INLOGICS
WITHOUT
NEGATION
..................
91
7.1
EXTERNAL
REVISION
WITHOUT
NEGATION
....................
92
7.1.1
EXTERNAL
KERNEL
REVISION
WITH
STRANG
SUCCESS.
.......
93
7.1.2
EXTERNAL
KERNEL
REVISION
WITH
STRONG
CONSISTENCY
.....
95
7.1.3
EXTERNAL
PARTIAL
MEET
REVISION
WITH
STRANG
SUCCESS
....
96
COLLLENLS
XI
7.1.4 EXTERNAL
PAJ1IAIMEET
REVISION
WITH
STRANG
CONSISTENCY
.......................
98
7.2
INTERNAL
REVISION
WITHOUT
NEGATION.
....................
99
7.2.1
INTERNAL
PARTIAL
MEET
REVISION.
..................
100
7.2.2
INTERNAL
KERNEL
REVISION.
......................
101
7.3
CONCLUSION
......................................
103
REFERENCES
..........................................
104
8
ALGORILHMS
FOR
BELIEF
BASES
.............................
105
8.1
COMPUTING
ONE
C(-KEMEL............................
105
8.2
MINIMAL
CUTS
....................................
107
8.3
COMPUTING
THE
KERNEL
..............................
108
8.4
COMPUTING
THE
REMAINDER
SET.
........................
109
8.5
KERNEL
AND
REMAINDER
SETS.
..........................
110
8.6
CONCLUSION
......................................
112
REFERENCES
..........................................
113
9
CONCLUSION.
.........................................
115
REFERENCES
..........................................
I
17
INDEX
................................................
119
|
| any_adam_object | 1 |
| author | Ribeiro, Márcio Moretto |
| author_facet | Ribeiro, Márcio Moretto |
| author_role | aut |
| author_sort | Ribeiro, Márcio Moretto |
| author_variant | m m r mm mmr |
| building | Verbundindex |
| bvnumber | BV040511816 |
| callnumber-first | Q - Science |
| callnumber-label | Q334-342 |
| callnumber-raw | Q334-342 |
| callnumber-search | Q334-342 |
| callnumber-sort | Q 3334 3342 |
| callnumber-subject | Q - General Science |
| classification_rvk | CC 2600 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)812052314 (DE-599)BVBBV040511816 |
| discipline | Informatik Philosophie |
| doi_str_mv | 10.1007/978-1-4471-4186-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02635nmm a2200529 c 4500</leader><controlfield tag="001">BV040511816</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131204 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">121030s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447141860</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-447-14186-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-4186-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812052314</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040511816</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334-342</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ribeiro, Márcio Moretto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Belief Revision in Non-Classical Logics</subfield><subfield code="c">Márcio Moretto Ribeiro</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 120 S.</subfield><subfield code="b">graph. Darst</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">SpringerBriefs in Computer Science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-447-14185-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</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=025358342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025358342</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4186-0</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV040511816 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:25:25Z |
| institution | BVB |
| isbn | 9781447141860 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025358342 |
| oclc_num | 812052314 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-634 DE-739 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-634 DE-739 DE-355 DE-BY-UBR |
| physical | XI, 120 S. graph. Darst |
| psigel | ZDB-2-SCS |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series2 | SpringerBriefs in Computer Science |
| spelling | Ribeiro, Márcio Moretto Verfasser aut Belief Revision in Non-Classical Logics Márcio Moretto Ribeiro London [u.a.] Springer 2013 XI, 120 S. graph. Darst txt rdacontent c rdamedia cr rdacarrier SpringerBriefs in Computer Science Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Erscheint auch als Druckausgabe 978-1-447-14185-3 https://doi.org/10.1007/978-1-4471-4186-0 Verlag Volltext Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025358342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ribeiro, Márcio Moretto Belief Revision in Non-Classical Logics Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Belief Revision in Non-Classical Logics |
| title_auth | Belief Revision in Non-Classical Logics |
| title_exact_search | Belief Revision in Non-Classical Logics |
| title_full | Belief Revision in Non-Classical Logics Márcio Moretto Ribeiro |
| title_fullStr | Belief Revision in Non-Classical Logics Márcio Moretto Ribeiro |
| title_full_unstemmed | Belief Revision in Non-Classical Logics Márcio Moretto Ribeiro |
| title_short | Belief Revision in Non-Classical Logics |
| title_sort | belief revision in non classical logics |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik |
| url | https://doi.org/10.1007/978-1-4471-4186-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025358342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ribeiromarciomoretto beliefrevisioninnonclassicallogics |