An Inference Mechanism for Point-Interval Logic

We present a new inference algorithm for Point-Interval Logic. The mechanism removes the incompleteness of previously reported inference mechanism for PointInterval Logic. We also show how this inference mechanism can be used to prune the search space for an instance in Generalized Point-Interval Logic.

• Type: Conference
• Year: 2008
• Where: FLAIRS
• Authors: Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi
• Keywords: Artificial Intelligence, FLAIRS 2008, Inference Mechanism, Point-Interval Logic, PointInterval Logic