Abstract
In principle, logical inference about propositions involving events embedded in time and space could be treated the same as any other kind of logical inference, but experience shows that this is not an optimal approach, mainly because such an approach leads to extreme inefficiencies of inference control. Thus, in this section and the following ones we will consider specific logical formalisms recently proposed for reasoning about time and space.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Atlantis Press
About this chapter
Cite this chapter
Goertzel, B., Geisweiller, N., Coelho, L., Janicic, P., Pennachin, C. (2011). Temporal Reasoning. In: Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference. Atlantis Thinking Machines, vol 1. Atlantis Press. https://doi.org/10.2991/978-94-91216-11-4_5
Download citation
DOI: https://doi.org/10.2991/978-94-91216-11-4_5
Published:
Publisher Name: Atlantis Press
Print ISBN: 978-94-91216-10-7
Online ISBN: 978-94-91216-11-4
eBook Packages: Computer ScienceComputer Science (R0)