id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_txjggjbpvjgfvcf7orekdbf6o4	MARC BEZEM	Semantics and Consistency of Rule based Expert Systems	1991	16	.pdf	application/pdf	7811	792	73	Semantics and Consistency of Rule-based Expert Systems Semantics and Consistency of Rule-based Expert Systems many-sorted predicate logic and is sufficiently rich to capture an interesting class of rule-based expert systems and deductive databases. rule-based expert systems, but the techniques can also be applied to deductive databases with functional dependencies. The interpretation of the knowledge in rule-based expert systems is more operational than declarative: same <o,a,v> is true if and only if <o,a,v> occurs as fact (with certainty factor > 0.2), In Section 3 we shall characterize expert systems as many-sorted theories of a certain type. Subdividing a set of constants into sorts and typing the predicate and function symbols considerably 3. RULE-BASED ExPERT SYSTEMS AS MANY-SORTED THEORIES Let EQ denote the set of equality axioms for all sorts 11, then we have by consistency problem of indexed propositional expert systems, all whose explicit axioms are Hom BEZEM, Consistency of rule-based expert systems.	./cache/work_txjggjbpvjgfvcf7orekdbf6o4.pdf	./txt/work_txjggjbpvjgfvcf7orekdbf6o4.txt