Ai Dreams Forum

Member's Experiments & Projects => AI Programming => Topic started by: infurl on April 20, 2020, 12:01:48 am

Title: Thinking in the cloud.
Post by: infurl on April 20, 2020, 12:01:48 am

https://www.imandra.ai/ (https://www.imandra.ai/)

This is actually pretty exciting though it might not be obvious to the untrained eye.  ;)

Quote

Imandra is Reasoning as a Service®

Whether you're writing mission-critical code or need to understand the countless complex decisions that a system may make, Imandra brings the latest advances in automated reasoning to your fingertips. Imandra was designed at cloud-scale, so whether you're working on a school project or the next Mars rover - we've got you covered.

This system uses a process of quantifier elimination to reduce the search processes of logical resolution to arithmetic computation making suitable knowledge bases efficient enough to be used on a large scale.

https://en.wikipedia.org/wiki/Quantifier_elimination (https://en.wikipedia.org/wiki/Quantifier_elimination)

There are many in-depth practical examples on the website, ranging from simple to extremely advanced, for example:

https://docs.imandra.ai/imandra-docs/notebooks/simple-vehicle-controller/ (https://docs.imandra.ai/imandra-docs/notebooks/simple-vehicle-controller/)

Title: Re: Thinking in the cloud.
Post by: Dee on April 20, 2020, 06:45:36 am

we've been being in the age of online services since the early 90s,
AI is blossoming, AI online services are now becoming the thing, not just email, drive, and those stuff any more  :)