Titlebook: Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal,Contextual and Causal Inference; Ben Goertzel,Nil Geisweiller,Cassio Penna

不如乐死去

byline

https://doi.org/10.2991/978-94-91216-11-4Artificial Intelligence; Knowledge bases; Logic

潜移默化

Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal,Contextual and Causal Inference978-94-91216-11-4Series ISSN 1877-3273 Series E-ISSN 1877-3281

无情

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.

无所不知

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.