AN APPROACH OF A LOGIC RESOLVER IN A DISTRIBUTED PEER-TO-PEER SYSTEM

摘要

Logic in computer science describes topics where logic is applied to the representation of knowledge and artificial intelligence, including digital circuit design, database systems, inference systems and more. The use of distributed systems, in solving logic problems, is an interesting and challenging topic in computer science, where algorithms of pruning network queries result in speeding up the resolution process. The current study suggests an implemented tool of a distributed peer-to-peer reasoning model, where local reasoning rules, with incomplete facts, are evaluated. This is achieved by sending queries of the needed facts to peers, using a protocol that relieves the network from unnecessary queries and queries that linger and circle around.