孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

动态认知逻辑专题研究（英文版）

动态认知逻辑专题研究（英文版）
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: 著
出版社: 中山大学出版社
2010-03
版次: 1
ISBN: 9787306036032
定价: 46.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 367页
字数: 496千字
正文语种: 英语
分类: 哲学心理学
1 张插图图片
7人买过
  • DynamicEpistemicLogicisthelogicofknowledge，actionsandtheinterrelationofthem.Thisisnotaboutonelogic,butaboutawholefamilyoflogicsthatallowsustospecifystaticanddynamicaspectsofrationalagentsystems.Thebookprovidesvariouslogicstosupportsuchformalspecifications. Chapter1Foundations
    1EpistemicLogic
    2DynamicLogicPDL
    3DynamicLogicPDL~0andOneGeneralizationofIt
    4DynamicEpistemicLogic

    Chapter2DoanAction
    1LogicsforHavingDoneanAction(1)
    2LogicsforHavingDoneanAction(2)
    3LogicsforIntendingtoDoanAction
    4LogicsforBeingDoinganAction
    Appendix1ALogicforTransferringaStatebyResultantForce
    Appendix2ALogicforAchievinganIntentionbyDoinganAction..

    Chapter3KnowanAction
    1Self-substitutionSystems.
    2SomeVersionsofSelf-substitutionSystems
    3MinimalSystemsandBounded-valuationMethod
    4Semi-infinitaryProofSystems
    5FixedPointSystems
    6SystemsContainingDotorDga
    AppendixWhatIsanEpistemicAction

    Chapter4CognizeanAgent
    1DynamicEpistemicLogicsforKnowinganAgent
    2EpistemicLogicsforKnowinganAgent
    3AnAuto-epistemicLogicforKnowinganAgent
    4ADynamicDoxasticLogicforBelievinganAgent

    Chapter5CognizeaConcept
    1KnowaModalityConcept
    2CognizeaCognitiveConcept
    3CognizeaGeneralModalConcept

    Chapter6KnowanIndividualandKnowaRelation
    1KnowanIndividual
    2KnowaRelation
    AppendixAFirst-orderEpistemicLogic

    Chapter7DynamicNegation
    1CharacterizationbyAbbreviations
    2CharacterizationbyBinaryRelations
    3CharacterizationbyTernaryRelation
    AppendixAActionisNegatedbyAnotherAction

    Chapter8DynamicConditionalLogies
    1ConditionalLogicsfor
    2ConditionalLogicsfor
    3ConditionalLogicsfor

    Chapter9UpdateSemanticsforEpistemicSystems
    1GeneralUpdateSemantics
    2DegenerateFrameSemantics
    3PointRelationFrameSemantics
    4SetRelationFrameSemantics
    5TransformationFunctionFrameSemantics
    6Selection-classFunctionFrameSemantics
    7NeighborhoodFunctionFrameSemantics
    8DynamicFrameSemantics
    Bibliography
    后记
  • 内容简介:
    DynamicEpistemicLogicisthelogicofknowledge，actionsandtheinterrelationofthem.Thisisnotaboutonelogic,butaboutawholefamilyoflogicsthatallowsustospecifystaticanddynamicaspectsofrationalagentsystems.Thebookprovidesvariouslogicstosupportsuchformalspecifications.
  • 目录:
    Chapter1Foundations
    1EpistemicLogic
    2DynamicLogicPDL
    3DynamicLogicPDL~0andOneGeneralizationofIt
    4DynamicEpistemicLogic

    Chapter2DoanAction
    1LogicsforHavingDoneanAction(1)
    2LogicsforHavingDoneanAction(2)
    3LogicsforIntendingtoDoanAction
    4LogicsforBeingDoinganAction
    Appendix1ALogicforTransferringaStatebyResultantForce
    Appendix2ALogicforAchievinganIntentionbyDoinganAction..

    Chapter3KnowanAction
    1Self-substitutionSystems.
    2SomeVersionsofSelf-substitutionSystems
    3MinimalSystemsandBounded-valuationMethod
    4Semi-infinitaryProofSystems
    5FixedPointSystems
    6SystemsContainingDotorDga
    AppendixWhatIsanEpistemicAction

    Chapter4CognizeanAgent
    1DynamicEpistemicLogicsforKnowinganAgent
    2EpistemicLogicsforKnowinganAgent
    3AnAuto-epistemicLogicforKnowinganAgent
    4ADynamicDoxasticLogicforBelievinganAgent

    Chapter5CognizeaConcept
    1KnowaModalityConcept
    2CognizeaCognitiveConcept
    3CognizeaGeneralModalConcept

    Chapter6KnowanIndividualandKnowaRelation
    1KnowanIndividual
    2KnowaRelation
    AppendixAFirst-orderEpistemicLogic

    Chapter7DynamicNegation
    1CharacterizationbyAbbreviations
    2CharacterizationbyBinaryRelations
    3CharacterizationbyTernaryRelation
    AppendixAActionisNegatedbyAnotherAction

    Chapter8DynamicConditionalLogies
    1ConditionalLogicsfor
    2ConditionalLogicsfor
    3ConditionalLogicsfor

    Chapter9UpdateSemanticsforEpistemicSystems
    1GeneralUpdateSemantics
    2DegenerateFrameSemantics
    3PointRelationFrameSemantics
    4SetRelationFrameSemantics
    5TransformationFunctionFrameSemantics
    6Selection-classFunctionFrameSemantics
    7NeighborhoodFunctionFrameSemantics
    8DynamicFrameSemantics
    Bibliography
    后记
查看详情
相关分类
哲学理论 世界哲学 中国哲学 思维科学 逻辑学(论理学) 伦理学(道德哲学) 美学 心理学 励志与成功
相关图书 / 更多
动态认知逻辑专题研究（英文版）
动态图形设计
王昭 编
￥14.39 起
动态认知逻辑专题研究（英文版）
动态公交
张革初
￥30.00 起
动态认知逻辑专题研究（英文版）
动态系统概率模型（第2版）
（美） Haym，Benaroya 著
￥100.00 起
动态认知逻辑专题研究（英文版）
动态心电图检查技术基础与临床
杨晓云
￥100.00 起
动态认知逻辑专题研究（英文版）
动态股权3轮驱动：从动态分配、动态布局到动态激励
黄治民
￥19.20 起
动态认知逻辑专题研究（英文版）
动态问题的商空间求解方法
齐平 著
￥21.25 起
动态认知逻辑专题研究（英文版）
动态商业战略
波士顿咨询公司亨德森研究所
￥24.00 起
动态认知逻辑专题研究（英文版）
动态技术外部性、创新竞争与国家的长期经济增长
刘毅群
￥30.00 起
动态认知逻辑专题研究（英文版）
动态的民族书写:广东乳源瑶族舞蹈研究
赵勇；邓雄华
￥41.58 起
动态认知逻辑专题研究（英文版）
动态随机一般均衡模型:理论与应用
邓贵川 著
￥56.07 起
动态认知逻辑专题研究（英文版）
动态发展、人口变化与膳食转变
联合国粮食及农业组织 编；谭茜园 译
￥30.32 起
动态认知逻辑专题研究（英文版）
动态水环境容量约束下的松花江流域部分污水处理厂削减量研究
曲茉莉 杜慧玲 于晓英
￥22.47 起
您可能感兴趣 / 更多
动态认知逻辑专题研究（英文版）
人工智能逻辑讲义/中山大学哲学精品教程
李小五 著
￥30.00 起
动态认知逻辑专题研究（英文版）
中国社会科学院文库·哲学宗教研究系列：哲学逻辑研究
李小五 著
￥35.00 起
动态认知逻辑专题研究（英文版）
现代逻辑学讲义（2册）
李小五 著
￥40.00 起
动态认知逻辑专题研究（英文版）
人工智能逻辑讲义
李小五 编
￥46.00 起
动态认知逻辑专题研究（英文版）
条件句逻辑
李小五
￥8.00 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全