Here are some problems to help you understand the material in Computational Intelligence: A Logical Approach. They are designed to help students understand the material and practice for exams. This file is available in html, or in pdf format, either without solutions or with solutions. (The pdf can be read using the free acrobat reader or with recent versions of Ghostscript). Given the knowledg...

330657 LGIMA_LDI implementation wo constraints of market bencharks reprint.indd 1 4/17/13 6:25 AM 330657 LGIMA_LDI implementation wo constraints of market bencharks reprint.indd 2 Executive Summary Our LDI clients continue to move down their de-risking glidepaths. As they move down the de-risking path, they are increasingly focused on controlling risk and understanding performance versus specif...

We give examples of systems of Partial Differential Equations that admit non-trivial, Lipschitz and one-homogeneous solutions in the form u(R, θ) = Rg(θ), where (R, θ) are plane polar coordinates and g takes values in R, m ≥ 2. The systems are singular in the sense that they arise as the EulerLagrange equations of the functionals I(u) = ∫ B W (x,∇u(x)) dx, where DFW (x, F ) behaves like 1 |x| a...

In this paper we study Lie symmetries, Kac-Moody-Virasoro algebras, similarity reductions and particular solutions of two different recently introduced (2+1)-dimensional nonlinear evolution equations, namely (i) (2+1)-dimensional breaking soliton equation and (ii) (2+1)-dimensional nonlinear Schrödinger type equation introduced by Zakharov and studied later by Strachan. Interestingly our studie...

It is often useful in practice to explore near-optimal solutions of an integer programming problem. We show how all solutions within a given tolerance of the optimal value can be efficiently and compactly represented in a weighted decision diagram, once the optimal value is known. The structure of a decision diagram facilitates rapid processing of a wide range of queries about the near-optimal ...

We investigate cosmological solutions of eleven dimensional supergravity compactified on a squashed seven manifold. The effective action for the four dimensional theory contains scalar fields describing the size and squashing of the compactifying space. The potential for these fields consists of a sum of exponential terms. At early times only one such term is expected to dominate. The condition...

We show that designing large situation calculus theories can be simplified by using object-oriented techniques and tools together with established solutions to the frame problem. Situation calculus (McCarthy & Hayes 1969) is one of the leading logical representations for action and change, but large situation calculus theories are not easy to design and maintain, nor are they flexible for exten...