Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference

1. Introduction
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

2. Knowledge Representation Using Formal Logic
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

3. Quantifying and Managing Uncertainty
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

4. Representing Temporal Knowledge
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

5. Temporal Reasoning
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

6. Representing and Reasoning On Spatial Knowledge
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

7. Representing and Reasoning on Contextual Knowledge
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

8. Causal Reasoning
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

9. Extracting Logical Knowledge from Raw Data
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

10. Scalable Spatiotemporal Logical Knowledge Storage
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

11. Mining Patterns from Large Spatiotemporal Logical Knowledge Stores
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

12. Probabilistic Logic Networks
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

13. Temporal and Contextual Reasoning in PLN
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

14. Inferring the Causes of Observed Changes
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

15. Adaptive Inference Control
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

16. Conclusion
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janicic, Cassio Pennachin

Keywords: Computer Science, Computer Science, general, Management of Computing and Information Systems, Artificial Intelligence (incl. Robotics)