Automation of Gödel’s Proof of God’s Existence

Two scientists have formalized a theorem regarding the existence of God penned by renowned Austrian mathematician Kurt Gödel. Using an ordinary MacBook computer, they have shown that Gödel’s proof was correct — at least on a mathematical level.” You can read more in this article.
It is interesting that one of them, Prof. Christoph Benzmüller, is the chair of the Luxembourg Logic for AI Summit that will include DecisionCAMP 2018.

Posted in Misc | Leave a comment

Announcing the Logical Contracts Server

Prof. Bob Kowalski and his colleagues at Imperial College London announced the Logical Contracts Server that incorporates extensions of LPS (Logic Production System) to facilitate deployment of smart contracts. Its website contains a link to a preliminary version, now available for trial. It also contains a short, three minute video, illustrating an application to the paper-rock-scissor game, with an interface to the Ethereum blockchain.

Posted in Blockchain | Leave a comment

Radiologist-Level Pneumonia Detection

Stanford ML Group developed an algorithm that can detect pneumonia from chest X-rays at a level exceeding practicing radiologists – read more

Posted in Machine Learning | Leave a comment

How GDPR Makes the Case for Decision Management

The General Data Protection Regulation (GDPR) will revolutionize the way in which most companies with partners or clients resident in the European Union source, verify, secure, use, retain and distribute their data. It gives new rights to EU citizens that are the subjects of this data. GDPR will force medium and large companies to appoint new, independent personnel charged with monitoring data processing, servicing the rights of data subjects and reporting breaches. With a target implementation date in May 2018, many companies are concerned about their ability to meet this regulatory standard.” In his new article Jan Purchase explains how Decision Management will help to support GDPR.

Posted in Standards, Trends | Leave a comment

Quotes from Bjarne Stroustrup

Interesting quotes from Bjarne Stroustrup, the creator of C++:

  • I have always wished for my computer to be as easy to use as my telephone; my wish has come true because I can no longer figure out how to use my telephone
  • Anybody who comes to you and says he has a perfect language is either naïve or a salesman
  • There are only two kinds of languages: the ones people complain about and the ones nobody uses
  • If you think it’s simple, then you have misunderstood the problem
  • A program that has not been tested does not work. Read more
Posted in Misc | Leave a comment

How to Succeed with AI: James Taylor’s advice

James Taylor just published a new post about AI: “AI is a decision-making technology. As such it is a powerful complement to Decision Management – something to be considered alongside business rules and analytics, and integrated into a coherent decision model. ” To succeed with AI, he recommends: 1) Get management support; 2) DON’T put technologists in charge; 3) Focus on the decision not AI; 4) Make sure you focus on change management. Read more.

Posted in Artificial Intelligence, Decision Modeling | Leave a comment

Averaging Risk is Risking the Average

Regulators must assess risk in many different areas. Banking has been top of mind in the past years, but industries like Pharma and Utilities also had a lot of attention. How a regulator decides to measure and asses risk is very important. If risks are underestimated, this could impact society (like a banking crisis, deaths due to the admission of unsafe drugs or increase of injuries due to pipeline failures). If risks are overestimated costly mitigation might be imposed, again impacting society with high costs.” A monetised risk approach that estimates risk with averages is insufficient as it ignores important extreme values. What is a better way of aggregating uncertainties and risks than just averaging them? Read more in this interesting article by John Poppelaars.

Posted in Business Analytics, Case Studies | Leave a comment