animated 发表于 2025-3-28 15:25:49
http://reply.papertrans.cn/24/2351/235044/235044_41.pngSemblance 发表于 2025-3-28 22:31:27
http://reply.papertrans.cn/24/2351/235044/235044_42.png里程碑 发表于 2025-3-29 02:30:43
Contexts, canons and coreferent types, known all the time. To deal with the shear size and complexity of large knowledge bases like CYC, a reasoner must be able to limit its search to some context relevant to the immediate problem at hand..In the theory of conceptual graphs, Sowa has defined contexts as containers of graphs and canons aCongregate 发表于 2025-3-29 06:45:55
http://reply.papertrans.cn/24/2351/235044/235044_44.pngurethritis 发表于 2025-3-29 09:55:47
http://reply.papertrans.cn/24/2351/235044/235044_45.png闪光你我 发表于 2025-3-29 12:39:31
http://reply.papertrans.cn/24/2351/235044/235044_46.pngPRISE 发表于 2025-3-29 17:35:07
A conceptual and contextual object-oriented logic programming: The PROLOG++ language,s objet oriented, conceptual and contextual extensions. A Prolog++ “program” is composed of a declarative knowledge base and a distributed strategic knowledge base; the latter forms a network of objects that communicate by sending messages. A message corresponds to a goal described by a term or a CG揭穿真相 发表于 2025-3-29 19:50:34
http://reply.papertrans.cn/24/2351/235044/235044_48.pngARK 发表于 2025-3-30 03:10:57
http://reply.papertrans.cn/24/2351/235044/235044_49.pngLAIR 发表于 2025-3-30 05:13:30
https://doi.org/10.1007/3-540-58328-9Conceptual Graphs; Deductive Databases; Deduktive Datenbanken; Intelligent Information Systems; Knowledg