“合适行动”的一种逻辑刻画

发布时间：2017-06-27 12:05

  本文关键词：“合适行动”的一种逻辑刻画，由笔耕文化传播整理发布。

【摘要】："合适行动"是行动哲学和人工智能领域的一个重要概念,其基本元素包括"意图"、"能够"和"致使"。用邻域语义可以比较好地刻画意图、能够和致使及其相互间的形式关系,从而间接地刻画了合适行动。这种形式刻画不仅有助于分析意向行动,而且还能够分析意向行动的两种特殊形式:偶然成功行动和行动失败。
【作者单位】： 湖南师范大学公共管理学院;
【关键词】： 意向行动 合适行动 能动机制 邻域语义
【分类号】：B812.2
【正文快照】： 1引言 近年来,用多个模态算子对“意向行动”(intentional action)进行形式分析与刻画是一种新的趋向。目前主要有两种做法:一是基于动态语义,用“目标”、“信念”以及“尝试”等模态算子来刻画意向行动,如罗瑞利(E.Lorini)等人([13,14]);二是基于分枝时间语义,用“意图”、

  本文关键词：“合适行动”的一种逻辑刻画，，由笔耕文化传播整理发布。

本文编号：489707