Xỏc minh cỏc hệ cơ sở tri thức liờn quan đến việc kiểm tra khả năng hệ thống lý luận. Cụ thể hơn, hệ thống đó được xỏc nhận nếu nú cú kết luận giả thuyết đỏp ứng, và cơ sở tri thức bao gồm cỏc kiến thức đầy đủ và nhất quỏn [7, 8]. Mục đớch của đỏnh giỏ và xỏc minh là đảm bảo chất lượng của phần mềm. Cho cỏc hệ cơ sở tri thức trong sử dụng quan trọng, cũng như nhiều ứng dụng khụng quan trọng trong sử dụng, độ tin cậy của hệ thống phải được đảm bảo trước khi làm việc của hệ thống cần được xem xột. Hệ cơ sở tri thức cũng được coi là thụng mimh, nếu hệ cơ sở rỳt ra kết luận sai này cú thể dẫn đến mất sự tớn nhiệm của người sử dụng. Nú cú thể dẫn đến việc sử dụng ớt thường xuyờn của hệ cơ sở tri thức.
Luận văn này chủ yếu là kiểm định và xỏc minh của hệ cơ sở luật chuyờn gia dựa trờn luật lệ nhưng nú cú thể thớch hợp để xỏc định sự phõn biệt giữa xỏc minh và kiểm định vỡ điều này được biết là thường bị nhầm lẫn. Xỏc minh trong cụng nghệ phần mềm (và do đú cũng trong kỹ thuật tri thức) là quỏ trỡnh kiểm tra xem hệ thống đỏp ứng cỏc yờu cầu người dựng chỉ định. Kiểm định là quỏ trỡnh kiểm tra xem phần mềm đỏp ứng cỏc yờu cầu sử dụng thực tế. Do đú, xỏc minh cú thể là một phần của quỏ trỡnh kiểm định. Tuy nhiờn, xỏc minh hiếm khi chiếm toàn bộ quỏ trỡnh kiểm định, vỡ những khú khăn thường được ỏp dụng trong việc nắm bắt cỏc yờu cầu người dựng chỉ định.
Trong bối cảnh hệ cơ sở tri thức, xỏc minh của cơ sở tri thức là quỏ trỡnh đảm bảo chất lượng của cỏc cơ sở tri thức. Kiểm định là quỏ trỡnh kiểm tra cỏc kiến thức của cỏc chuyờn gia con người được thể hiện chớnh xỏc trong cơ sở tri thức.
Xỏc minh của cỏc cơ sở tri thức thực sự là một quỏ trỡnh hai bước:
- Kiểm tra việc tuõn thủ giữa cỏc cơ sở tri thức và thụng số kỹ thuật hệ thống. Điều này bao gồm vớ dụ như xem xột nếu một mụ hỡnh trỡnh bày kiến thức đỳng đắn đó được thực hiện. Ngoài ra, để kiểm tra nếu giao diện người dựng đỏp ứng cỏc đặc điểm kỹ thuật và nếu cỏc yờu cầu về thời gian hiệu lực của hệ thống được đỏp ứng.
- Kiểm tra cỏc lỗi gõy ra bởi cỏc nhà phỏt triển của cơ sở tri thức. Những lỗi này được phõn loại thành mõu thuẫn ngữ nghĩa hay cỳ phỏp. Cả hai bước quan trọng khụng kộm để đảm bảo độ tin cậy của cơ sở tri thức. Tuy nhiờn hệ cơ sở tri thức trờn được xỏc nhận qua cỏc hiện vật được thuyết minh, được xõy dựng và triển khai thực hiện hơn một thập kỷ trước, hệ thống do đú coi được xỏc nhận liờn quan đến việc tuõn thủ cỏc thụng số kỹ thuật. Do đú, luận văn này cú sự tập trung vào bước thứ hai của việc xỏc minh kiến thức cơ bản; kiểm tra cỏc mõu thuẫn trong cơ sở tri thức .
Lỗi được phỏt hiện bởi cỏc kỹ sư tri thức trong quỏ trỡnh phỏt triển của cơ sở tri thức cú thể xảy ra vỡ nhiều lý do. Nú cú thể là sai lầm về chớnh tả hoặc cỳ phỏp, nhưng lỗi cũng cú thể được gõy ra bởi vỡ kiến thức của chuyờn gia để bắt đầu với khụng đầy đủ, khụng phự hợp, hoặc chỉ đơn giản là một phần sai. Hơn nữa, nguyờn nhõn của lỗi này cũng cú thể là tri thức của chuyờn gia đó khụng được chuyển giao đầy đủ cho cỏc đại diện trờn mỏy tớnh.
Mõu thuẫn cỳ phỏp và ngữ nghĩa ảnh hưởng đến tớnh đầy đủ và nhất quỏn của cỏc cơ sở tri thức. Một cơ sở tri thức đầy đủ và phự hợp đảm bảo rằng cỏc hệ thống dựa trờn tri thức một cỏch chớnh xỏc đại diện cho kiến thức của cỏc chuyờn gia, nhưng khụng cú nghĩa là hệ thống sẽ đưa ra kết luận chớnh xỏc. Một cơ sở tri thức đầy đủ cú nghĩa là nú cú thể đạt được tất cả cỏc kết luận cú thể được rỳt ra bởi cỏc cụng cụ suy luận. Một cơ sở tri thức phự hợp là miễn phớ cỏc quy định mõu thuẫn nhau, giống hệt nhau và gộp.
Xỏc minh của sự mõu thuẫn cỳ phỏp trong cơ sở luật chung cú nghĩa để kiểm tra trong tỏm mõu thuẫn hiển thị trong hỡnh 2.2.
Hỡnh 2.2 Sự mõu thuẫn cỳ phỏp trong luật cơ sở
Như được chỉ ra trong hỡnh 2.2, đầu tiờn của những mõu thuẫn ảnh hưởng đến tớnh nhất quỏn của luật cơ sở, và cuối cựng ba ảnh hưởng đến tớnh đầy đủ của cỏc luật cơ sở.
Xỏc minh tớnh nhất quỏn và đầy đủ trong một hệ cơ sở là một cỏch tiếp cận heuristic, chứ khụng phải là xỏc định, vỡ hai lý do. Thứ nhất, một sự bất thường cú thể được coi là một lỗi tiềm năng hay nú cú thể là một lỗi thực tế, hoặc cỏch khỏc cú thể được dự định. Thứ hai, một số phương phỏp để phỏt hiện dị thường được tự heuristic, và do đú khụng đảm bảo rằng tất cả cỏc bất thường mang tớnh sẽ được phỏt hiện.