Extended Abstract After the initial relevance of deduction in AI, nowadays, inductive learning, and all its varieties (abductive reasoning, reasoning by analogy, connectionism, ILP, grammatical inference, HMM, EBR, etc.), are beginning to play a more central and still agglutinative role in the proper subset of AI devoted to make intelligent machines. The… (More)
Atención pido al silencio y silencio a la atención, que voy en esta ocasión, si me ayuda la memoria, a mostrarles que a mi historia le faltaba lo mejor.
—In this paper we propose a visual estimation algorithm to aid the guidance system of an unmanned aerial vehicle (UAV). Specifically, we are considering a glider UAV trying to reach a target zone. Given that the UAV is falling fast, the scale of the images captured by the on-board camera grows. The vehicle dynamics and the control algorithm cause fast… (More)
We present here a generic model in Situation Calculus (S.C.) to formalise several cryptographic protocols. It distinguishes from other logics of cryptographic modelling using the concepts of believing or secret because it is based on the concepts of knowledge and it will not be required any special construct out of S.C. As a working example, we take the… (More)
The free diffusion phenomena of water molecules occurs in the brain due to thermal energy, so we apply two magnetic field gradient pulses in brain tissue while it happens and we obtain a magnetic field signal associated to the statistical distribution displacement of the population of water molecules in the voxel. It allows the acquisition of a digital… (More)