Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Artificial intelligence programming with Turbo Prolog
Artificial intelligence programming with Turbo Prolog
CSC '91 Proceedings of the 19th annual conference on Computer Science
Combinatorics for computing relativistic several complex variable domains
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
We extend some Turing notions of computation, from over the integers Z, to computation over complex variables C. Corresponding to scientific problems, we implement knowledge based heuristically developed Prolog databases for visualizing and symbolically analyzing domains for analytic functions over several complex variables. The domains, at the outset, deal with the quantum theory of physical fields, incorporating Einstein's special relativity in a 1-space, 1-time model. These methods could constitute the earliest symbolic computer experiments for several complex variable domains. The objects visualized are of dimension 12, with methods to hopefully handle even higher dimensions. The computations are motivated by a formulation of Hilbert's 6'th problem and impact on artificial intelligence capabilities of machines. We use logical deduction and inference, with a form of Minsky frames and slots.