Resolution Example in Artificial intelligence
Resolution is the process to prove a statement.
Resolution is a proof technique that works this way . two clauses that contain conflicting terms.
2. Combine those two clauses and cancel out the conflicting terms.

Steps in Resolution :
1. Converts facts into FOL
2. Converts FOL into CNF ( conjuctive Normal Form )
3. negate the statement to be proved , and add the result to the knowledge base.
4. Draw Resolution graph .

* find resolvable clauses and resolve them
* add results of resolution into the knowledge base .
* if empty clause (NIL) is produced , stop and report that original theorem is true .

Talk at Czech Institute of Informatics, Robotics, and Cybernetics ( on May 21st, 2018

AI technology has entered the mainstream of business and society, but there is still a large gap between the current crop of task-specific „narrow AI“ tools and the Artificial General Intelligences (AGIs) envisioned by futurists and SF authors. To get from here to true AGI will require advances in (at least) four different aspects. First, it will require coordination of different AI agents at various levels of specificity into an overall complex, adaptive AI network — which is the problem addressed by the SingularityNET blockchain-based AI framework. Second, it will require bridging of the algorithms used for low-level intelligence such as perception and movement (e.g. deep neural networks) with the algorithms used for high-level abstract reasoning (such as logic engines). Third, it will require embedding of AI systems in physical systems capable of interacting with the everyday human world in richly nuanced ways — such as the humanoid robots being developed at Hanson Robotics. Fourth, it will require the development of more sophisticated methods of guiding abstract reasoning algorithms based on history and context (an area lying at the intersection of AGI and automated theorem proving). Fortunately,while none of them are actually simple, all of these aspects of the AGI problem are topics of active research by outstanding teams around the world, making it plausible that AGI at the human level and beyond will be achieved during our lifetimes.

Dr. Ben Goertzel is one of the world’s foremost experts in Artificial General Intelligence, a subfield of AI oriented toward creating thinking machines with general cognitive capability at the human level and beyond. He also has decades of expertise applying AI to practical problems in areas ranging from natural language processing and data mining to robotics, video gaming, national security and bioinformatics. He has published nearly 20 scientific books and 140+ scientific research papers, and is the main architect and designer of the OpenCog system and associated design for human-level general intelligence.

Ben is the CEO of SingularityNET (a blockchain based AI platform company), and the Chief Scientist of Hanson Robotics, a robotics company that creates the world’s most advanced humanoid robots. Ben also serves as Chairman of the Artificial General Intelligence Society, which hosts the annual AGI research conference series, and the OpenCog Foundation.

Before relocating to Hong Kong in 2011, Dr. Goertzel held executive roles at AI consulting and product development firms in Washington DC (CEO, Chairman and Chief Scientist at Novamente LLC and Biomind LLC) and New York City (CTO at Webmind Inc.). Prior to that, he served as faculty in mathematics at the University of Nevada Las Vegas, in cognitive science as the University of Western Australia, and in computer science at Waikato University in New Zealand, at the City University of New York and at the University of New Mexico in Albuquerque. Dr. Goertzel holds a PhD degree in mathematics from Temple University in Philadelphia, USA.

Hello guys welcome to another video, In this video we give a small tutorial about making your own AI Assistant using a developer platform provided by google called Dialogflow. If you want to make AI assistant this is the video you should look for.

In case if you are developer or just willing to embed your AI into and website or Application the link down below has detailed steps and a section where the writer of article explains how you can embed you AI Assistant:-

If you made your own version do send us a small clip on twitter we will be happy to see. If you like this video do like and share it and subscribe to our channel and you can suggest us more topics like this.


Kunal Deshpande:
Rishikesh Chivate:
Rikk & Kikk:

Please watch: “The Most Secured Windows you need to know!”

This presentation was recorded at GOTO Amsterdam 2017

David Stibbe – Consultant at Quintor

In this session we introduce the basics about Machine Learning, explain what it is and how it relates to terms like Big Data and Artificial Intelligence.
We’ll show the various machine learning platforms that are used today like Watson, Tensorflow and Deepmind, and illustrate this […]

Download slides and read the full abstract here:
#DataScience #ML #DeepLearning

How can we tell if a drink is beer or wine? Machine learning, of course! In this episode of Cloud AI Adventures, Yufeng walks through the 7 steps involved in applied machine learning.

The 7 Steps of Machine Learning article:

Watch more episodes of AI Adventures here:

TensorFlow Playground:
Machine Learning Workflow:
Hands-on intro level lab Baseline: Data, ML, AI →

Want more machine learning? Subscribe to the channel:

DARPA SUPERHIT 2021 Play Now!Close


(StoneBridge Mix)

Play Now!