Algebraic Semantics for Cu lat ive ference
نویسنده
چکیده
In this paper we propose preferential matrix semantics for nonmonotonic inference systems and show how this algebraic framework can be used in methodological studies of cumulative inference operations.
منابع مشابه
International Journal of Asthma, Allergy and Clinical Immunology Official Journal of the Spanish Society of Pediatric Allergy and Clinical Immunology
Background: This st udy aims t o evaluat e t he associat ion bet ween envi ronment al and socio-economic condit ions wit h asthma prevalence in t he eight ISAAC cent res in North-East Brazil. Met hods: Est imates on occurrence, severit y and medical diagnoses of asthma in the previous 12 months were compared using environmental and socioeconomic indicators. Associat ions were assessed using sim...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملHPRL: A Language for Building Expert Systems
Aside from this dif ference in emphasis, KL-ONE and HPRL contain a similar set of representat ion tools. The init ial representation components were both developed at approximately the same time 1977. Cur ren t l y KL-ONE is being extended to allow for the expression of logical relations among elements in a separate syntax (Brachman and Levesque, 1982). HPRL has gone the route described in this...
متن کاملOn Relations Between Programs
Equivalence relat ions between programs are strongly connected to the formal def i n i t i o n of the semantics of programming languages. In addition they provide a basis for the formal j u s t i f i c a t i o n of the development of programs by t ransformations. Besides equivalences there are various other re lat ions on programs and computational structures, which help to get a better underst...
متن کامل