What question did this study set out to answer?

The research aims to define and implement a first order logic framework for uncertain temporal reasoning.

synapse

⌘+K

synapse

⌘+K

March 6, 2026Open Access

A formally specified and implemented first order temporal logic

Key Points

The research aims to define and implement a first order logic framework for uncertain temporal reasoning.
Defined the syntax and semantics of first order logic.
Axiomatized the logic for formal reasoning.
Implemented the logic using constraint logic programming.
The implementation is effective for representing qualitative and quantitative temporal information.
The formal specification supports real-world temporal problem-solving.

Abstract

A first order logic is formally defined and implemented. It is suitable for representing and reasoning about uncertain temporal domains. The logic can represent both interval and point based qualitative and quantitative information. The syntax, semantics, and axiomatization for the logic are provided. The constraint logic programming implementation of the logic is described. The implementation, along with its formal specification, is suitable for tackling real world temporal problems.

Read Full Paperexternally

Mark Helpful

Bookmark

Relay

View Full Paper

Cite This Study

Ehric KH Ho (Sat,) studied this question.

synapsesocial.com/papers/69aa7066531e4c4a9ff5a340 https://doi.org/https://doi.org/10.26108/swv6-6624