找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Methodologies for Intelligent Systems; 6th International Sy Z. W. Ras,M. Zemankova Conference proceedings 1991 Springer-Verlag Berlin Heide

[复制链接]
楼主: MAXIM
发表于 2025-3-30 11:37:29 | 显示全部楼层
发表于 2025-3-30 15:01:41 | 显示全部楼层
发表于 2025-3-30 19:30:25 | 显示全部楼层
Combining knowledge bases consisting of first order theories, into a knowledge base. Then the process of . the knowledge of these different experts is an important and non-trivial problem. We study this problem here when the expert systems are considered to be first order theories. We present techniques for resolving inconsistencies in such knowledge bases. W
发表于 2025-3-30 23:06:28 | 显示全部楼层
发表于 2025-3-31 02:03:39 | 显示全部楼层
发表于 2025-3-31 06:28:07 | 显示全部楼层
发表于 2025-3-31 10:39:17 | 显示全部楼层
Efficient evaluation of linear recursions with function symbols in deductive databases,uation technique. A functional linear recursion is transformed to a function-free one by a function-predicate transformation. It is then compiled to a highly regular chain/bounded form which can be evaluated efficiently by the incorporation of finiteness, monotonicity and query constraints. Compilat
发表于 2025-3-31 15:05:17 | 显示全部楼层
Synthesizing efficient agents from partial programs,programs involves theorem proving, which can be computationally intractable. This paper presents an algorithm for generating efficient implementations of agent behavior from a subclass of partial programs. The algorithm employs a completion strategy that systematically reduces the number of previous
发表于 2025-3-31 19:55:01 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-5 21:59
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表