What's everyone up to ?

  • 919 Replies
  • 145624 Views
*

Freddy

  • Administrator
  • **********************
  • Colossus
  • *
  • 6241
  • Mostly Harmless
Re: What's everyone up to ?
« Reply #915 on: September 10, 2017, 09:28:08 pm »
Thanks for all the replies folks. The box set for season 1 is £12 on Amazon Prime, might give it a look when I have some time.

Cheers :)

*

Don Patrick

  • Trusty Member
  • *******
  • Starship Trooper
  • *
  • 411
    • Artificial Detective
Re: What's everyone up to ?
« Reply #916 on: November 24, 2017, 08:25:56 pm »
Just published my first FireFox add-on for summarizing articles  :D.
Official announcement with accompanying blog post will follow some time after I make a Google Chrome version. Setting these things up is quite a hassle, with old systems getting replaced.
Personal project: NLP -> learning -> knowledge -> logical inference -> A.I.

*

ivan.moony

  • Trusty Member
  • *********
  • Terminator
  • *
  • 832
  • Smile, it's another day!
    • Structured Type System
Re: What's everyone up to ?
« Reply #917 on: December 11, 2017, 02:09:02 pm »
I'm playing with logic in my theoretical programming language. It seems we can achieve "Sai Baba" effect when dealing with assumption sets.

Suppose we define semantic tables for Boolean operators not, or, and, implies and equals-to. Now, we enter an assumption set with any variables initialized to (True + False). If the derived result is false, it indicates that the assumption set is contradictory. If the negation of the result is false, it indicates that the assumption set is tautology, meaning that the assumption set always yields true, meaning in turn that the assumption set it is a theorem in very logic.

This gives us opportunity to start from merely semantic table of Boolean operators. Then we can construct random logic sentences and check if they are theorems. If they are theorems, we print them out, notifying the very rules of logic. That means we can extract the whole logic theory just from semantic tables! :o

I was having some similar thoughts before, but I didn't connect them with plain solving of Boolean expressions. Definitely worth of checking in reality. :stirthepot:

I wonder how to derive all the math formulas too, but maybe that's beyond capabilities of this method, as math deals with infinite sets of numbers (logic, in example, deals only with `true` and `false`, so we can easily check both cases for each variable). But we should be able to be certain up to some percent, depending on number of  checked examples.
« Last Edit: December 11, 2017, 02:33:39 pm by ivan.moony »
Did you notice that today is the first day of the rest of your life?

*

Freddy

  • Administrator
  • **********************
  • Colossus
  • *
  • 6241
  • Mostly Harmless
Re: What's everyone up to ?
« Reply #918 on: December 31, 2017, 11:40:36 pm »
Watched Ex Machina finally the other night. I always thought it was pronounced Mash-eena, but it appears it's Mack-ena.

Anyway, it was a good film, less about action packed AI fare and more about philosophical issues, which was fine. The Turing Test turned up again as it does in a few movies along these lines. In this movie it seemed more appropriate than others - there's a slight twist on it too which I liked.

Acting was good, but I have to admit I found it a bit depressing too. I probably won't watch it again, but it was worth watching.

By now some of us here must have a book or movie in us I reckon.

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Global Moderator
  • *******************
  • Prometheus
  • *
  • 4671
Re: What's everyone up to ?
« Reply #919 on: January 01, 2018, 04:22:23 am »
Freddy,

Was that a gentle nudge for Mav to continue work on his story? We've all been badgering him for ages. I'm sure the rest is still in him, it's just that like with so many of us, Life seems to get in the way of our lofty pursuits.

In the world of AI, it's the thought that counts!

 


Google’s Deeplearn.js brings machine learning to the browser
by Freddy (AI News )
January 17, 2018, 11:03:49 pm
Robot Ice Cream Cone Server
by ranch vermin (Robotics News)
January 16, 2018, 10:21:37 am
Three EECS professors join leadership team
by Tyler (Robotics News)
January 13, 2018, 12:00:04 pm
Give your robot some muscles!
by Freddy (Robotics News)
January 12, 2018, 08:41:21 pm
Comparison of Digital Assistants
by Art (AI News )
January 07, 2018, 09:04:51 pm

Users Online

32 Guests, 1 User
Users active in past 15 minutes:
keghn
[Trusty Member]

Most Online Today: 47. Most Online Ever: 208 (August 27, 2008, 09:36:30 am)

Articles