Distributed agent-based automated theorem proving in order-sorted first-order logic

Dohan Kim

This paper presents a distributed agent-based automated theorem proving framework based on order-sorted first-order logic. Each agent in our framework has its own knowledge base, c…