Results 31 to 40 of about 1,497,677 (335)
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
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective [PDF]
, 2000 A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem.
Engelfriet, Joeri +6 more
core +7 more sources
Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases [PDF]
, 2011 Open Answer Set Programming (OASP) is an undecidable framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist.
Feier, Cristina, Heymans, Stijn
core +2 more sources
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
The semiotic dimension of transmedia design
InfoDesign: Brazilian Journal of Information Design, 2022 This discussion is based on the following questions: a) What are the limits and potential of transmedia design for contemporary communication planning?; b) How and to what extent can semiotics contribute to the issue?
Geane Carvalho Alzamora
doaj +1 more source
Applications of logic of correlated knowledge to quantum mechanics
Lietuvos Matematikos Rinkinys, 2018 Knowledge of agents associated to particles of quantum system has been modelled in the paper. Also analysis of formulas and satisfiability in the model have been done.
Haroldas Giedra, Romas Alonderis
doaj +1 more source
Elimination of loop-check for logic of idealized knowledge
Lietuvos Matematikos Rinkinys, 2009 In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.
Aida Pliuškevičienė
doaj +1 more source
f-SHOIQN:a fuzzy and non-monotonic description logic [PDF]
Jisuanji gongcheng, 2019 There is a lot of fuzzy and non-monotonic knowledge in the semantic Web,which cannot be expressed by the current description logic.Aiming at the problem,this paper adds weak negative constructor and proposes a fuzzy and non-monotonic description logic f ...
WANG Xing,ZHAO Qiaoxia,CHEN Ji,LI Jia
doaj +1 more source
Justification logics, logics of knowledge, and conservativity [PDF]
Annals of Mathematics and Artificial Intelligence, 2008 The author first reminds the reader of the axiomatizations of the main logics of knowledge, namely, \textbf{T} (in which agents have the ability to apply logical reasoning to their beliefs, which are necessarily true), \textbf{S4} (in which agents also know they know what they know), and \textbf{S5} (in which agents also know they don't know what they ...
openaire +1 more source