Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning
Andrew Shilliday, Joshua Taylor, Micah H. Clark, Selmer Bringsjord · Frontiers in artificial intelligence and applications · 2010
We describe provability-based semantic interoperability (PBSI), a framework transcending syntactic translation that enables robust, meaningful, knowledge exchange across diverse information systems. PBSI is achieved through translation graphs that capture complex ontological relationships, and through provability-based queries. We work through an example of automating an unmanned aerial vehicle by reasoning over information from a number of sources.