DeepAI AI Chat
Log In Sign Up

A Temporal Logic for Uncertain Events and An Outline of A Possible Implementation in An Extension of PROLOG

by   Soumitra Dutta, et al.

There is uncertainty associated with the occurrence of many events in real life. In this paper we develop a temporal logic to deal with such uncertain events and outline a possible implementation in an extension of PROLOG. Events are represented as fuzzy sets with the membership function giving the possibility of occurrence of the event in a given interval of time. The developed temporal logic is simple but powerful. It can determine effectively the various temporal relations between uncertain events or their combinations. PROLOG provides a uniform substrate on which to effectively implement such a temporal logic for uncertain events


page 1

page 2

page 3

page 4

page 5

page 6

page 7

page 8


Interval Logic Tensor Networks

In this paper, we introduce Interval Real Logic (IRL), a two-sorted logi...

A Temporal Type-2 Fuzzy System for Time-dependent Explainable Artificial Intelligence

Explainable Artificial Intelligence (XAI) is a paradigm that delivers tr...

Exploiting Uncertain and Temporal Information in Correlation

A modelling language is described which is suitable for the correlation ...

A Model for Reasoning with Uncertain Rules in Event Composition Systems

In recent years, there has been an increased need for the use of active ...

Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic

This paper presents an implemented system for recognizing the occurrence...

Learning Temporal Rules from Noisy Timeseries Data

Events across a timeline are a common data representation, seen in diffe...

Data description and retrieval using periods represented by uncertain time intervals

Time periods are frequently used to specify time in metadata and retriev...