Logical dynamics of information and interaction

"This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and commu...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Benthem, J. F. A. K. van, 1949-
Tác giả của công ty: ebrary, Inc
Định dạng: Điện tử eBook
Ngôn ngữ:Tiếng Anh
Được phát hành: Cambridge ; New York : Cambridge University Press, 2011.
Những chủ đề:
Truy cập trực tuyến:An electronic book accessible through the World Wide Web; click to view
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Mục lục:
  • Machine generated contents note: Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic logic; 5. Dynamics of inference and awareness; 6. Questions and issue management; 7. Soft information, correction, and belief change; 8. An encounter with probability; 9. Preference statics and dynamics; 10. Decisions, actions, and games; 11. Processes over time; 12. Epistemic group structure and collective agency; 13. Logical dynamics in philosophy; 14. Computation as conversation; 15. Rational dynamics in game theory; 16. Meeting cognitive realities; 17. Conclusion; Bibliography.