jspTIN-2007: Multi-valued Logic: Foundations and application to management of vagueness and imprecision TIN2004-07933-C03
semanticscholar(2007)
摘要
The project had three basic objectives. The first one was the logical and algebraic study of t-norm based many-valued logics in the frame of both residuated and substructural logics. The second one was the formalization, within the framework of the above logics, of several deductive soft computing mechanisms, based on fuzzy logic, to deal with vagueness, uncertainty and imprecision. The last one was to continue theoretical and experimental research on many-valued SAT and Max-SAT algorithms and their application to solve computationally difficult problems. We have deeply worked on the three goals and obtained a significant number of results, which we summarize in this report and which have been published in several conferences and journal papers.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要