id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_lpc476slxvcqfexd5moavsefpy	Eugenio Roanes-Lozano	An algebraic approach to rule based expert systems	2010	22	.pdf	application/pdf	10321	1455	78	of Rule Based Expert Systems (RBES) using algebraic inference engines and based on Gröbner bases Based Expert Systems (RBES) using algebraic inference engines. consequence in multi-valued logic with an ideal membership in a polynomial residue class ring). We can obtain a polynomial model for the Boolean algebra associated to (propositional) Boolean Logic, as we can move from the propositional Boolean algebra to the polynomial ring following the two alternative As a consequence, we shall be able to implement very easily an algebraic tool to perform effective computations in propositional Boolean logic. Definition 10 In the propositional Boolean algebra (C,∨,∧,¬,→), the (principal) ideal generated by Q Definition 17 A RBES is said to be inconsistent if there is a consistent set of facts verifying that contradiction can be obtained by forward firing of these facts and the rules and the negation of the integrity A polynomial model for the propositional Boolean algebra associated to RBES	./cache/work_lpc476slxvcqfexd5moavsefpy.pdf	./txt/work_lpc476slxvcqfexd5moavsefpy.txt