Results 71 to 80 of about 902,991 (274)
Parallel defeasible argumentation
Journal of Computer Science and Technology, 2000 Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique.
Alejandro Javier García +1 more
doaj
Evaluation of human error using human error assessment and reduction technique (HEART) based on fuzzy logic (Case study: gas power plant [PDF]
Salāmat-i kār-i Īrān, 2023 Background and aims: In complex systems, human error has always been identified as an effective factor in most accidents. In the power plant industry, various accidents occur due to human error and while affecting the stability of the country's ...
Mousa Jabbari +4 more
doaj
Causal Graph Justifications of Logic Programs [PDF]
Theory and Practice of Logic Programming, 2014 AbstractIn this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications. These justifications are expressed in terms ofcausal graphsformed by rule labels and edges that represent their application ordering. For positive programs, we show that
Pedro Cabalar +2 more
openaire +3 more sources
Advanced Science, EarlyView.Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang +2 more
wiley +1 more source
Justification logic and audited computation
Journal of Logic and Computation, 2015 Justification Logic ( JL ) is a refinement of modal logic in which assertions of knowledge and belief are accompanied by justifications: the formula 〚s〛A states that s is a ‘reason’ for knowing/believing A . We study the computational interpretation of JL via the Curry–Howard isomorphism in which the modality 〚s〛A is interpreted as: s is a type ...
Bavera, Francisco Pedro +1 more
openaire +2 more sources
Advanced Science, EarlyView.Faster phenol photolysis at the air–water interface arises from two cooperative factors: a more favorable initial microenvironment for solvent‐side electron stabilization, which lowers CI access, and a more labile hydrogen‐bond network, which more readily reorganizes to stabilize the dark‐state intermediate.
Qiang Yin +8 more
wiley +1 more source
El Bayesianismo y la Justificación de la Inducción
Principia: An International Journal of Epistemology, 2002 The appearance of Bayesian inductive logic has prompted a renewed optimism about the possibility of justification of inductive rules The justifying argument for the 'rides of such a logic is the famous Dutch Book Argument (Ramsey-de Finetti’s theorem ...
Sílvio Pinto
doaj
Weak relevant justification logics
Journal of Logic and Computation, 2022 Abstract This paper will develop ideas from [44]. We will generalize their work in two directions. First, we provide axioms for justification logics over the base logic B and show that the logic permits a proof of the internalization theorem.
openaire +1 more source
Advanced Science, EarlyView.Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Olympia Dartsi +7 more
wiley +1 more source
Modal logics, justification logics, and realization
Annals of Pure and Applied Logic, 2016 Justification logics are modal-like logics where justification terms replace modalities. The correspondence between modal and justification logics is established by the so-called ``realization theorem'', which specifies how occurrences of modalities in a modal formula are replaced by justification terms so that modal theorems are transformed into ...
openaire +1 more source