Commercial Intelligence Rotating Header Image

Posts under ‘Formal Logic’

Requirements for Logical Reasoning

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:

Higher Education on a Flatter Earth

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 [...]

Helping people find clinical trials for which they are eligible

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 [...]

Neat vs. Scruffy and Watson

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 [...]

Confessions of a production rule vendor (part 1)

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, [...]

Deep question answering: Watson vs. Aristotle

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 [...]

Financial industry to define standards using defeasible logic and semantic web technologies

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 [...]

Acquring Rich Logical Knowledge from Text (Semantic Technology 2013)

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.

Translating English into Logic using the Linguist

Now that the patent filings are done, we can discuss and show more about the Linguist… The following link is a video that shows a sentence from Project Sherlock being translated from English into first-order logic using the patent-pending  Linguisttm software. The hydrophobic ends of the lipids of a cell’s plasma membrane are oriented away [...]

Background for our Semantic Technology 2013 presentation (part 1)

In the spring of 2012, Vulcan engaged Automata for a knowledge acquisition (KA) experiment.  This article provides background on the context of that experiment and what the results portend for artificial intelligence applications, especially in the areas of education.  Vulcan presented some of the award-winning work referenced here at an AI conference, including a demonstration [...]