Results 11 to 20 of about 76,636 (151)
Epistemic Logic: A Survey of the Logic of Knowledge
Principia: An International Journal of Epistemology, 2018 Nesta resenha, eu destaco algumas das inovações na lógica epistêmica desenvolvida por Nicholas Rescher e amplio a discussão para o ensino de virtudes intelectuais.
Alexandre Ziani de Borba
doaj +2 more sources
Applications of a logic of knowledge to motion planning under uncertainty [PDF]
JACM, 1997 Ronen I. Brafman +3 more
openalex +2 more sources
Knowing Knowledge: Epistemological Study of Knowledge in Transformers
Applied Sciences, 2023 Statistical learners are leading towards auto-epistemic logic, but is it the right way to progress in artificial intelligence (AI)? Ways to discover AI fit the senses and the intellect.
Leondardo Ranaldi, Giulia Pucci
semanticscholar +1 more source
Loop-check elimination for non-transitive distributed knowledge logic
Lietuvos Matematikos Rinkinys, 2008 A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed.
Aida Pliuškevičienė
doaj +1 more source
An Epistemic Foundation for Authentication Logics (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen.
Joseph Y. Halpern +2 more
doaj +1 more source
A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics
Algorithms, 2021 Logic-based knowledge representation is one of the main building blocks of (logic-based) artificial intelligence. While most successful knowledge representation languages are based on classical logic, realistic intelligent applications need to handle ...
Rafael Peñaloza
doaj +1 more source
Logic Attention Based Neighborhood Aggregation for Inductive Knowledge Graph Embedding [PDF]
AAAI Conference on Artificial Intelligence, 2018 Knowledge graph embedding aims at modeling entities and relations with low-dimensional vectors. Most previous methods require that all entities should be seen during training, which is unpractical for real-world knowledge graphs with new entities ...
Peifeng Wang +3 more
semanticscholar +1 more source
Logic of Algorithmic Knowledge
Studies in Logic, Grammar and Rhetoric, 2015 In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.
Surowik Dariusz
doaj +1 more source
LOGIC METHODS OF EXPRESSION IN HUMANITARIAN KNOWLEDGE
Вісник Харківського національного університету імені В.Н. Каразіна. Серія Філософія, філософські перипетії, 2019 Purpose: finding out the features of logical methods for obtaining conclusions on humanitarian subjects. The task of this scientific research is to analyze the logical paradigmatic aspects of humanitarian knowledge, such as the differences in the ...
Olena M. Yurkevych
doaj +1 more source
Rule Learning over Knowledge Graphs: A Review [PDF]
Transactions on Graph Data and Knowledge, 2023 Compared to black-box neural networks, logic rules express explicit knowledge, can provide human-understandable explanations for reasoning processes, and have found their wide application in knowledge graphs and other downstream tasks.
Wu, Hong +4 more
doaj +1 more source