Zoekopdracht:
faculteit: "FNWI" en publicatiejaar: "2004"
| Auteur | Ji Ruan | | Titel | Exploring the Update Universe |
| Jaar | 2004 |
| Faculteit | Faculteit der Natuurwetenschappen, Wiskunde en Informatica |
| Instituut/afd. | FNWI/FGw: Institute for Logic, Language and Computation (ILLC) |
| Serie | ILLC Master of Logic Theses / ILLC ; MoL-2004-08 |
| Samenvatting | Exploring the Update Universe
Ji Ruan
Abstract:
In this thesis, the author shows how BMS framework models the cases of
message passing. He studies the sufficient and necessary conditions
for two action models to have the same update effects, and proposes a
structural relation between action models, named action emulation, to
capture the same update effects for the propositional case. Finally,
the author discusses the problem of update evolution and shows a
sufficient condition for the stabilization of update evolution. |
| Soort document | Preprint |
| Download bestand | |
| Document finder |
|
Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/419902
Vraag/opmerking over dit recordMail aan een collega
Toevoegen aan bewaarset
|