{"id":1124,"date":"2023-07-10T09:17:33","date_gmt":"2023-07-10T12:17:33","guid":{"rendered":"https:\/\/vtapp.inovanet.com.br\/?p=1124"},"modified":"2024-02-05T15:40:20","modified_gmt":"2024-02-05T18:40:20","slug":"exact-symbolic-artificial-intelligence-for-faster","status":"publish","type":"post","link":"https:\/\/vtapp.inovanet.com.br\/?p=1124","title":{"rendered":"Exact symbolic artificial intelligence for faster, better assessment of AI fairness Massachusetts Institute of Technology"},"content":{"rendered":"

2402 00591 Sandra A Neuro-Symbolic Reasoner Based On Descriptions And Situations<\/h1>\n<\/p>\n

\"symbolic<\/p>\n

Deep learning systems interpret the world by picking out statistical patterns in data. This form of machine learning is now everywhere, automatically tagging friends on Facebook, narrating Alexa\u2019s latest weather forecast, and delivering fun facts via Google search. It requires tons of data, has trouble explaining its decisions, and is terrible at applying past knowledge to new situations; It can\u2019t comprehend an elephant that\u2019s pink instead of gray.<\/p>\n<\/p>\n

While other models trained on the full CLEVR dataset of 70,000 images and 700,000 questions, the MIT-IBM model used 5,000 images and 100,000 questions. As the model built on previously learned concepts, it absorbed the programs underlying each question, speeding up the training process. Critiques from outside of the field were primarily from philosophers, on intellectual grounds, but also from funding agencies, especially during the two AI winters. Alain Colmerauer and Philippe Roussel are credited as the inventors of Prolog. Prolog is a form of logic programming, which was invented by Robert Kowalski.<\/p>\n<\/p>\n

Centers, Labs, & Programs<\/h2>\n<\/p>\n

With more linguistic stimuli received in the course of psychological development, children then adopt specific syntactic rules that conform to Universal grammar. Hobbes was influenced by Galileo, just as Galileo thought that geometry could represent motion, Furthermore, as per Descartes, geometry can be expressed as algebra, which is the study of mathematical symbols and the rules for manipulating these symbols. A different way to create AI was to build machines that have a mind of its own. The new SPPL probabilistic programming language was presented in June at the ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), in a paper that Saad co-authored with MIT EECS Professor Martin Rinard and Mansinghka. Error from approximate probabilistic inference is tolerable in many AI applications. But it is undesirable to have inference errors corrupting results in socially impactful applications of AI, such as automated decision-making, and especially in fairness analysis.<\/p>\n<\/p>\n

Examples of common-sense reasoning include implicit reasoning about how people think or general knowledge of day-to-day events, objects, and living creatures. This kind of knowledge is taken for granted and not viewed as noteworthy. The automated theorem provers discussed below can prove theorems in first-order logic. Horn clause logic is symbolic artificial intelligence<\/a> more restricted than first-order logic and is used in logic programming languages such as Prolog. Extensions to first-order logic include temporal logic, to handle time; epistemic logic, to reason about agent knowledge; modal logic, to handle possibility and necessity; and probabilistic logics to handle logic and probability together.<\/p>\n<\/p>\n

Recommenders and Search Tools<\/h2>\n<\/p>\n

This is a preview of subscription content, log in via an institution. ArXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. To think that we can simply abandon symbol-manipulation is to suspend disbelief.<\/p>\n<\/p>\n