In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model.

Accurate monitoring of air quality can reduce its adverse impact on earth. Ground-level sensors provide fine particulate matter (PM2.5) concentrations and ground images. But, such have limited spatial coverage require deployment cost. PM2.5 be estimated from satellite-retrieved Aerosol Optical Depth (AOD) too. However, AOD is subject to uncertainties associated with retrieval algorithms constra...

A critical issue in the clinical decision support system (CDSS) research area is how to represent and reason with both uncertain medical domain knowledge and clinical symptoms to arrive at accurate conclusions. Although a number of methods and tools have been developed in the past two decades for modelling clinical guidelines, few of those modelling methods have capabilities of handling the unc...

A belief rule base inference methodology using the evidential reasoning (RIMER) approach has been developed recently. A belief rule base (BRB), which can be treated as a more generalized expert system, extends traditional IF-THEN rules, but requires the assignment of some system parameters including rule weights, attribute weights, and belief degrees. These parameters need to be determined with...

Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wellunderstood semantics. However, handling the evolution of rule bases is still a largely open problem. The AGM framework for belief change was shown to give inappropriate results when directly applied to logic programs...