Simple Interval Temporal Logic for Natural Language Assertion Descriptions
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Interval Signal Temporal Logic from Natural Inclusion Functions
We propose an interval extension of Signal Temporal Logic (STL) called Interval Signal Temporal Logic (\ISTL). Given an STL formula, we consider an interval inclusion function for each of its predicates. Then, we use min…
T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
Large language models excel at generating fluent text but frequently struggle with structured reasoning involving temporal constraints, causal relationships, and probabilistic reasoning. To address these limitations, we …
Causal InferenceDecision MakingRAGRetrieval-augmented GenerationLanguage-free Training for Zero-shot Video Grounding
Given an untrimmed video and a language query depicting a specific temporal moment in the video, video grounding aims to localize the time interval by understanding the text and video simultaneously. One of the most chal…
Video GroundingIA-RAG: Interval-Algebra-Driven Temporal Reasoning for Dynamic Knowledge Retrieval
Retrieval-Augmented Generation (RAG) has shown strong effectiveness in grounding Large Language Models (LLMs) with external knowledge. However, existing RAG and Graph RAG frameworks largely treat knowledge as static or a…
Semantic RetrievalQuestion AnsweringA Temporal Logic for Uncertain Events and An Outline of A Possible Implementation in An Extension of PROLOG
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 PROLO…