倾向型心态的表示和推理-计算机应用专业论文.docx

年 中国 科 学技 术 大 学博 士 学位 论 文夕 九云乞乞，，，、、一一、，合，，，，，，，，，，，，，，一，，乞乞几，承 沈 试乞，认乞、一、一、一，，，、，第页沪年 中 国科 学技 术 大 学博 士 学位 论 文，、、韶 。扒劝，，，，飞，朗、、、七，第页丝匹生电国 科 学技 术 大 学博 士 学位 论 文日会「刁，，，，从世 纪年 代 起智 能 主 体的 研 究 不 仅 成 为 人。工 智 能 领 域 关 注 的 一 个 焦 点也 成 为 很 多相 关 科 学如 哲 学心 理 学逻，，辑 学经 济 学计 算 机 科 学 关 注 的 一 个 热 门话 题。，尤 其 在 计 算 机 领 域 内，，，，。对 主 体 研 究 将 推 动 诸 多 相 关 领 域 的 革 命 性 发 展如 程 序 设 计 风 格软 件，，，工 程人 机 交 互电 子 商 务万 维 网社 会 仿 真 和 智 能 控 制 等但 对 主 体，的 研 究 的 意 义 还 不 止 如 此，已 有 的 迹 象 表 明，。主 体 相 对 于 人多 主 体 系 统相 对 于 社 会，是 一 个 最 自然 的 比 喻，考 虑 到 人 工 智 能 长 远 目标 的 复 杂 性 和，重 要 性这 意 味 着主 体 一 词 可 能 会 同 数 学 中 的 整 数物 理 学 中 的 运 动 一年 中 国 科 学技 术 大 学 博 士 学位 论 文目录摘 要引 言第 章绪 论互理 性 主 体互主 体 如 何 理 性 行 动互模 型… …互基 本 出 发 点号心 理 状 态互本 文 的 工 作第 章背 景 知 识 及 相 关 工 作 互命 题 语 言互 模 态 逻 辑互 计 算 复 杂 性 … … 互 行 动 的 表 示 … … 亏 反 应 式 系 统 … … 互 人 工 智 能 规 划 … 互 决 策 论 … … 且 实 用 推 理 和 模 型互主 体 形 式 化互… …，几︸自‘，工 曰勺自口片了。︸︵ 脚︵年 中 国 科 学技 术 大 学博 士 学位 论 文兮小 结第 章主 体 框 架互框 架… …且主 体 规 范… …互主 体 形 式 化… …怪结 构 和 执 行 算 法…互讨 论… …、、…号主 体 模 型 刻 划…二互小 结第 章有 用 性 刻 划…互部 分 蕴 涵 语 义…互直 观 分 析，互部 分 蕴 涵 语 义… …互部 分 蕴 涵 性 质 分 析复 杂 性 分 析… …互正 相 关 和 联 合 满 足互正 相 关… …互联 合 满 足互刻 划 有 用 性互小 结… …第 章应 用互系 统… …一亏新 的主 体… …‘︸引，上二几互反 应 式规 划 主 体… …怪基 于 有 用 性 形 式 化 的主 体互小 结… …第 章总 结致 谢论 文 发 表 情 况年 中 国 科 学技 术 大 学博 士 学位 论 文第章绪 论号理 性 主 体，近 二 十 年 来主 体一 词 在 人 工 智 能 和 相 关 领 域 中 非 常 引。。，人 注 目科 学 美 国 人 把 智 能 软 件 主 体 技 术 排 在 了世 纪 的 最 核 心 的 几个 关 键 技 术 之 一一 些 和 主 体 有 关 的 概 念 也 应 运 而 生如 面 向 主 体的 编 程基 于 主 体 的 计 算，，基 于 主 体 地 软 件 工 程等。等，虽 然 在 学 术 界主 体 这 个 概 念 的 重 要 性 得 到 了 一 致 得 认 同但 关 于，。，主 体 这 个 概 念 的 定 义 却 并 没 有 完 全 达 成 一 致根 据于中。，给 出 的 定 义主 体七被 认 为 是 在 一 个 环 境 中 能 够 感 知 并 能 执 行。。行 动 影 响 环 境 的 一 个 实 体关 于 主 体 和 一 些 传 统 的 计 算 机 概 念如 程 序，，对 象的 区 别中有 较 为 详 尽 的 论 述在 人 工，智 能 界人 们 普 遍 关 注 的 主 体 指 的 是 自治 主 体七，一，。些 地 方 也 称 为 智 能 主 体或 理 性 主 体昭，和 其 他 的 主 体 相 比自治 主 体 具 有 以 下 一 些 特 征一自治 性人 们 或 者 其 他 主 体 并 不 能 够 直 接 介 入 主 体 的 操 作。或 者 对 主 体 的 行 为 和 内 部 状 态 进 行 控 制第页年 中 国 科 学技 术 大 学博 士 学位 论 文一，社 会 能 力主 体 会 通 过 某 种 主 体 间 的 通 信 语 言 和 其 他 的。一 些 实 体包 括 人 们 或 者 另 外 的 主 体进 行 交 互结 合 上 一 点我 们，可 以认