We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that need to be introduced to capture taxonomic reasoning. We show that the regression operator in this framework can be defined similarly to regression in the Reiter’s version of the situation ca...

Gaussian processes (GP) are a widely used model for regression problems in supervised machine learning. Implementation of GP regression typically requires O(n) logic gates. We show that the quantum linear systems algorithm [Harrow et al., Phys. Rev. Lett. 103, 150502 (2009)] can be applied to Gaussian process regression (GPR), leading to an exponential reduction in computation time in some inst...

a controversy among the muslim philosophers about the domain of the extensions was that is the subject of the verity-propositions contained the impossible extensions or only all of the actual and possible ones. from ibn-sina to al-khunaji, there are explicit texts to the former view; but later logicians, starting with athir al-din al-abhari, were inclined to the latter. in this paper, we attamp...

This study aims to investigate the influence of big-5 personality traits on causation and effectuation decision-making logics using entrepreneurial process theory. is an empirical based 113 surveys managers/entrepreneurs from Estonian IT sector. The questionnaire was uploaded onto online platform connect.ee participants were invited complete it. reveals that only conscientiousness positively si...

Consider a prediction problem with correlated predictors. In such a case, the best model specification, that is, the best subset of active predictors, can be ambiguous. In spite of this ambiguity, a forecast that informs a high-stakes decision warrants a compact, informative description of the model that produces it. For forecasts based on ensemble models, such descriptions are not straightforw...

Regression tests are an important tool in any moderately complex programming environment. They allow the programmer to make extensive changes to their code while providing confidence that something that used to work still does. Extensive regression test suites have been an essential component of the maintenance and development of LTEX 2ε and LTEX3. A regression test suite is typically composed ...

suhrawardi’s logic of the hikmat al-ishraq is basically modal. so to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. in my previous paper ‘suhrawardi on syllogisms’(3) i discussed the former in detail. the present paper is an exposition of his treatment of modal syllogisms. on the basis of some reasonable existential presuppositions and a...

We consider the problem of learning Relational Logistic Regression (RLR). Unlike standard logistic regression, features RLR are first-order formulae with associated weight vectors instead scalar weights. turn to these vector-weighted and develop a algorithm based on recently successful functional-gradient boosting methods for probabilistic logic models. derive functional gradients show how weig...