Results 51 to 60 of about 696,420 (220)
Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving
IEEE Open Journal of Intelligent Transportation Systems, 2022 Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines.
Lukas Westhofen +4 more
doaj +1 more source
Interpolation in local theory extensions [PDF]
, 2008 In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the base theory as
Shankar Natarajan +1 more
core +3 more sources
Improving the learning of clinical reasoning through computer-based cognitive representation [PDF]
Medical Education Online, 2014 Objective: Clinical reasoning is usually taught using a problem-solving approach, which is widely adopted in medical education. However, learning through problem solving is difficult as a result of the contextualization and dynamic aspects of actual ...
Bian Wu +3 more
doaj +1 more source
Extensible Knowledge Representation: the Case of Description Reasoners [PDF]
Journal of Artificial Intelligence Research, 1999 This paper offers an approach to extensible knowledge representation and reasoning for a family of formalisms known as Description Logics. The approach is based on the notion of adding new concept constructors, and includes a heuristic methodology for specifying the desired extensions, as well as a modularized software architecture that ...
openaire +5 more sources
Tractable Reasoning In Knowledge Representation Systems
, 1995 This dissertation addresses some problems raised by the well-known intractability of deductive reasoning in even moderately expressive knowledge representation systems. Starting from boolean constraint propagation (BCP), a previously known linear-time incomplete reasoner for clausal propositional theories, we develop fact propagation (FP) to deal with ...
Alex Borgida, Mukesh Dalal
openaire +3 more sources
A Knowledge Representation and Reasoning System for Multimodal Neuroimaging Studies
Inteligencia Artificial, 2017 Multimodal neuroimaging analyses are of major interest for both research and clinical practice, enabling the combined evaluation of the structure and function of the human brain. These analyses generate large volumes of data and consequently increase the
Ana Coelho +5 more
doaj +1 more source
Information, knowledge and the context of interaction [PDF]
, 2008 Representing knowledge as information content alone is insufficient in providing us with an understanding of the world around us. A combination of context as well as reasoning of the information content is fundamental to representing knowledge, within ...
Sharif, A M
core
Contextual knowledge representation and reasoning on knowledge graphs
, 2021 Dealing with context-sensitive knowledge has been challenging in Artificial Intelligence in general and the Semantic Web in particular. The standard Semantic Web languages (RDF/RDFS/OWL) and reasoning tools do not explicitly consider the contextual dimension of knowledge, i.e., a particular statement (RDF triple) is valid only in certain circumstances ...
openaire +1 more source
An Ontology-Based Expert System for Rice Disease Identification and Control Recommendation
Applied Sciences, 2021 A great deal of information related to rice cultivation has been published on the web. Conventionally, this information is studied by end-users to identify pests, and to prevent production losses from rice diseases. Despite its benefits, such information
Watanee Jearanaiwongkul +3 more
doaj +1 more source
Research on Traditional Chinese Medicine: Domain Knowledge Graph Completion and Quality Evaluation
JMIR Medical InformaticsBackgroundKnowledge graphs (KGs) can integrate domain knowledge into a traditional Chinese medicine (TCM) intelligent syndrome differentiation model. However, the quality of current KGs in the TCM domain varies greatly, related to
Chang Liu +7 more
doaj +1 more source