N. Papadakis, P. Kefalas, and A. Delidakis (Greece)
Distributed Artificial Intelligence, Intelligence Systems
Logic in computer science describes topics where reasoning models are applied to the representation of knowledge and artificial intelligence. The use of distributed systems in solving logic problems is an intriguing but also challenging topic and algorithms of pruning network queries result in optimization of 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.
Important Links:
Go Back
