Results 61 to 70 of about 74,791 (289)
A Formal Framework for Knowledge Acquisition: Going beyond Machine Learning
Entropy, 2022 Philosophers frequently define knowledge as justified, true belief. We built a mathematical framework that makes it possible to define learning (increasing number of true beliefs) and knowledge of an agent in precise ways, by phrasing belief in terms of ...
Ola Hössjer +2 more
doaj +1 more source
Necessity, a Leibnizian Thesis, and a Dialogical Semantics [PDF]
, 2017 In this paper, an interpretation of "necessity", inspired by a Leibnizian idea and based on the method of dialogical logic, is introduced. The semantic rules corresponding to such an account of necessity are developed, and then some peculiarities, and ...
Shafiei, Mohammad
core
What Do Large Language Models Know About Materials?
Advanced Engineering Materials, EarlyView.If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Randomness and Irreversiblity in Quantum Mechanics: A Worked Example for a Statistical Theory
Entropy, 2021 The randomness of some irreversible quantum phenomena is a central question because irreversible phenomena break quantum coherence and thus yield an irreversible loss of information.
Yves Pomeau, Martine Le Berre
doaj +1 more source
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
Advanced Engineering Materials, EarlyView.A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
The Coat Problem. Counterfactuals, Truth-makers, and Temporal specification [PDF]
, 2017 Standard semantic treatments of counterfactuals appeal to a relation of similarity between possible worlds. Similarity, however, is a vague notion. Lewis suggests reducing the vagueness of similarity by adopting a principle known as 'late departure' (LD):
Gallina, Francesco +1 more
core
, 2017 We outline a novel theory of natural language meaning, Rich Situated Semantics [RSS], on which the content of sentential utterances is semantically rich and informationally situated.
A Egan +35 more
core +1 more source
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source