In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark and we are going to see whether such a construction can be adopted in the context of mathematical fuzzy logic, a so far (apparently) unexplored journey. As a first step, we will characterise rational closure in the context of Propositional Godel Logic.
Reference:
Casini, G and Straccia, U. 2013. Towards rational closure for fuzzy logic: The case of propositional Godel logic. In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 19), Stellenbosch, South Africa, 14-19 December 2013
Casini, G., & Straccia, U. (2013). Towards rational closure for fuzzy logic: The case of propositional Godel logic. Springer Verlag. http://hdl.handle.net/10204/7392
Casini, G, and U Straccia. "Towards rational closure for fuzzy logic: The case of propositional Godel logic." (2013): http://hdl.handle.net/10204/7392
Casini G, Straccia U, Towards rational closure for fuzzy logic: The case of propositional Godel logic; Springer Verlag; 2013. http://hdl.handle.net/10204/7392 .
Author:Smith, Andrew CDate:May 2014Clustering is the act of grouping items that belong together. In this paper we explore clustering as a means to construct tangible program logic, and specifically as a means to use multiple tangible objects collectively as a single tangible ...Read more
Author:Franconi, E; Meyer, T; Varzinczak, IDate:May 2010In this paper the authors investigate the problem of maintaining and reasoning with different versions of a knowledge base. The authors are interested in the scenario where a knowledge base (expressed in some logical formalism) might evolve ...Read more
Author:Booth, R; Meyer, TDate:Aug 2011In this paper the authors present a brief overview of belief change, a research area concerned with the question of how a rational agent ought to change its mind in the face of new, possibly conflicting, information. The authors limit themselves ...Read more