A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple

DOI10.1007/978-3-540-85110-3_14MaRDI QIDQ5505497zbMATH OpenOpenAlexFDO

Authors Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes Macías

Publication date 27 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_14

zbMATH Keywords

Gröbner baseslogic and symbolic computingrule based expert systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Symbolic computation and algebraic computation (68W30)

Recommendations

• A symbolic-numeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL
• Multi-valued logic and Gröbner bases with applications to modal logic
• A Groebner bases-based approach to backward reasoning in rule based expert systems
• The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra

Cites work

• A logic and computer algebra-based expert system for diagnosis of anorexia
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• scientific article; zbMATH DE number 2125601 (Why is no real title available?)
• scientific article; zbMATH DE number 2112400 (Why is no real title available?)
• Multi-valued logic and Gröbner bases with applications to modal logic
• Refutational theorem proving using term-rewriting systems

Cited in

(8)

• A natural language for implementing algebraically expert systems
• A Groebner bases-based approach to backward reasoning in rule based expert systems
• scientific article; zbMATH DE number 1684386 (Why is no real title available?)
• A symbolic-numeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL
• A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
• The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
• Multi-valued logic and Gröbner bases with applications to modal logic
• An algebraic approach to rule based expert systems

Describes a project that uses

Uses Software

• Maple

This page was built for publication: A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505497)