3 ms·
Logic based AI is definitely taking a backseat to data driven methods in the current environment but dead is a gross exaggeration. There are a large class of p
by TimPC 11y ago
Logic based AI is definitely taking a backseat to data driven methods in the current environment but dead is a gross exaggeration. There are a large class of problems for which heuristic search in logic domains is the most performant technique, and a significant class of problems where SAT solvers are feasible solutions. Many of them are real world examples, rather than academic problems. Also, many techniques are evolved or emerging for systems of logic that can handle uncertainty. I've done work on hybrid systems combining rule-based systems with data-based systems (the typical process takes a rule-based system as a starting point and evolves it towards a pure data system as the data sets get large enough). However, starting with a rule-based system is actually a good approach for most start-ups when you don't have enough data to get performant models.
- denniskane 11y agoI am starting to get a (what I guess you could call mostly logic-based) AI system off the ground. The first thing I needed to do was create a serious environment that could host it. The necessary attributes of this environment are these: 1) It is fully web-based, and thus it is technically "on" the web, and accessible by everyone 2) It does not deal with any "modern web appy"-type meta-frameworks, and thus it is not, so-to-speak, "of" [what most of today's web developers would call] the web, and it therefore has no dependency issues to hold back its development 3) It is essentially a working Unix-like development environment, complete with a standard(ish) shell. If you use Chrome, you can find it at https://www.urdesk.net https://www.urdesk.net To go directly to the AI, just follow this link: https://www.urdesk.net/desk?intro=bertie https://www.urdesk.net/desk?intro=bertie As far as the issue of data vs. rules is concerned, I don't know what it would even mean for a system to be purely one or the other.
- nextos 11y agoSounds very interesting. Could you elaborate a bit more on the technologies you are using?