Automating Logical Reasoning

“For many years, computer scientists have sought to create decision making tools based on the way humans reason.  Early expert systems in the 1980’s and 1990’s were quite limited, but they were central to the first wave of commercial success of Artificial Intelligence (AI).  Outgrowths of that technology,  business rules and decision trees, have become well established as distinct market sectors.  Now ubiquitous, they automate millions of mission critical business processes every day.  But automation of more complex human reasoning and knowledge remained illusive, due to technical limitations.” This paper claims game-changing advances that have come in the form of a knowledge representation and reasoning language called Rulelog. Attendees of RuleML+RR and DecisionCAMP  will be able to listen its presentation by Coherent Knowledge in London next month.

This entry was posted in Artificial Intelligence, Events. Bookmark the permalink.

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s