Search results for "Inference"
showing 10 items of 478 documents
Domain-specific knowledge representation and inference engine for an intelligent tutoring system
2013
One of the most challenging steps in learning algebra is the translation of word problems into symbolic notation. This paper describes an Intelligent Tutoring System (ITS) that focuses on this stage of the problem solving process. On the one hand, a domain specific inference engine and a knowledge representation mechanism are proposed. These are based on a description language based on hypergraphs, and the idea of using conceptual schemes to represent the student's knowledge. As a result, the system is able to simultaneously: (a) represent all potential algebraic solutions to a given word problem; (b) keep track of the student's actions; (c) univocally determine the current state of the res…
Automated Creation of Expert Systems with the InteKRator Toolbox
2021
Expert systems have a long tradition in both medical informatics and artificial intelligence research. Traditionally, such systems are created by implementing knowledge provided by experts in a system that can be queried for answers. To automatically generate such knowledge directly from data, the lightweight InteKRator toolbox will be introduced here, which combines knowledge representation and machine learning approaches. The learned knowledge is represented in the form of rules with exceptions that can be inspected and that are easily comprehensible. An inference module allows for the efficient answering of queries, while at the same time offering the possibility of providing explanation…
A Semantic Model to Query Spatial–Temporal Data
2013
There is a growing need for the study of spatial–temporal objects and their relationships. A common approach for this task is the use of relational databases, which unfortunately do not allow inference. In this research, we introduce a new approach that uses the concept of a “continuum” together with ontologies and semantic Web technologies. The continuum allows us to define parent–child relationships between representations of objects. It also allows us to compare the evolution of two different objects and establish the relationships between them along time. Our approach is based on the four-dimensional fluent, which is extended to obtain spatial–temporal qualitative information from the a…
Spatio-Temporal Analysis of Suicide-Related Emergency Calls
2017
Considerable effort has been devoted to incorporate temporal trends in disease mapping. In this line, this work describes the importance of including the effect of the seasonality in a particular setting related with suicides. In particular, the number of suicide-related emergency calls is modeled by means of an autoregressive approach to spatio-temporal disease mapping that allows for incorporating the possible interaction between both temporal and spatial effects. Results show the importance of including seasonality effect, as there are differences between the number of suicide-related emergency calls between the four seasons of each year.
Multi-data models translations in interoperable information systems
1996
Interoperation of heterogeneous and autonomous information systems has traditionally been hampered by semantic differences in their data models. In this paper, we address the problem by defining a methodology called TIME, which is based on an extensible meta model. Its key features are: a set of meta-types which can be used to represent the syntax and the semantics of data modeling concepts, a knowledge base of transformation rules that map a meta-type into other meta-types, and an inference engine which uses the transformation rules to translate schema from source to target models. The extensibility of the meta-model is achieved by organizing the meta-types into a generalization hierarchy …
Logical Sentential Calculi Inspired by the Chrysippean Sentential Calculus
2021
The aim of the present paper is to consider an approach, different from that presented by J. Łukasiewicz, concerning the interpretation of the so-called stoic undemonstrables, which were given by Chrysippus. Stoic undemonstrables have been interpreted in two different ways: using the notion of “negation of a sentence” (Łukasiewicz) and using the notion of “a sentence inconsistent with a given one” (Mates). According to the Stoics, two sentences are inconsistent if one of them is negation of the other. The Mates’ interpretation generates five different inference rules. Based on one of these rules we can consider (with other undemonstrables) four different stoic propositional calculi. Taking …
Explanatory Reasoning: A Probabilistic Interpretation
2016
This paper deals with inference guided by explanatory considerations –specifically with the prospects for a probabilistic interpretation of it. After pointing out some differences between two sorts of explanatory reasoning – i.e.: abduction and “inference to the best explanation” – in the first section I distinguish two tasks: (a) to discern which explanation is the best one; (b) to assess whether the best explanation deserves to be legitimately believed. In Sect. 20.2 I discuss some recent definitions of explanatory power based on “reduction of uncertainty” (Schupbach and Sprenger 2011; Crupi and Tentori 2012). Even though a probabilistic framework is a promising option here, I will argue …
Objective Bayesian point and region estimation in location-scale models.
2007
Point and region estimation may both be described as specific decision problems. In point estimation, the action space is the set of possible values of the quantity on interest; in region estimation, the action space is the set of its possible credible regions. Foundations dictate that the solution to these decision problems must depend on both the utility function and the prior distribution. Estimators intended for general use should surely be invariant under one-to-one transformations, and this requires the use of an invariant loss function; moreover, an objective solution requires the use of a prior which does not introduce subjective elements. The combined use of an invariant informatio…
Improvement of Inventory Control under Parametric Uncertainty and Constraints
2011
The aim of the present paper is to show how the statistical inference equivalence principle (SIEP), the idea of which belongs to the authors, may be employed in the particular case of finding the effective statistical decisions for the multi-product inventory problems with constraints. To our knowledge, no analytical or efficient numerical method for finding the optimal policies under parametric uncertainty for the multi-product inventory problems with constraints has been reported in the literature. Using the (equivalent) predictive distributions, this paper represents an extension of analytical results obtained for unconstrained optimization under parametric uncertainty to the case of con…
Horizontal inequity comparisons
1998
In this paper, we expound the idea that horizontal inequity (HI) in different tax systems be compared by transplanting the HI from one tax system into the other, as a mapping between its pre- and post-tax living standard distributions, and then applying known results to compare the extent of association present in the two joint distributions. We make this idea operational by means of axioms which, we show, lead to an implementable procedure based on the `copula'. Statistical inference procedures are discussed, and illustrative empirical exercises are undertaken for the UK, Canadian and Israeli tax and benefit systems.