ksiegarnia-fachowa.pl
wprowadź własne kryteria wyszukiwania książek: (jak szukać?)
Twój koszyk:   0 zł   zamówienie wysyłkowe >>>
Strona główna > opis książki

OD LOGIKI KLASYCZNEJ DO NIEMONOTONICZNEJ


MARKINSON D.

wydawnictwo: WYD UMK , rok wydania 2008, wydanie I

cena netto: 32.00 Twoja cena  30,40 zł + 5% vat - dodaj do koszyka

Niniejsza książka jest przeznaczona dla wszystkich, którzy słyszeli o logice niemonotonicznej i chcieliby posiąść obszerniejszą wiedzę na jej temat. W szczególności chcieliby więc poznać odpowiedzi na następujące pytania: jakie są jej wiodące idee, w jaki sposób różni się ona od logiki klasycznej, jaki jest jej związek z problemem prawdopodobieństwa? Stawiając sprawę bardziej ogólnie: jak logika niemonotoniczna działa i jak można ją stosować? Oto pytania, na które spróbujemy odpowiedzieć tak jasno, jak to możliwe, nie przeciążając tekstu szczegółami technicznymi, ale również nie pozostając wyłącznie na poziomie nieformalnym, pozbawionym detali.
Praca ta została napisana dla studentów, nauczycieli prowadzących zajęcia, ale również dla samouków. Czytelnik-samouk spotka się jednak ze szczególnie trudnym zadaniem, gdyż zabraknie mu możliwości konsultacji. Kierując się sympatią, spróbujemy mu jednak możliwie pomóc poprzez wyczerpujące wyjaśnianie wszystkich istotnych kwestii, omawianie pewnych kwestii dla lepszego ich zrozumienia na kilka sposobów, podsumowywanie każdego rozdziału, i wreszcie proponując ćwiczenia oraz rozwiązania niektórych z nich. Zabiegi te będą oczywiście użyteczne dla wszystkich czytelników, jednak zwłaszcza dla tych, którzy uczą się samodzielnie


Professor David Clement Makinson is currently Visiting Professor in the Department of Philosophy, Logic and Scientific Method, London School of Economics (LSE). He has been a Senior Research Fellow in the Department of Computer Science, King's College London, Chairman of the Department in the American University of Beirut, Lebanon, and Programme Specialist with Unesco.

His field of research is Logic and its relations with other disciplines, particularly philosophy and computer science. His most recent research has been on:
* Uncertain reasoning: qualitative and quantitative and their interconnections
* Parallel interpolation and its implications
* Relevance criteria for belief change operations
* Input/output logics, logics of directives and norms
* The concept of logical friendliness


Spis treści:

 

Uwagi tłumacza
Przedmowa do wydania polskiego
Przedmowa do wydania angielskiego


Rozdział 1. Podstawy logiki niemonotonicznej/ l
Wszyscy wnioskujemy niemonotonicznie /l
Konsekwencja klasyczna i jej własności /3
Nieporozumienia oraz złe przyzwyczajenia /11
Trzy sposoby zwiększania liczby konkluzji /19
Powtórzenie materiału i dalsze poszukiwania /20


Rozdział 2. Zastosowanie dodatkowych założeń ukrytych w tle /23
Od konsekwencji klasycznej do założeń osiowych /23
Od założeń osiowych do założeń domyślnych /30
Uszczegółowienia, warianty i uogólnienia /41
Powtórzenie materiału i dalsze poszukiwania /59


Rozdział 3. Ograniczenie zbioru wartościowań/ 61
Od konsekwencji klasycznej do wartościowań osiowych /61
Od wartościowań osiowych do wartościowań domyślnych/ 69
Konkretyzacje i uogólnienia /75
Powtórzenie materiału i dalsze poszukiwania / 85


Rozdział 4. Zastosowanie dodatkowych reguł /87
Od konsekwencji klasycznej do reguł osiowych / 87
Od reguł osiowych do reguł domyślnych /95
Uogólnienia i warianty /101
Powtórzenie materiału i dalsze poszukiwania /111


Rozdział 5. Związki pomiędzy inferencją niemonotoniczną i probabilistyczną /114
Prawdopodobieństwo: podstawowe pojęcia i aksjomaty /115
Probabilistyczne charakterystyki konsekwencji klasycznej /125
Nadklasyczne probabilistyczne relacje konsekwencji /130
Próby zbliżenia inferencji probabilistycznej i jakościowej /134
Powtórzenie materiału i dalsze poszukiwania /141


Rozdział 6. Krótkie porównanie /143
Związki z logiką zmiany przekonań /143
Związki z logiką aktualizacji przekonań oraz logikami kontrfaktycznych i dyrektywalnych okresów warunkowych /150
Wybrane twierdzenia o reprezentacji dla relacji konsekwencji /157
Powtórzenie materiału i dalsze poszukiwania /166


Dodatki /169
A. Dowód twierdzenia 4.12 /169
B. Objaśnienie symboli specjalnych /172
Odpowiedzi do wybranych ćwiczeń/ 175
Bibliografia /198
Skorowidz /207


212 stron, oprawa miękka

Po otrzymaniu zamówienia poinformujemy,
czy wybrany tytuł polskojęzyczny lub anglojęzyczny jest aktualnie na półce księgarni.

 
Wszelkie prawa zastrzeżone PROPRESS sp. z o.o. 2012-2024