Abstract: | This MSc thesis proposes a temporal logic to represent knowledge about seasonal cycles in ecosystems. The logic is mainly based on what we call modular temporal classes, and a simple temporal logic interpreter system is also defined and implemented to reason with ecological sentences expressed in a temporal language we call NatureTime.
The NatureTime system was tested with some ecological examples from the Indigenous Knowledge project. This project concerns with the construction of a knowledge based toolkit to represent and reason with ecological and agroforestry knowledge in developing countries. This thesis shows how useful can be a temporal reasoner system like the NatureTime, to be integrated in the Indigenous Knowledge project for making predictions, and detecting temporal conflicts.
|