Consider the following disambiguation result from a user of Automata’s Linguist™.
Posts under ‘Formal Logic’
This is a must-watch video from the Allen Institute for AI for anyone seriously interested in artificial intelligence. It’s 70 minutes long, but worth it. Some of the highlights from my perspective are: 27:27 where the key reason that deep learning approaches fail at understanding language are discussed 31:30 where the inability of inductive approaches [...]
Here is a graphic on how various reasoning technologies fit the practical requirements for reasoning discussed below: This proved surprisingly controversial during correspondence with colleagues from the Vulcan work on SILK and its evolution at http://www.coherentknowledge.com. The requirements that motivated this were the following:
We’re collaborating on some educational work and came across this sentence in a textbook on finance and accounting: All of these are potentially good economic decisions. We use statistical NLP but assist with the ambiguities. In doing this, we relate questions and answers and explanations to the text. We also extract the terminology and produce [...]
We are collaborating in the acquisition of knowledge concerning clinical trials. Initially, we are looking at trials related to pancreatic cancer, such as A Study Using 18F-FAZA and PET Scans to Study Hypoxia in Pancreatic Cancer. At http://clinicaltrials.gov, each trial is rendered as HTML for browsing from underlying XML files which can be downloaded. Although [...]
Recently, John Sowa has commented on LinkedIn or in correspondence with some of us at Coherent Knowledge Systems on the old adage due to Shanks concerning the Neats. vs. the Scruffies. The Neats want nice formal logics as the basis of artificial intelligence. This includes anyone who prefers classical logic (e.g., Common Logic, RIF-BLD, or [...]
If you are using one of the more popular rules engines, chances are you can blame me. I popularized the technology of forward-chaining production rules based on the Rete Algorithm. Others have certainly contributed; my path is the one that led to open-source implementations and many commercial products, including those of IBM, Oracle, SAP, TIBCO, [...]
At the SemTech conference last week, a few companies asked me how to respond to IBM’s Watson given my involvement with rapid knowledge acquisition for deep question answering at Vulcan. My answer varies with whether there is any subject matter focus, but essentially involves extending their approach with deeper knowledge and more emphasis on logical [...]
Last week, I attended the FIBO (Financial Business Industry Ontology) Technology Summit along with 60 others. The effort is building an ontology of fundamental concepts in the financial services. As part of the effort, there is surprisingly clear understanding that for the resulting representation to be useful, there is a need for logical and rule-based [...]
As noted in prior posts about Project Sherlock, we have acquired knowledge from a biology textbook to build the business case for applications like Inquire. We reported our results at SemTech recently. The slides are available here.