Remarks on knowledge representation using predicate logic

MaRDI QIDQ2770739zbMATH OpenFDO

Authors I. Fekete

Publication date 13 February 2002

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

knowledge representationpredicate logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 4113930
• Multi-layer logic - a predicate logic including data structure as knowledge representation language
• scientific article; zbMATH DE number 1418279
• scientific article; zbMATH DE number 781332
• scientific article; zbMATH DE number 6606379

Cited in

(5)

• Multi-layer logic - a predicate logic including data structure as knowledge representation language
• A duality between Pawlak's knowledge representation systems and bi-consequence systems
• scientific article; zbMATH DE number 3887064 (Why is no real title available?)
• A PDL-Like Logic of Knowledge Acquisition
• The formalization of lists in the meta-language of normal forms of knowledge

This page was built for publication: Remarks on knowledge representation using predicate logic

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