Thinking in the cloud.

  • 1 Replies
  • 136 Views
*

infurl

  • Trusty Member
  • *********
  • Terminator
  • *
  • 909
  • Humans will disappoint you.
    • Home Page
Thinking in the cloud.
« on: April 20, 2020, 12:01:48 AM »
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

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/

*

Dat D

  • Nomad
  • ***
  • 75
  • AI rocks!
Re: Thinking in the cloud.
« Reply #1 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  :)

 


Users Online

25 Guests, 1 User
Users active in past 15 minutes:
WriterOfMinds
[Trusty Member]

Most Online Today: 86. Most Online Ever: 340 (March 26, 2019, 09:47:57 PM)

Articles