Show pageBacklinksCite current pageExport to PDFFold/unfold allBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== Automated reasoning ====== Automated [[reasoning]] is the area of computer science that is concerned with applying reasoning in the form of logic to computing systems. If given a set of assumptions and a goal, an automated reasoning system should be able to make logical inferences towards that goal automatically. automated_reasoning.txt Last modified: 2025/04/29 20:24by 127.0.0.1