Tiểu Luận Chứng minh một số luật trong lập luận theo xác suất khoảng

Mục lục

1. Giới thiệu lập luận theo xác suất 1

1.1. Giới thiệu 1

1.2. Hướng tiếp cận không gian xác suất của Nilsson 1

1.3. Hướng tiếp cận logic xác suất của Subrahmanian 2

2. Một mô hình không gian xác suất cho lập luận theo xác suất 2

2.1. Thế giới có thể có (possible worlds) 2

2.2. Xác suất mệnh đề dựa trên các thế giới có thể có 3

2.3. Lập luận theo xác suất đơn trị - hướng tiếp cận không gian xác suất của Nilsson 3

2.4. Lập luận theo xác suất khoảng – hướng tiếp cận không gian xác suất của Nilsson 5

3. Chứng minh một số luật trong lập luận theo xác suất khoảng 6

3.1. Luật 1 6

3.2. Luật 2 8

3.3. Luật 3 9

3.4. Luật 4 11

Tài liệu tham khảo 14