Search results for " Reason"
showing 10 items of 465 documents
An Algebraic Approach to Knowledge Representation
1999
This paper is an attempt to apply domain-theoretic ideas to a new area, viz. knowledge representation. We present an algebraic model of a belief system. The model consists of an information domain of special kind (belief algebra) and a binary relation on it (entailment). It is shown by examples that several natural belief algebras are, essentially, algebras of flat records. With an eye on this, we characterise those domains and belief algebras that are isomorphic to domains or algebras of records. For illustration, we suggest a system of axioms for revision in such a model and describe an explicit construction of what could be called a maxichoise revision.
A Context-Aware System for Ambient Assisted Living
2017
In the near future, the world's population will be characterized by an increasing average age, and consequently, the number of people requiring for a special household assistance will dramatically rise. In this scenario, smart homes will significantly help users to increase their quality of life, while maintaining a great level of autonomy. This paper presents a system for Ambient Assisted Living (AAL) capable of understanding context and user's behavior by exploiting data gathered by a pervasive sensor network. The knowledge inferred by adopting a Bayesian knowledge extraction approach is exploited to disambiguate the collected observations, making the AAL system able to detect and predict…
An Ambient Intelligence System for Assisted Living
2017
Nowadays, the population's average age is constantly increasing, and thus the need for specialized home assistance is on the rise. Smart homes especially tailored to meet elderly and disabled people's needs can help them maintaining their autonomy, whilst ensuring their safety and well-being. This paper proposes a complete context-aware system for Ambient Assisted Living (AAL), which infers user's actions and context, analyzing its past and current behavior to detect anomalies and prevent possible emergencies. The proposed system exploits Dynamic Bayesian Networks to merge raw data coming from heterogeneous sensors and infer user's behavior and health conditions. A rule-based reasoner is ab…
An unsupervised quantitative method to analyse students' answering strategies to a questionnaire
2018
Questionnaires are perhaps the most widely used instruments to assess conceptual learning in physics as well as in mathematics. In the field of physics and mathematics education research it is surely interesting to be able to use a questionnaire as a “diagnostic instrument,” i.e., to know details about relationships among student answers to the different questions. In recent years several research works focused on this goal by using different quantitative methodologies, like Factor, Model and Cluster Analyses. However, very few research works deepened the theoretical aspects of the Cluster Analysis. In this contribution, we discuss two Cluster Analysis methods with respect to this issue. By…
Diagrammatic approach to quantum search
2014
We introduce a simple diagrammatic approach for estimating how a randomly walking quantum particle searches on a graph in continuous-time, which involves sketching small weighted graphs with self-loops and considering degenerate perturbation theory's effects on them. Using this method, we give the first example of degenerate perturbation theory solving search on a graph whose evolution occurs in a subspace whose dimension grows with $N$.
Scalar diagrammatic rules for Born amplitudes in QCD
2005
We show that all Born amplitudes in QCD can be calculated from scalar propagators and a set of three- and four-valent vertices. In particular, our approach includes amplitudes with any number of quark pairs. The quarks may be massless or massive. The proof of the formalism is given entirely within quantum field theory.
Enterprise Knowledge Modeling, UML vs Ontology: Formal Evaluation
2019
International audience; Everyday activities in enterprises rely heavily on the experts' know-how. Due to experts departure, the loss of expertise and knowledge is a reoccurring problem in these enterprises. Recently, in order to capture experts knowledge into intelligent systems, formal knowledge representation methods, such as ontologies, are being studied and have caught up with non-formal or semi-formal representation, such as UML. The similarities and differences between UML class diagram and computational ontology have for long raised questions about the possibility of synthesizing them in a common representation (usually an ontology). Indeed, the problem of migrating knowledge encoded…
Missing Curious Fraction Problems
2018
In this paper we present a study of one of the best-known types of descriptive word fraction problems. These problems have disappeared from today’s textbooks but are hugely important for developing arithmetic thinking. The aim of this paper is to examine the historical solution methods for these problems and discuss the analytical readings suggested by the authors. On the basis of this analysis we have conducted a preliminary study of the performance of 35 Spanish students who are highly trained in mathematics. Our results show that these students have a preference for algebraic reasoning, are reluctant to use arithmetic methods, and have reading comprehension difficulties that are reflecte…
Alle radici della ragionevolezza. A partire dalle lezioni di Rawls sull'imperativo categorico ad Harvard
2018
Re-reading Rawls’ Introduction to the paperback edition of Political Liberalism for an understanding of the “kantian turn”. Difference between the “political conception of justice”and the pluralism of rea- sonable comprehensive doctrines. The relation between the criterion of reciprocity, reasonable (as intrinsic normative and moral ideal) and categorical imperative. This problem refers to the possibility of an interpretation of the original position in light of the reasonable. Primary goods and the “conception of free personality” as normative connotations of a constitutional democracy. Beginning with Ra- wls’teaching on categorical imperative in the Lectures at Harvard University.
A Dynamic Reasoning Architecture for Computer Network Management
2005
This paper focuses on improving network management and monitoring by the adoption of Artificial Intelli- gence techniques. In order to allow automated reasoning on networking concepts, we defined an accurate ontologi- cal model capable of describing as better as possible the networking domain. The thorough representation of the do- main knowledge is used by a Logical Reasoner, which is an expert system capable of performing high-level manage- ment tasks.