Autor: Radosław Piotr Katarzyniak

ISBN: 978-83-60434-30-7

Ilość stron: 320

Data wydania: 06/2007

Problem gruntowania symboli języka od około 20 lat zaliczany jest do podstawowych problemów sztucznej inteligencji i kognitywistyki. Grutnowanie 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ętrne 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 książce "Gruntowanie modalnego języka komunikacji w systemach agentowych" gruntowanie rozpatrywane jest dla konkretnej klasy programowych systemów agnetowych 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 infromatyki 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.

Rozdziały:

Część I. Grunotwanie 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 realcaj spełnienia modalności prostych
3.5. Własności grunotwania 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ó 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 imodele 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 wmodelach 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łauż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 agencjie
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