SPASS-XDB
Automated Reasoning with World Knowledge

Introduction

• Automated Theorem Proving - What is it?, What is it Good For?
• Motivation - Commonsense Reasoning
• Problem - Large Theories with (too) many axioms
• Solution - External Axioms

Design and Implementation

• System Design and Architecture
• SPASS-XDB Implementation
• External Sources

Testing and Application

• Testing
• SporcleAI
• New External Sources

Conclusion

The End - Any Questions?