No internet? No problem! Download any course on the Alison App and learn on the go. 📲 Download Courses &
Learn Without Internet Coming soon to iOS
Get App
Explorer les diplômes et les certificats
Découvrir les carrières
Plus
LMS
Représentation et raisonnement avancés des connaissances
Advanced Level

Représentation et raisonnement avancés des connaissances

1,813Learners already enrolled
6
Not Interested
  • 10-15 Avg Hours
  • CPD Accredited
Start Learning
  1. IL
  2. STEM
  3. Représentation et raisonnement avancés des connaissances

Représentation et raisonnement avancés des connaissances

Découvrez les méthodes de représentation des connaissances, d'apprentissage informatique et de raisonnement dans ce cours en ligne gratuit.
La représentation des connaissances et le raisonnement constituent un aspect essentiel de l'intelligence artificielle. Ce cours en ligne gratuit décrit les différentes méthodes de représentation et de ra... La représentation des connaissances et le raisonnement constituent un aspect essentiel de l'intelligence artificielle. Ce cours en ligne gratuit décrit les différentes méthodes de représentation et de raisonnement des connaissances, les approches de l'apprentissage informatique, l'ordre des logiques et les domaines d'application des processus dans le domaine du raisonnement cognitif. À la fin de ce cours, vous serez mieux informé de la logique qui sous-tend la logique informatique et le raisonnement.
COURSE PUBLISHER NPTELUniversity lecturer curated courses
Start Learning

What You Will Learn In This Free Course

  • Describe resolutions for ground cla...
  • List the different types of resolut...
  • Discuss resolutions refutation proo...
  • Describe the concept of soundness a...
  • Describe resolutions for ground clauses and resolvents 
  • List the different types of resolution rules 
  • Discuss resolutions refutation proof systems 
  • Describe the concept of soundness and completeness 
  • Explain the answering of queries in first order logic 
  • Describe resolutions for ground clauses and resolvents 
  • List the different types of resolution rules 
  • Discuss resolutions refutation proof systems 
  • Describe the concept of soundness and completeness 
  • Describe the answering of queries in first order logic 
  • Explain the answer extraction process in first order logic 
  • Discuss the infinite resolution branch in the procedural control of reasoning 
View All Learning Outcomes View Less
Course Modules
Course Description
Alison Certificates
Module

Knowledge Representation and Reasoning: First Order Logic

In this module, you will learn about how first order logic also called predicate logic for first order predicate calculus is a language co-opted by the artificial intelligence comm... Read More In this module, you will learn about how first order logic also called predicate logic for first order predicate calculus is a language co-opted by the artificial intelligence community for knowledge representation purposes. Read Less
Start Learning
Module

Knowledge Representation and Reasoning: Inference in First Order Logic

In this module, you will learn how inferences are used as a process of arriving at new sentences from existing sentences. You will also learn about how conceptualization consists o... Read More In this module, you will learn how inferences are used as a process of arriving at new sentences from existing sentences. You will also learn about how conceptualization consists of the objects functions and relations. Read Less
Start Learning
Module

Course assessment

 Start Learning

Knowledge & Skills You Will Learn

No internet? No problem! Download any course on the Alison App and learn on the go. 📲 Download Courses & Learn Without Internet Coming soon to iOS
Get App

Complete This CPD Accredited Course & Get Your certificate!

  • Certify Your Skills
    A CPD accredited Alison Diploma/Certificate certifies the skills you’ve learned
  • Stand Out From The Crowd
    Add your Alison Certification to your resumé and stay ahead of the competition
  • Advance in Your Career
    Share your Alison Certification with potential employers to show off your skills and capabilities
Start Learning

Learner Reviews & Feedback For Représentation et raisonnement avancés des connaissances

6
Trina B. Alison Graduate
loved this course this course
Very interesting
Was This Review Helpful?
Report
Nadine Felecijf G. Alison Graduate
loved this course this course
Rule of inference called paramodulation when added to resolution principle guarantees refutation completeness even when involving inequality.
Was This Review Helpful?
Report
Back to course information

Want to create a customised learning path for your team?

Our dedicated Learning Advisors are here to help you curate a customised learning path tailored to your organisation's needs and goals.

Activate your Free LMS now Speak to Learning Advisor

Not sure where to begin? Or even what you want to do?

Discover the career most suitable for you and get started in the field with a step-by-step plan.

Get your Plan

About Your Alison Course Publisher

NPTEL's Alison Stats

NPTEL's Alison Stats

6,166,033 Learners1136 Courses32,661 Learners Benefited From Their Courses
The National Programme on Technology Enhanced Learning is an online learning platform founded in 2003 by the coming together of seven Indian Inst...Read More

More Free Online Courses by This Publisher

Learners Who Took This Course Also Enrolled In

Explore Subjects Related To This Course