Results 11 to 20 of about 71,112 (263)
Logics of Statements in Context-Category Independent Basics
Mathematics, 2022 Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj +1 more source
Ontology-based Knowledge System and Team Verification Tool for Competitive Pokemon
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Competitive Pokemon is a domain with rich semantics and complex relationships between its elements. Current research in the domain has focused on developing AI agents to select moves within a match, ignoring the problem of team building.
Daniel Verdear, Ubbo Visser
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
The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking
AI, 2022 Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal ...
Farshad Badie, Luis M. Augusto
doaj +1 more source
The semantics of similarity in geographic information retrieval
Journal of Spatial Information Science, 2011 Similarity measures have a long tradition in fields such as information retrieval, artificial intelligence, and cognitive science. Within the last years, these measures have been extended and reused to measure semantic similarity; i.e., for comparing ...
Krzysztof Janowicz +2 more
doaj +1 more source
An ontology design for validating childhood cancer registry data
Frontiers in Oncology, 2023 Ontologies can provide a valuable role in the work of cancer registration, particularly as a tool for managing and navigating the various classification systems and coding rules.
Nicholas Nicholson +2 more
doaj +1 more source
Unification in the Description Logic EL [PDF]
Logical Methods in Computer Science, 2010 The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other hand, EL is used to define large biomedical ontologies.
Franz Baader, Barbara Morawska
doaj +1 more source
Strong Faithfulness for ELH Ontology Embeddings [PDF]
Transactions on Graph Data and KnowledgeOntology embedding methods are powerful approaches to represent and reason over structured knowledge in various domains. One advantage of ontology embeddings over knowledge graph embeddings is their ability to capture and impose an underlying schema to ...
Lacerda, Victor +2 more
doaj +1 more source
On Construction and Evaluation of Analogical Arguments for Persuasive Reasoning
Applied Artificial Intelligence, 2019 Analogical reasoning is a complex process based on a comparison between two pairs of concepts or states of affairs (aka. the source and the target) for characterizing certain features from one to another.
Teeradaj Racharak +3 more
doaj +1 more source
Argumentative Support for Structured HACCP Plans
Advances in Electrical and Computer Engineering, 2010 This research presents an argumentation based decision support system for implementing the Hazard Analysis at Critical Control Points (HACCP) standard in food industry.
GROZA, A., LETIA, I. A.
doaj +1 more source