在Prolog上实现时态推理的几个问题

摘要

区间逻辑不能模拟自然语言中的“与”、“或”、“非”，间断区间可以克服这一弱点。本文给出了在Ｐｒｏｌｏｇ顶层扩展实现间断区间逻辑。