首页> 中文期刊> 《计算机应用与软件》 >一个MC逻辑及其逻辑程序的语义

一个MC逻辑及其逻辑程序的语义

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

本文定义了一个多ｃｏｎｔｅｘｔ逻辑结构。ＭＣＯ在几个方面推广了传统的一阶逻辑：每个ｃｏｎｔｅｘｔ相关一个理论；Ｃｏｎｔｅｘｔ间存在ｏｕｔｅｒ关系；

著录项

来源
《计算机应用与软件》 |1998年第3期|1-8,19|共9页
作者
刘海燕;
展开▼
作者单位

国防科技大学计算机系;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
逻辑程序; MC逻辑; 语义; 人工智能;

相似文献

中文文献
外文文献
专利

1. 约束逻辑程序的一个新语义研究 [J] . 张永刚 ,孙吉贵 . 广西师范大学学报：自然科学版 . 2003,第A01期
2. 再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究 [J] . 刘富春 . 模糊系统与数学 . 2006,第2期
3. 简单单调约束逻辑程序的良基语义研究 [J] . 常万军 ,郭祖华 ,魏昆鹏 . 计算机工程与设计 . 2013,第006期
4. Datalog逻辑程序调用语义及其应用研究 [J] . 钟勇 ,郭伟刚 ,钟昌乐 . 计算机科学 . 2010,第001期
5. 动态模糊逻辑程序设计语言的指称语义 [J] . 韩小芬 ,李凡长 . 计算机科学 . 2009,第001期
6. 逻辑程序语义的一个扩充 [C] . 蒲智男 . PROLOG语言学术讨论会 . -1
7. 逻辑程序的语义和强等价逻辑程序研究 [A] . 陈寅 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号