Alexander Sakharov

Logics for Artificial Intelligence

AI systems are usually characterized by non-standard logics. The respective calculi include nonlogical axioms expressing domain knowledge. Please see my relevant research papers:

See also lecture notes on the subject of combining Horn logic, computing, and neural networks.

Copyright 2023 Alexander Sakharov

Need to relax? Try brain teasers. I would recommend those marked 'cool'.