We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the proof of a generic completeness theorem for coalgebraic mu-calculi. Believing the concept has a much wider significance, here we investigate it m...

In this paper, we describe a disjunctive logic programming system, referred to as Dis-LoP, based on PROTEIN theorem prover. PROTEIN supports certain theorem proving calculi, such as restart model elimination and hyper tableaux, that are suitable for working with positive disjunctive logic programs. In particular, restart model elimination calculus is answer complete for postive queries. The Dis...

For the six-wheel CRAB rover, this paper presents the torque control with Kriging estimation to improve the terrainability by minimizing wheel slip. In previous works, we presented a torque control approach, effectively improving terrainability by minimizing the variance of the required friction coefficient based on the static model. Using a Kalman filter to estimate the velocity information, a...

The research aim of this paper is to investigate the effectiveness of a new Kriging model which uses Taylor expansion to predict wireless network connectivity. Wireless network connectivity is measured by the strength of emitted signal power from the tower to the point in question. The prediction results are compared with those from the literature where an Ordinary Kriging model and a neural ne...

This paper focuses upon the efficient surrogate model algorithm for expensive simulation-based design optimization problems. Co-kriging method is used to develop a multi-fidelity surrogate model using two independent datasets. To achieve this objective, wing-body problem is taken as an example of application for highdimensional complex design problem. In addition, a simple sampling analysis is ...

Can preverbal infants already use logical reasoning such as disjunctive inference? This requires keeping two possibilities open (A or B), until one of them is eliminated (if not A), allowing the inference: B true. We used a paradigm based on 10-month-olds’ social skills and their ability to pair face voice: first presented an ambiguous situation: female voice faces, then faces was with male imp...

Generalizing Belnap's system of epistemic states [Bel77] we obtain the system of disjunctive factbases which is the paradigm for all other kinds of disjunctive knowledge bases. Disjunctive factbases capture the nonmonotonic reasoning based on paraminimal models. In the schema of a disjunctive factbase, certain predicates of the resp. domain are declared to be exact, i.e. two-valued, and in turn...

In this contribution, a novel approach for the modeling and optimization of discrete-continuous dynamic systems based on a disjunctive problem formulation is proposed. It will be shown that a disjunctive model representation, which constitutes an alternative to mixed-integer model formulations, provides a very flexible and intuitive way to formulate discrete-continuous dynamic optimization prob...