An expert system for managing medical appropriateness criteria based on computer algebra techniques

DOI10.1016/S0898-1221(01)00258-9zbMath1002.68170MaRDI QIDQ1609885

V. Maojo, Laura Laita, Luis M. Laita, Eugenio Roanes-Macías, Eugenio Roanes-Lozano, Luis de Ledesma

Publication date: 18 August 2002

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

zbMATH Keywords

Gröbner basesexpert systemrule-based expert system

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

A Groebner bases-based approach to backward reasoning in rule based expert systems ⋮ A Gröbner bases-based rule based expert system for fibromyalgia diagnosis ⋮ A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm ⋮ A polynomial model for logics with a prime power number of truth values ⋮ A portable knowledge-based system for car breakdown evaluation ⋮ A prototype of a RBES for personalized menus generation ⋮ A logic-algebraic approach to decision taking in a railway interlocking system ⋮ An algebraic approach to rule based expert systems

Uses Software

• CoCoA

Cites Work

• Unnamed Item
• Refutational theorem proving using term-rewriting systems
• Multi-valued logic and Gröbner bases with applications to modal logic
• Some features of \(CoCoA 3\)
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• Polynomial algorithms in computer algebra
• Lifting standard bases in filtered structures