A Purely Functional Computer Algebra System Embedded in Haskell

Ishii, Hiromi

doi:10.1007/978-3-319-99639-4_20

Cited by 2 publications

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another advantage of interpretation in CAS is that once the methods have been designed and interpreted, the specific algebraic resources needed to perform them can be determined. Moreover, it is possible to program the algorithms, used in the solution, in general-purpose programming languages [2], using when necessary, libraries that calculate the specific algebraic techniques (e.g., [15]). This way the verification task does not depend on the correctness of third-party (opaque) software as some commercial CAS.…”

Section: Introductionmentioning

confidence: 99%

Towards a Notion of Basis for Knowledge-Based Systems—Applications

et al. 2021

View full text Add to dashboard Cite

In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the reasoning leads to more efficient processes. A point of view that provides valuable insights is the algebraic one. In this work, a notion of basis (and dimension) for Knowledge Bases in Propositional Logic associated with knowledge forgetting is introduced. It is based on ideas that come from the translation of such logic in (Computer) Algebra, particularly from the interpretation of variable forgetting. In this paper, the concept of weak base is defined as a set of variables sufficient to decide the consistency using variable forgetting. Several applications of weak bases are presented in order to show their usefulness in KBS reasoning and to justify their study and use in solving problems within this topic.

show abstract

Section: Introductionmentioning

confidence: 99%