Can I read A Formal Model for Knowledge-based Systems Verification on EtoBox?

A Formal Model for Knowledge-based Systems Verification by Luis M. Laita; Julia Couto; Luis De Ledesma; Alejandro Fernández Margarit is a Computer Science article available to read on EtoBox.

What is A Formal Model for Knowledge-based Systems Verification about?

A logico-algebraic model for verification of Knowledge Based Systems, based on Abraham Robinson's meta-algebra, is presented in this article. The set of rules of Knowledge Based System is considered to be the set of axioms of a theory "T". The model consists of (i) the collection "P" of all well formed formulas of the language of T, (ii) a subset Po of P that has as its elements the axioms of a given logic (bivalued, intuitionistic, or other), plus all the theorems that can be deduced from this logic inside the language of T, (iii) some distinguished subsets of P, to be called m-ideals and m-filters, that depend on T and Po. Important concepts that are involved in the verification of Knowledge Based Systems are considered, such as forward and backward reasoning consistencies. Appropriate characterizations are obtained by using properties of m-ideals and m-filters.

Who reads A Formal Model for Knowledge-based Systems Verification?

Author

Luis M. Laita; Julia Couto; Luis De Ledesma; Alejandro Fernández Margarit

Publisher

Hindawi Limited

Published

1994

Language

EN

Field

Computer Science (Physical Sciences)