Logics for Temporal Information Systems in Rough Set Theory

Autor:	Md. Aquil Khan, Mohua Banerjee, Sibsankar Panda
Rok vydání:	2023
Předmět:	Computational Mathematics General Computer Science Logic Theoretical Computer Science
Zdroj:	ACM Transactions on Computational Logic. 24:1-29
ISSN:	1557-945X 1529-3785
DOI:	10.1145/3549075
Popis:	The article discusses temporal information systems (TISs) that add the dimension of time to complete or incomplete information systems. Through TISs, one can accommodate the possibility of domains or attribute values for objects changing with time or the availability of currently missing information with time. Different patterns of flow of information give different TISs. The corresponding logics with sound and complete axiomatization are presented.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0805f826c8d87098adf0f424dcfb1cbf https://doi.org/10.1145/3549075 Zobrazit plný text záznamu