Mario Carneiro wrote: > This approach sounds like "expert systems"
Thanks for the concept of "expert systems" (my background is pure mathematics, specifically number theory, I am new in the field of computer science, so I miss some basic concepts). I was thinking about a sort of expert system expressed as a sort of grammar, that I will call "medical grammar", in order to avoid writing nonsense, e.g., to use antibiotics in order to cure a virus. Nevertheless, unlike genuine expert systems, the goal of this grammar is not to make predictions, but just to avoid writing nonsense. David A.Wheeler > Most machine learning approaches are terrible at explainability. They can > give you a prediction, but not a human understandable reason for why they > make that prediction. There are a few approaches that provide explainable > results, such as decision trees, but they have their own problems. I am > skeptical that many would want to apply a machine learning system to > medical diagnosis without also being able to provide an explanation. What about to impose the above mentioned medical grammar to the artificial intelligence system so that it will only do things allowed by this grammar, i.e., right things. This is where I see the role of proof assistants: to avoid making mistakes, not to deduce new results. So, proof assistants + artificial intelligence may be an interesting case to consider during the COVID-19 emergency situation. I think that the way of thinking during emergency situations, e.g., war, pandemic, asteroid, should not be the same as the way of thinking during normal periods, in the sense that we need more multidisciplinary thinking than usual. Kind regards, José M. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAA8xVUif6%3DDw_CQkixPCmD_xwX2HPb8GbY0s9FaXpa9yG6joMA%40mail.gmail.com.
