不如乐死去
发表于 2025-3-30 09:53:16
http://reply.papertrans.cn/83/8224/822313/822313_51.png
byline
发表于 2025-3-30 14:39:57
https://doi.org/10.2991/978-94-91216-11-4Artificial Intelligence; Knowledge bases; Logic
潜移默化
发表于 2025-3-30 20:05:58
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal,Contextual and Causal Inference978-94-91216-11-4Series ISSN 1877-3273 Series E-ISSN 1877-3281
无情
发表于 2025-3-30 22:57:18
Knowledge Representation Using Formal Logiccontextual knowledge, wemust discuss representation of temporal knowledge (as well as, to a certain extent, spatialknowledge) . . . and before that, we must address knowledge representation in general.
无所不知
发表于 2025-3-31 04:38:33
Temporal Reasoningnference, but experienceshows that this is not an optimal approach, mainly because such an approach leads toextreme inefficiencies of inference control. Thus, in this section and the following ones wewill consider specific logical formalisms recently proposed for reasoning about time andspace.