切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
关于主体的知识推理性质的逻辑
关于主体的知识推理性质的逻辑
来源 :1999年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:jeans
【摘 要】
:
该文建立了一个逻辑模型,不仅能刻画多主体的知识推理而且能同时刻画特定主体的知识推理性质。
【作 者】
:
苏开乐
【机 构】
:
大学科学院
【出 处】
:
1999年全国理论计算机科学学术年会
【发表日期】
:
1999年期
【关键词】
:
知识推理
特定主体
逻辑模型
多主体
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文建立了一个逻辑模型,不仅能刻画多主体的知识推理而且能同时刻画特定主体的知识推理性质。
其他文献
客观非理性与复杂系统的多逻辑理论
会议
客观非理性
复杂系统
CMOS电流多值乘法器值数优化
会议
电流
乘法器
萝卜酯酶同工酶酶带的聚类分析与其亲缘关系的研究
会议
萝卜
酯酶同工酶
酶带
聚类分析
夏秋萝卜抗TUMV种质资源筛选的研究
1977—1986年,收集国内外夏秋萝卜品种89年以中秋红、醉仙桃、徐州大红袍、穿心红等品种自交获得180份自交系。通过田间自然鉴定和室内接种Tumv(TurnipMosaicVirus)鉴定,从269份
会议
秋萝卜
材料
田间自然鉴定
室内接种
品种自交
萝卜品种
自交系
分离物
大红袍
徐州
仙桃
收集
筛选
秋红
耐病
免疫
江苏
国内
中国萝卜遗传资源
会议
中国
萝卜
萝卜螺感染东毕血吸虫等幼虫期的组织学和组织化研究
会议
萝卜螺
感染
血吸虫
幼虫期
组织学
80386 PROLOG系统及其程序设计技术
会议
系统
逻辑程序设计中的自动校错技术
会议
逻辑程序设计
Hoare逻辑中相对完备性的一个较弱充分条件
会议
逻辑
相对完备性
试论医学体系的逻辑发展
会议
医学体系
其他学术论文