Anyone wants to learn logic? in General AI Discussion

Here is Stanford Introduction to Logic, an online course on symbolic logic. I believe it covers the most interesting knowledge of logic in general. Enjoy :)

40 Comments | Started December 07, 2018, 01:32:40 pm


Nightflyers in AI in Film and Literature.

This is something of a psychological thriller...aboard a large spaceship.

Nightflyers is an American science fiction television series on Syfy that premiered on December 2, 2018, based on the novella and series of short stories of the same name by George R. R. Martin. The series is set to consist of ten episodes.

In 2093, a team of scientists embarks on a journey into space aboard an advanced ship called the Nightflyer to make first contact with alien life-forms. However, when terrifying and violent events occur, the team begins to question each other and to realize there is something on-board the Nightflyer with them.


2 Comments | Started December 11, 2018, 01:35:04 pm


Borsuk in AI Programming

I have a new project. My former project was Perkun, an experimental AI language based on my own optimization algorithm supporting hidden variables. My new project is Borsuk, you can download it from:


It is not finished yet, but I wanted to discuss it here. The problem with Perkun is that it assumes all hidden variables to be not independent (the most general assumption but also very costly in terms of memory and computational power). Borsuk will assume that most hidden variables are independent. This will allow it to have hundreds, possibly thousands of hidden variables.

Take a look at the file examples/example2_fantasy.borsuk . If you run it with borsuk (which you have to build first) you will obtain a file content of examples/example2_fantasy.txt. It contains among others 387 hidden variables generated from the following code:

hidden variable has_(A:person)_(X:activity)_(B:person):boolean;
hidden variable does_(A:person)_like_(B:person):boolean;
hidden variable is_(A:person)_afraid_of_(B:person):boolean;
hidden variable (A:person)_is_in_(X:town):boolean;
hidden variable has_(A:person)_told_(B:person)_that_(C:person)_has_(X:activity)_(D:person):boolean;

These are "templates" of the hidden variables to be generated. The last one for example generates all tuples (A,B,C,X,D) satisfying the condition A is a person, B is a person, C is a person, X is an activity, D is a person. It then generates variables like:

hidden variable has_pregor_told_dorban_that_pregor_has_attacked_me:{none,false,true};

In short - I plan to use the same algorithm but allow many more hidden variables than in Perkun.

Borsuk requires the SWI Prolog (the devel packages) to be built.

Started Today at 12:01:26 am


Why AI decentralisation is vital for the future of humanity? in Future of AI

Digital immortality: why AI decentralisation is vital for the future of humanity, and it’s not about open markets only

We're waiting for your opinions.

3 Comments | Started December 05, 2018, 03:05:33 pm


XKCD Comic : Laptop Issues in XKCD Comic

Laptop Issues
10 December 2018, 5:00 am

Hang on, we got a call from the feds. They say we can do whatever with him, but the EPA doesn't want that laptop in the ocean. They're sending a team.

Source: xkcd.com

Started December 11, 2018, 12:00:40 pm

Hopefully Something

ONE CODE TO RULE THEM ALL? in General AI Discussion

Could intelligence run on things other than logic? I'm thinking a mimicry program guided by instincts could work too. Our whole perception of existence is the result of our insides trying to copy our outsides. Humans can take the same thing a step further, we can learn to represent the world in our heads with symbols. There are three levels "Monkey experience monkey do."  "Monkey see monkey do." "Monkey explain monkey do." But they all use the same principle of mimicry of "doings" in service to instincts. The difference is the amount of resolution required for comprehension. It keeps dropping and so intelligence keeps rising. Just a theory, but I like the simplicity of the holy grail program. One code to rule them all!

4 Comments | Started December 11, 2018, 12:48:56 am




6 Comments | Started December 09, 2018, 03:24:07 am


Yes, the Octopus Is Smart as Heck. But Why? in General Chat

Okay more animal fun, hopefully this is new this time.


It has eight arms, three hearts — and a plan. Scientists aren’t sure how the cephalopods got to be so intelligent.

To demonstrate how smart an octopus can be, Piero Amodio points to a YouTube video. It shows an octopus pulling two halves of a coconut shell together to hide inside. Later the animal stacks the shells together like nesting bowls — and carts them away.

“It suggests the octopus is carrying these tools around because it has some understanding they may be useful in the future,” said Mr. Amodio, a graduate student studying animal intelligence at the University of Cambridge in Britain.

I liked this too:

“We can’t take for granted that there’s just one way to intelligence,” Mr. Amodio said. “There could be different paths.”

Full article here: https://www.nytimes.com/2018/11/30/science/animal-intelligence-octopus-cephalopods.html

26 Comments | Started December 05, 2018, 09:41:18 am


Top 3 A.I. Community websites in Video


3 Comments | Started December 06, 2018, 01:26:18 am


XKCD Comic : Mercator Projection in XKCD Comic

Mercator Projection
7 December 2018, 5:00 am

The other great lakes are just water on the far side of Canada Island. If you drive north from the Pacific northwest you actually cross directly into Alaska, although a few officials--confused by the Mercator distortion--have put up border signs.

Source: xkcd.com

Started December 08, 2018, 12:01:41 pm
Mortal Engines

Mortal Engines in Robots in Movies

Mortal Engines is a 2018 post-apocalyptic adventure film directed by Christian Rivers and with a screenplay by Fran WalshPhilippa Boyens and Peter Jackson, based on the novel of the same name by Philip Reeve.

Tom (Robert Sheehan) is a young Londoner who has only ever lived inside his travelling hometown, and his feet have never touched grass, mud or land. His first taste of the outside comes quite abruptly: Tom gets in the way of an attempt by the masked Hester (Hera Hilmar) to kill Thaddeus Valentine (Hugo Weaving), a powerful man she blames for her mother’s murder, and both Hester and Tom end up thrown out of the moving "traction" city, to fend for themselves.

Stars Stephen Lang as Shrike, the last of an undead battalion of soldiers known as Stalkers, who were war casualties re-animated with machine parts, and Hester's guardian.

Dec 08, 2018, 18:50:44 pm
Alita: Battle Angel

Alita: Battle Angel in Robots in Movies

Alita: Battle Angel is an upcoming American cyberpunk action film based on Yukito Kishiro's manga Battle Angel Alita. Produced by James Cameron and Jon Landau, the film is directed by Robert Rodriguez from a screenplay by Cameron and Laeta Kalogridis.

Visionary filmmakers James Cameron (AVATAR) and Robert Rodriguez (SIN CITY) create a groundbreaking new heroine in ALITA: BATTLE ANGEL, an action-packed story of hope, love and empowerment. Set several centuries in the future, the abandoned Alita (Rosa Salazar) is found in the scrapyard of Iron City by Ido (Christoph Waltz), a compassionate cyber-doctor who takes the unconscious cyborg Alita to his clinic. When Alita awakens she has no memory of who she is, nor does she have any recognition of the world she finds herself in. Everything is new to Alita, every experience a first.

As she learns to navigate her new life and the treacherous streets of Iron City, Ido tries to shield Alita from her mysterious past while her street-smart new friend, Hugo (Keean Johnson), offers instead to help trigger her memories. A growing affection develops between the two until deadly forces come after Alita and threaten her newfound relationships. It is then that Alita discovers she has extraordinary fighting abilities that could be used to save the friends and family she’s grown to love.

Determined to uncover the truth behind her origin, Alita sets out on a journey that will lead her to take on the injustices of this dark, corrupt world, and discover that one young woman can change the world in which she lives.

Scheduled to be released on February 14, 2019

Nov 16, 2018, 18:25:25 pm
The Beyond

The Beyond in Robots in Movies

A team of robotically-advanced astronauts travel through a new wormhole, but the mission returns early, sparking questions about what was discovered.

Nov 12, 2018, 22:38:18 pm
Mitsuku wins Loebner Prize 2018!

Mitsuku wins Loebner Prize 2018! in Articles

The Loebner Prize 2018 was held in Bletchley Park, England on September 8th this year and Mitsuku won it for a 4th time to equal the record number of wins. Only 2 other people (Joseph Weintraub and Bruce Wilcox) have achieved this. In this blog, I’ll explain more about the event, the day itself and a few personal thoughts about the future of the contest.

Sep 17, 2018, 19:10:51 pm
Automata (Series)

Automata (Series) in Robots on TV

In an alternate 1930's Prohibition-era New York City, it's not liquor that is outlawed but the future production of highly sentient robots known as automatons. Automata follows former NYPD detective turned private eye Sam Regal and his incredibly smart automaton partner, Carl Swangee. Together, they work to solve the case and understand each other in this dystopian America.

Sep 08, 2018, 00:16:22 am
Steve Worswick (Mitsuku) on BBC Radio 4

Steve Worswick (Mitsuku) on BBC Radio 4 in Other

Steve Worswick: "I appeared on BBC Radio 4 in August in a feature about chatbots. Leeds Beckett University were using one to offer places to students."

Sep 06, 2018, 23:50:39 pm

Extinction in Robots in Movies

Extinction is a 2018 American science fiction thriller film directed by Ben Young and written by Spenser Cohen, Eric Heisserer and Brad Kane. The film stars Lizzy Caplan, Michael Peña, Mike Colter, Lilly Aspell, Emma Booth, Israel Broussard, and Lex Shrapnel. It was released on Netflix on July 27, 2018.

Peter, an engineer, has recurring nightmares in which he and his family suffer through violent, alien invasion-like confrontations with an unknown enemy. As the nightmares become more stressful, they take a toll on his family, too.

Sep 06, 2018, 23:42:51 pm

Tau in Robots in Movies

Tau is a 2018 science fiction thriller film, directed by Federico D'Alessandro, from a screenplay by Noga Landau. It stars Maika Monroe, Ed Skrein and Gary Oldman.

It was released on June 29, 2018, by Netflix.

Julia is a loner who makes money as a thief in seedy nightclubs. One night, she is abducted from her home and wakes up restrained and gagged in a dark prison inside of a home with two other people, each with an implant in the back of their necks. As "subject 3," she endures a series of torturous psychological sessions by a shadowy figure in a lab. One night, she steals a pair of scissors and destroys the lab in an escape attempt, but she is stopped and the other two subjects are killed by a robot in the house, Aries, run by an artificial intelligence, Tau.

Alex, the technology executive who owns the house, reveals the implant is collecting her neural activity as she completes puzzles, and subjects her to more tests, because he is using the data to develop more advanced A.I. with a big project deadline in a few days.

Sep 06, 2018, 23:30:00 pm
Bot Development Frameworks - Getting Started

Bot Development Frameworks - Getting Started in Articles

What Are Bot Frameworks ?

Simply explained, a bot framework is where bots are built and where their behavior is defined. Developing and targeting so many messaging platforms and SDKs for chatbot development can be overwhelming. Bot development frameworks abstract away much of the manual work that's involved in building chatbots. A bot development framework consists of a Bot Builder SDK, Bot Connector, Developer Portal, and Bot Directory. There’s also an emulator that you can use to test the developed bot.

Mar 23, 2018, 20:00:23 pm