Aspects of Knowledge and Belief-Based Programming
Ph.D. Thesis
(Sprache: Englisch)
It has long been recognized that many distributed problems can be analyzed in terms of how agents act based on what they know about the system they are in. To make this intuition formal, Fagin, Halpern, Moses, and Vardi proposed a theory of programs for...
Leider schon ausverkauft
versandkostenfrei
Buch
79.00 €
Produktdetails
Produktinformationen zu „Aspects of Knowledge and Belief-Based Programming “
Klappentext zu „Aspects of Knowledge and Belief-Based Programming “
It has long been recognized that many distributed problems can be analyzed in terms of how agents act based on what they know about the system they are in. To make this intuition formal, Fagin, Halpern, Moses, and Vardi proposed a theory of programs for multi-agent systems in which preconditions of actions are formulas in a logic of knowledge. This dissertation aims at further investigating the role of knowledge-based programs in the study of distributed systems, with special focus on global function computation, automatic synthesis of knowledge-based programs and knowledge-based analysis of information flow requirements.
Bibliographische Angaben
- Autor: Sabina Petride
- 2010, 204 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 3838313674
- ISBN-13: 9783838313672
Sprache:
Englisch
Kommentar zu "Aspects of Knowledge and Belief-Based Programming"
0 Gebrauchte Artikel zu „Aspects of Knowledge and Belief-Based Programming“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Aspects of Knowledge and Belief-Based Programming".
Kommentar verfassen