Parallel inference search in logical calculus based on the algebraic programming system

DOI10.1007/S10559-010-9243-9MaRDI QIDQ2452767zbMATH OpenOpenAlexFDO

Authors V. N. German, N. N. Shchogoleva, A. A. Letichevskij, Marina K. Morokhovets

Publication date 5 June 2014

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-010-9243-9

zbMATH Keywords

clusterparallel computingevidence algorithminference searchrewriting rulesalgebraic programming system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Parallel algorithms in computer science (68W10)

Recommendations

• A system of parallel inference with the use of a connection graph
• Parallelism in deductive inference on graph structures
• scientific article; zbMATH DE number 4164187
• A parallel approach for theorem proving in propositional logic
• scientific article; zbMATH DE number 3945375

Cites work

• scientific article; zbMATH DE number 4164187 (Why is no real title available?)
• Computations in APS
• Deductive tools of an algebraic programming system
• Some problems in the theories of automata and artificial intelligence

Cited in

(6)

• On some strategies of logical inference search that are driven by goals
• scientific article; zbMATH DE number 4176453 (Why is no real title available?)
• Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
• scientific article; zbMATH DE number 4082953 (Why is no real title available?)
• A logic programming system based on cortege algebra
• scientific article; zbMATH DE number 3945375 (Why is no real title available?)

Describes a project that uses

Uses Software

• PARTHEO
• APS
• APS-1

This page was built for publication: Parallel inference search in logical calculus based on the algebraic programming system

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