Visualizing inference process of a rule engine

Author(s):  
Jian Shi ◽  
Ying Qiao ◽  
Hongan Wang
2014 ◽  
Vol 7 (6) ◽  
pp. 91-110 ◽  
Author(s):  
Rui Zhou ◽  
Guowei Wang ◽  
Jinghan Wang ◽  
Jing Li
Keyword(s):  

2021 ◽  
pp. 174569162097058
Author(s):  
Olivia Guest ◽  
Andrea E. Martin

Psychology endeavors to develop theories of human capacities and behaviors on the basis of a variety of methodologies and dependent measures. We argue that one of the most divisive factors in psychological science is whether researchers choose to use computational modeling of theories (over and above data) during the scientific-inference process. Modeling is undervalued yet holds promise for advancing psychological science. The inherent demands of computational modeling guide us toward better science by forcing us to conceptually analyze, specify, and formalize intuitions that otherwise remain unexamined—what we dub open theory. Constraining our inference process through modeling enables us to build explanatory and predictive theories. Here, we present scientific inference in psychology as a path function in which each step shapes the next. Computational modeling can constrain these steps, thus advancing scientific inference over and above the stewardship of experimental practice (e.g., preregistration). If psychology continues to eschew computational modeling, we predict more replicability crises and persistent failure at coherent theory building. This is because without formal modeling we lack open and transparent theorizing. We also explain how to formalize, specify, and implement a computational model, emphasizing that the advantages of modeling can be achieved by anyone with benefit to all.


1994 ◽  
Vol 11 (2) ◽  
pp. 109-127 ◽  
Author(s):  
Dong Hwan Lee ◽  
Richard W. Olshavsky

1969 ◽  
Vol 28 (3) ◽  
pp. 715-720 ◽  
Author(s):  
Clyde Hendrick

Symmetry of the trait inference process was studied by having Ss rate how much trait X implied trait Y and how much trait Y implied trait X for each of 36 pairs of traits. Desirability of the traits ranged from very high to very low. The relationship between traits within a pair was varied from consistent to highly inconsistent. Differences between the implication ratings for the two orders of presentation revealed that a definite asymmetry in the strength of the inference existed. The direction of the asymmetry varied as a function of the degree of inconsistency between traits within pairs. The results were discussed in terms of a differential discounting process.


2010 ◽  
Vol 19 (01) ◽  
pp. 65-99 ◽  
Author(s):  
MARC POULY

Computing inference from a given knowledgebase is one of the key competences of computer science. Therefore, numerous formalisms and specialized inference routines have been introduced and implemented for this task. Typical examples are Bayesian networks, constraint systems or different kinds of logic. It is known today that these formalisms can be unified under a common algebraic roof called valuation algebra. Based on this system, generic inference algorithms for the processing of arbitrary valuation algebras can be defined. Researchers benefit from this high level of abstraction to address open problems independently of the underlying formalism. It is therefore all the more astonishing that this theory did not find its way into concrete software projects. Indeed, all modern programming languages for example provide generic sorting procedures, but generic inference algorithms are still mythical creatures. NENOK breaks a new ground and offers an extensive library of generic inference tools based on the valuation algebra framework. All methods are implemented as distributed algorithms that process local and remote knowledgebases in a transparent manner. Besides its main purpose as software library, NENOK also provides a sophisticated graphical user interface to inspect the inference process and the involved graphical structures. This can be used for educational purposes but also as a fast prototyping architecture for inference formalisms.


2011 ◽  
Author(s):  
Sharat Chikkerur ◽  
Thomas Serre ◽  
Cheston Tan ◽  
Tomaso Poggio

Sign in / Sign up

Export Citation Format

Share Document