《动态认知逻辑专题研究 英文版》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:李小五编著
  • 出 版 社:广州:中山大学出版社
  • 出版年份:2010
  • ISBN:9787306036032
  • 页数:367 页
图书介绍:本书通常的动态认知逻辑只研究智能主体对命题的认知,涉及活动与后果之间的关系,本书建立一系列逻辑,把认知对象推广到其他领域。

Chapter 1 Foundations 1

1 Epistemic Logic 2

2 Dynamic Logic PDL 10

3 Dynamic Logic PDLω and One Generalization of It 24

4 Dynamic Epistemic Logic 46

Chapter 2 Do an Action 49

1 Logics for Having Done an Action(Ⅰ) 50

2 Logics for Having Done an Action(Ⅱ) 64

3 Logics for Intending to Do an Action 76

4 Logics for Being Doing an Action 92

Appendix 1 A Logic for Transferring a State by Resultant Force 101

Appendix 2 A Logic for Achieving an Intention by Doing an Action 105

Chapter 3 Know an Action 108

1 Self-substitution Systems 109

2 Some Versions of Self-substitution Systems 135

3 Minimal Systems and Bounded-valuation Method 142

4 Semi-infinitary Proof Systems 147

5 Fixed Point Systems 149

6 Systems Containing Dα or Dgα 154

Appendix What Is an Epistemic Action 158

Chapter 4 Cognize an Agent 163

1 Dynamic Epistemic Logics for Knowing an Agent 164

2 Epistemic Logics for Knowing an Agent 170

3 An Auto-epistemic Logic for Knowing an Agent 179

4 A Dynamic Doxastic Logic for Believing an Agent 182

Chapter 5 Cognize a Concept 186

1 Know a Modality Concept 187

2 Cognize a Cognitive Concept 191

3 Cognize a General Modal Concept 199

Chapter 6 Know an Individual and Know a Relation 203

1 Know an Individual 204

2 Know a Relation 212

Appendix A First-order Epistemic Logic 218

Chapter 7 Dynamic Negation 225

1 Characterization by Abbreviations 226

2 Characterization by Binary Relations 237

3 Characterization by Ternary Relation 243

Appendix An Action is Negated by Another Action 246

Chapter 8 Dynamic Conditional Logics 251

1 Conditional Logics for ?>ψ 252

2 Conditional Logics for ?>αψ 255

3 Conditional Logics for α>β 267

Chapter 9 Update Semantics for Epistemic Systems 274

1 General Update Semantics 275

2 Degenerate Frame Semantics 282

3 Point Relation Frame Semantics 299

4 Set Relation Frame Semantics 321

5 Transformation Function Frame Semantics 327

6 Selection-class Function Frame Semantics 333

7 Neighborhood Function Frame Semantics 339

8 Dynamic Frame Semantics 344

Bibliography 363

后记 367