Questions tagged [logic]

For questions about algorithms and concepts for the development or use of logical inference capabilities in computers or the use of logical inference to arrive at the most useful AI designs.

Filter by
Sorted by
Tagged with
4
votes
3answers
120 views

Can we optimize an optimization algorithm?

In this answer to the question Is an optimization algorithm equivalent to a neural network?, the author stated that, in theory, there is some recurrent neural network that implements a given ...
1
vote
1answer
46 views

Is there a system that automatically designs a set of rules from the examples?

Being by no means an expert in the field, I do however know of solvers such as Z3 that can generate a correct program, provided you can express your constraints as a set of logical rules, such as here....