Gruntowanie modalnego języka komunikacji w systemach agentowych
autor : Radosław Piotr Katarzyniak
format : B5
objętość : 322 str.
ISBN 978-83-60434-30-7
|
Gruntowanie modalnego języka komunikacji w systemach agentowych autor : Radosław Piotr Katarzyniak format : B5 ISBN 978-83-60434-30-7 |
Problem gruntowania symboli języka od około 20 lat zaliczany jest do podstawowych problemów sztucznej inteligencji i kognitywistyki. Gruntowanie symboli rozumie się jako działanie tych procesów poznawczych, które odpowiadają za ustalanie i utrzymywanie związku pomiędzy znakami języka i odpowiadającymi im obiektami świata. Jedna z najbardziej powszechnych definicji gruntowania zakłada, iż jest ono realizowane przez trzy wyspecjalizowane podprocesy: ikonizację - przekształcanie sygnałów analogowych pochodzących od obiektów zewnętrznego świata w ich wewnętrzne analogowe ekwiwalenty; rozróżnianie - ustalanie, czy dwa wejścia przyjmowane przez sensory agenta pochodzą od identycznych, czy też różniących się od siebie obiektów; identyfikację - przypisywanie unikatowych nazw klasie analogicznych lub pod jakimś względem nierozróżnialnych wejść.
W monografii gruntowanie rozpatrywane jest dla konkretnej klasy programowych systemów agentowych i dotyczy przypadku modalnego języka komunikacji. Język ten zbudowane jest ze spójników negacji, koniunkcji, alternatywy wykluczającej, alternatywy zwykłej oraz modalnych operatorów możliwości, przekonań i wiedzy.
Książka przeznaczona jest dla studentów informatyki oraz pracowników naukowych zainteresowanych poszukiwaniem efektywnych rozwiązań jednego z najciekawszych problemów sztucznej inteligencji i kongitywistyki. Dostarczyć może także ciekawych inspiracji badawczych dla osób zajmujących się zastosowaniem logik modalnych w analizie i projektowaniu systemów agentowych.
Przedmowa
Część I. Gruntowanie modalnych formuł logicznych
1. Gruntowanie symboli języka
1.1. Wprowadzenie
1.2. Trójkąt semiotyczny modele mentalne
1.3. Dwupoziomowość bazy wiedzy agenta
1.4. Komplementarność modeli mentalnych
1.5. Relacja epistemicznego spełnienia formuły
1.6. Związek modelu gruntowania z modelami umysłu
1.7. Podsumowanie
2. Świat, baza wiedzy i modalny język agenta
2.1. Wprowadzenie
2.2. Model świata
2.3. Baza wiedzy agenta
2.4. Wiedza agenta i faktyczny stan świata
2.5. Społeczny wymiar wiedzy agenta
2.6. Syntaktyka modalnego języka komunikacji
2.7. Intuicyjna semantyka modalnego języka komunikacji
2.8. Podsumowanie
3. Gruntowanie modalności prostych
3.1. Wprowadzenie
3.2. Mentalne modele formuł atomowych
3.3. Moc indukcyjna i progi modalności
3.4. Epistemiczna relacja spełnienia modalności prostych
3.5. Własności gruntowania modalności prostych
3.6. Podsumowanie
4. Gruntowanie koniunkcji modalnych
4.1. Wprowadzenie
4.2. Mentalne modele koniunkcji
4.3. Moc indukcyjna doświadczeń empirycznych
4.4. Epistemiczna relacja spełnienia koniunkcji
4.5. Własności gruntowania koniunkcji modalnych
4.6. Podsumowanie
5. Gruntowanie alternatyw modalnych
5.1. Wprowadzenie
5.2. Mentalne modele alternatywy zwykłej i wykluczającej
5.3. Mmoc indukcyjna i miara skupienia zbiorów gruntujących alternatywy
5.4. Epistemiczna relacja spełnienia alternatyw modalnych
5.5. Własności gruntowania alterantyw modalnych
5.6. Podsumowanie
Część II. Gruntowanie i modele BDI
6. Postawy propozycjonalne w intencjonalnych modelach wiedzy i zachowań
6.1. Wprowadzenie
6.2. Intencjonalny model wiedzy i zachowań
6.3. Antropomorfizacja agenta
6.4. Epistemiczne i autoepistemiczne zrelatywizowanie postaw propozycjonalnych
6.5. Podsumowanie
7. Cykl działań podmiotowych i postawy propozycjjonalne w modelach BDI
7.1. Wprowadzenie
7.2. Cykl działań podmiotowych agenta BDI
7.3. Syntaktyka postaw propozycjonalnych w modelach BDI
7.4. Formalna semantyka operatorów epistemicznych w modelach BDI
7.5. Podsumowanie
8. Światy możliwe i struktury Kripkego w modelach BDI
8.1. Wprowadzenie
8.2. Świat możliwy jako model rzeczywistego stanu rzeczy
8.3. Sens struktury Kripkego
8.4. Prywatność światów możliwych i struktur Kripkego
8.5. Struktury Kripkego w modelach BDI
8.6. Podsumowanie
9. Światy możliwe i semantyka spójnika alternatywy w modelach BDI
9.1. Wprowadzenie
9.2. Funkcja struktury modelowej w klasycznej definicji spełnienia alternatyw
9.3. Klasyczna definicja spełnienia alternatywy modalnej
9.4. Pragmatyczna reguła użycia spójnika alternatywy zwykłej
9.5. Pojęcie prawdy w klasycznej definicji spełnienia alternatywy zwykłej
9.6. Podsumowanie
10. Gruntowanie i generowani światów możliwych. Informacyjność formuł
10.1. Wprowadzenie
10.2. Światy możliwe w agencji
10.3. Światy możliwe i znaczenie alternatyw modalnych
10.4. Enkapsulowana informacja formuł logicznych
10.5. Podsumowanie
Część III. Gruntowanie i semantyczny model komunikacji
11. Semantyczny model komunikacji
11.1. Wprowadzenie
11.2. Illokucyjne funkcje języka
11.3. Ontologie w semantycznym modelu komunikacji
11.4. Gruntowanie semantycznego języka komunikacji
11.5. Podsumowanie
12. Gruntowanie odpowiedzi modalnych w stanie niekompletnej wiedzy agenta
12.1. Wprowadzenie
12.2. Bezkontekstowa strategia gruntowania odpowiedzi
12.3. Kontekstowa strategia gruntowania odpowiedzi
12.4. Uproszczony model epistemicznego spełnienia odpowiedzi
12.5. Przykłady obliczeniowe
12.6. Podsumowanie
13. Gruntowanie zdań modalnych w dialogowym systemie wspomagania decyzji
13.1. Wprowadzenie
13.2. Tworzenie repozytorium profili bazowych
13.3. Język odpowiedzi systemu
13.4. Wybór odpowiedzi systemu
13.5. Modyfikacje procedury wyboru odpowiedzi
13.6. Podsumowanie
Zakończenie
Bibliografia
Słownik oznaczeń i terminów