A Fuzzy Propositional Logic with Temporal Intervals

Autor:	Gerald S. Plesniewicz
Rok vydání:	2017
Předmět:	Propositional variable Discrete mathematics TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Theoretical computer science Linear temporal logic Computer science Interval temporal logic Zeroth-order logic Modal μ-calculus Intermediate logic T-norm fuzzy logics Fuzzy logic Hardware_LOGICDESIGN
Zdroj:	Advances in Intelligent Systems and Computing ISBN: 9783319683201
DOI:	10.1007/978-3-319-68321-8_34
Popis:	We define a fuzzy logic whose sentences are Boolean combinations of propositional variables and Allen’s relations between temporal intervals. For this logic, we present the deduction method based on analytical tableaux. We also present the method of query answering over fact bases for ontologies written in this logic.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::209c32622426546c7d97a3b13357925b https://doi.org/10.1007/978-3-319-68321-8_34 Zobrazit plný text záznamu