Parallel Temporal Resolution

Share Embed


Descripción

Temporal reasoning is complex. Typically, the proof methods used for temporal logics are both slow and, due to the quantity of information re- quired, consume a large amount of space. The introduction of parallelism provides the poten- tial for significant speedups together with the in- creased memory size required to handle larger proofs. Thus, we see the effective utilisation of parallelism as being crucial in making temporal theorem-proving practical. In this paper we investigate and analyse oppor- tunities for parallelism within a clausal resolu- tion method for temporal logics. We show how parallelism might be introduced into the method in a variety of ways, providing a range of op- tions for the parallel implementation of proof procedures for this important class of logics.
Lihat lebih banyak...

Comentarios

Copyright © 2017 DATOSPDF Inc.