Algebraic approach to logical inference implementation

MaRDI QIDQ4610061zbMATH OpenFDO

Authors Boris Kulik, Alexander A. Fridman, Alexander Zuenko

Publication date 5 April 2018

zbMATH Keywords

\(n\)-tuple algebradata processinggeneral theory of relationsintelligent systemknowledge processing languageknowledge representationlogical inferencemultiplace relationparallel computing

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• \(n\)-tuple algebra-based probabilistic logic
• Development of \(n\)-tuple algebra for logical analysis of databases with the use of two-place predicates
• scientific article; zbMATH DE number 36615
• Representation of logical systems in a probabilistic space in terms of cortege algebra. I: Elements of cortege algebra
• scientific article; zbMATH DE number 3956470

Cited in

(3)

• Algebraic approach to algorithmic logic
• scientific article; zbMATH DE number 6001202 (Why is no real title available?)
• Development of \(n\)-tuple algebra for logical analysis of databases with the use of two-place predicates

This page was built for publication: Algebraic approach to logical inference implementation

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