Loading...
6 results
Search Results
Now showing 1 - 6 of 6
- Revision by comparisonPublication . Fermé, Eduardo; Rott, HansSince the early 1980s, logical theories of belief revision have offered formal methods for the transformation of knowledge bases or “corpora” of data and beliefs. Early models have dealt with unconditional acceptance and integration of potentially belief-contravening pieces of information into the existing corpus. More recently, models of “non-prioritized” revision were proposed that allow the agent rationally to refuse to accept the new information. This paper introduces a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. We use reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. We provide two kinds of semantics for this idea, give a logical characterization of the new model, study its relation with other operations of belief revision and contraction, and discuss its intuitive strengths and weaknesses.
- Belief revision and computational argumentation: a critical comparisonPublication . Baroni, Pietro; Fermé, Eduardo; Giacomin, Massimiliano; Simari, Guillermo RicardoThis paper aims at comparing and relating belief revision and argumentation as approaches to model reasoning processes. Referring to some prominent literature references in both fields, we will discuss their (implicit or explicit) assumptions on the modeled processes and hence commonalities and differences in the forms of reason ing they are suitable to deal with. The intended contribution is on one hand assessing the (not fully explored yet) relationships between two lively research fields in the broad area of defeasible reasoning and on the other hand pointing out open issues and potential directions for future research.
- AGM 25 years: twenty-five years of research in belief changePublication . Fermé, Eduardo; Hansson, Sven OveThe 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model.
- Introduction to the special issue on belief revision, argumentation, ontologies, and normsPublication . Fermé, Eduardo; Simari, Guillermo R.
- AI-Rehab: a framework for AI driven neurorehabilitation training - the profiling challengePublication . Fermé, Eduardo; Bermúdez i Badia, Sergi; Sirsat, Manisha; Almeida, YuriOne of the health clinic challenges is rehabilitation therapy cognitive impairment that can happen after brain injury, dementia and in normal cognitive decline due to aging. Current cognitive rehabilitation therapy has been shown to be the most effective way to address this problem. However, a) it is not adaptive for every patient, b) it has a high cost, and c) it is usually implemented in clinical environments. The Task Generator (TG) is a free tool for the generation of cognitive training tasks. However, TG is not designed to adapt and monitor the cognitive progress of the patient. Hence, we propose in the BRaNT project an enhancement of TG with belief revision and machine learning techniques, gamification and remote monitoring capabilities to enable health professionals to provide a long-term personalized cognitive rehabilitation therapy at home. The BRaNT is an interdisciplinary effort that addresses scientific limitations of current practices as well as provides solutions towards the sustainability of health systems and contributes towards the improvement of quality of life of patients. This paper proposes the AI-Rehab framework for the BRaNT, explains profiling challenge in the situation of insufficient data and presents an alternate AI solutions which might be applicable once enough data is available.
- Knowledge-driven profile dynamicsPublication . Fermé, Eduardo; Garapa, Marco; Reis, Maurício D. L.; Almeida, Yuri; Paulino, Teresa; Mariana Rodrigues; Garapa, Marco; Aristides da Silva Godinho de Almeida, Yuri; Fermé, Eduardo; Reis, Maurício; Paulino, TeresaIn the last decades, user profiles have been used in several areas of information technology. In the literature, most research works, and systems focus on the creation of profiles (using Data Mining techniques based on user’s navigation or interaction history). In general, the dynamics of profiles are made by means of a systematic recreation of the profiles, without using the previous profiles. In this paper we propose to formalize the creation, representation, and dynamics of profiles from a Knowledge-Driven perspective. We introduce and axiomatically characterize four operators for changing profiles using a belief change inspired approach.