The verification of knowledge bases in the intellectual

systems

P. Titenkov

It was..

1969

But let’s talk about computers

1976

1983

2014

Problem?

Problem

- Any solution? - No

Verification

Validation

Symantec web

Thank you!