Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Bonn, Univ., Diss., 1995 (Nicht für den Austausch) |
| Beschreibung: | III, 174 Bl. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010697882 | ||
| 003 | DE-604 | ||
| 005 | 20100811 | ||
| 007 | t | ||
| 008 | 960326s1995 gw d||| m||| 00||| ger d | ||
| 016 | 7 | |a 946584494 |2 DE-101 | |
| 035 | |a (OCoLC)258570264 | ||
| 035 | |a (DE-599)BVBBV010697882 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 | ||
| 084 | |a DAT 706d |2 stub | ||
| 084 | |a DAT 540d |2 stub | ||
| 100 | 1 | |a Papakostas, Panagiotis |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken |c vorgelegt von Panagiotis Papakostas |
| 264 | 1 | |c 1995 | |
| 300 | |a III, 174 Bl. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Bonn, Univ., Diss., 1995 (Nicht für den Austausch) | ||
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Horn-Klausel |0 (DE-588)4202453-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 0 | 1 | |a Horn-Klausel |0 (DE-588)4202453-5 |D s |
| 689 | 0 | 2 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007140335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007140335 | |
Datensatz im Suchindex
| _version_ | 1812453618943524864 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
I
EINLEITUNG
1. EIN KURZER RUECKBLICK.1
2. NICHTMONOTONES SCHLIESSEN.2
3. DER ANSATZ VON KRAUS, LEHMANN UND MAGIDOR.5
4. ZIELSETZUNG DIESER ARBEIT.7
5. KAPITEL UEBERSICHT.8
KAPITEL 1
DIE SPRACHE DER AUSSAGENLOGIK.11
1.1. SYNTAX.11
1.2. SEMANTIK.12
KAPITEL 2
DIE SPRACHE DER KONDITIONALE.14
2.1. MOTIVATION.14
2.2. DIE SYNTAKTISCHEN WERKZEUGE.17
2.3. DIE SEMANTISCHEN WERKZEUGE.19
KAPITEL 3
PRAEFERENTIELLES SCHLIESSEN.23
3.1. PRAEFERENTIELLE MODELLE.23
3.2. DAS INFERENZSYSTEM P.25
3.3. REPRAESENTATIONSTHEOREM FUER PRAEFERENTIELLE KONSEQUENZRELATIONEN.26
3.4. PRAEFERENTIELLES SCHLIESSEN.28
3.5. IST PRAEFERENTIELLES SCHLIESSEN NAH GENUG AN COMMONSENSE REASONING
?.34
KAPITEL 4
BERECHNUNG DER PRAEFERENTIELLEN HUELLE.36
4.1. VORARBEIT.36
4.2. DAS VERFAHREN.40
4.3. KOMPLEXITAETSANALYSE.46
4.4. EIN KOROLLAR.47
KAPITEL 5
EIN LINEARER ALGORITHMUS ZUR BERECHNUNG DER PRAEFERENTIELLEN HUELLE FUER
EINE KLASSE
VON HORN-KONDITIONALEN.49
5.1. VORARBEIT.-51
5.1.1. GRAPHENTHEORETISCHE DEFINITIONEN.51
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/946584494
INHALTSVERZEICHNIS
;J
5.1.2. LINEARES VERFAHREN VON DOWLING UND GALLIER ZUM PRUEFEN DER
ERFUELLBARKEIT VON HOMMENGEN.52
5.1.3. EINLEITENDE DEFINITIONEN.61
5.2. EIN GRUNDLEGENDER SATZ.65
5.3. DAS VERFAHREN.78
5.4. KOMPLEXITAETSANALYSE.81
5.5. ERWEITERUNGEN DER BISHER BETRACHTETEN KLASSE VON HORN-
KONDITIONALEN .88
5.5.1. ERWEITERUNG AUF DIE SPRACHE
LI.89
5.5.2. ERWEITERUNG AUF DIE SPRACHE L2.94
KAPITEL 6
EIN VERBESSERTER ALGORITHMUS FUER DIE BERECHNUNG DER PRAEFERENTIELLEN
HUELLE FUER DIE
GESAMTE SPRACHE VON HORN-KONDITIONALEN.100
6.1. ZUSAETZLICHE DEFINITIONEN.100
6.2. EIN GRUNDLEGENDER SATZ.103
6.3. DAS VERFAHREN.121
6.4. KOMPLEXITAETSANALYSE.124
KAPITEL 7
RATIONALES SCHLIESSEN.128
7.1. DAS PRINZIP DER RATIONALEN MONOTONIE.128
7.2. MODULARE MODELLE. 130
7.3. SYNTAKTISCHE CHARAKTERISIERUNG VON RATIONALEN
KONSEQUENZRELATIONEN.133
7.4. REPRAESENTATIONSTHEOREM FUER RATIONALE KONSEQUENZRELATIONEN.134
7.5. RATIONALES SCHLIESSEN.135
7.6. EINE ANDERE DEFINITION FUER RATIONALES SCHLIESSEN.137
7.6.1. PERFEKTE EXTENSIONEN.137
7.6.2. EINE ORDNUNG AUF RATIONALEN KONSEQUENZRELATIONEN.139
7.6.3. BERECHNUNG DER RATIONALEN HUELLE.145
7.6.4. KOMPLEXITAETSANALYSE.145
7.7. IST RATIONALES SCHLIESSEN NAH GENUG AM COMMONSENSE REASONING ?.146
KAPITEL 8
EIN LINEARER ALGORITHMUS ZUR BERECHNUNG DER RATIONALEN HUELLE FUER DIE
SPRACHE DER
HOM-KONDITIONALE.150
8.1. VORARBEIT.150
8.2. DAS VERFAHREN.152
8.3. KOMPLEXITAETSANALYSE.154
INHALTSVERZEICHNIS
III
KAPITEL 9
BEDEUTUNG DER RESULTATE UND AUSBLICK.]57
9.1. BEDEUTUNG DER RESULTATE.157
9.2. AUSBLICK.]39
9.2.1. AUSBLICK IN DIE PRAEDIKATENLOGIK.159
9.2.2. WAS KANN MAN IN DER NAEHEREN ZUKUNFT UNTERSUCHEN ?.162
ANHANG
DER LINEARE ALGORITHMUS VON DOWLING UND GALLIER.167
LITERATURLISTE.J
70
LEBENSLAUF |
| any_adam_object | 1 |
| author | Papakostas, Panagiotis |
| author_facet | Papakostas, Panagiotis |
| author_role | aut |
| author_sort | Papakostas, Panagiotis |
| author_variant | p p pp |
| building | Verbundindex |
| bvnumber | BV010697882 |
| classification_tum | DAT 706d DAT 540d |
| ctrlnum | (OCoLC)258570264 (DE-599)BVBBV010697882 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010697882</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100811</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960326s1995 gw d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946584494</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)258570264</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010697882</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Papakostas, Panagiotis</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken</subfield><subfield code="c">vorgelegt von Panagiotis Papakostas</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">III, 174 Bl.</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">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="500" ind1=" " ind2=" "><subfield code="a">Bonn, Univ., Diss., 1995 (Nicht für den Austausch)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Horn-Klausel</subfield><subfield code="0">(DE-588)4202453-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Horn-Klausel</subfield><subfield code="0">(DE-588)4202453-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=007140335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007140335</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010697882 |
| illustrated | Illustrated |
| indexdate | 2024-10-09T16:14:23Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007140335 |
| oclc_num | 258570264 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | III, 174 Bl. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| spelling | Papakostas, Panagiotis Verfasser aut Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken vorgelegt von Panagiotis Papakostas 1995 III, 174 Bl. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Bonn, Univ., Diss., 1995 (Nicht für den Austausch) Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf Algorithmus (DE-588)4001183-5 gnd rswk-swf Horn-Klausel (DE-588)4202453-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Nichtmonotones Schließen (DE-588)4210699-0 s Horn-Klausel (DE-588)4202453-5 s Algorithmus (DE-588)4001183-5 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007140335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Papakostas, Panagiotis Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken Nichtmonotones Schließen (DE-588)4210699-0 gnd Algorithmus (DE-588)4001183-5 gnd Horn-Klausel (DE-588)4202453-5 gnd |
| subject_GND | (DE-588)4210699-0 (DE-588)4001183-5 (DE-588)4202453-5 (DE-588)4113937-9 |
| title | Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken |
| title_auth | Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken |
| title_exact_search | Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken |
| title_full | Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken vorgelegt von Panagiotis Papakostas |
| title_fullStr | Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken vorgelegt von Panagiotis Papakostas |
| title_full_unstemmed | Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken vorgelegt von Panagiotis Papakostas |
| title_short | Graphikbasierte Beweisverfahren für konditionale nichtmonotone Logiken |
| title_sort | graphikbasierte beweisverfahren fur konditionale nichtmonotone logiken |
| topic | Nichtmonotones Schließen (DE-588)4210699-0 gnd Algorithmus (DE-588)4001183-5 gnd Horn-Klausel (DE-588)4202453-5 gnd |
| topic_facet | Nichtmonotones Schließen Algorithmus Horn-Klausel Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007140335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT papakostaspanagiotis graphikbasiertebeweisverfahrenfurkonditionalenichtmonotonelogiken |