Search results for "Reason"
showing 10 items of 526 documents
Analytic gradients for the coupled-cluster singles, doubles, and triples (CCSDT) model
2002
The first implementation of analytic gradients for the coupled-cluster singles, doubles, triples (CCSDT) model is described. The relevant theoretical expressions are given in a diagrammatic form together with the corresponding algebraic formulas. The computational requirements of CCSDT gradient calculations are discussed and their applicability demonstrated by performing benchmark calculations for molecular geometries with large correlation-consistent basis sets. A statistical analysis of the data reveals that CCSDT and CCSD(T) in most cases perform equally well. The CCSDT calculations thus provide further evidence for the high accuracy of the CCSD(T) approach.
Analytic first and second derivatives for the CCSDT-n (n = 1–3) models: a first step towards the efficient calculation of CCSDT properties
2000
Analytic first and second derivatives of the energy are implemented for closed-shell systems described by the CCSDT-n (n=1, 1b, 2 and 3) and CC3 electron correlation models. A detailed discussion of the computational requirements of these calculations is given, along with diagrammatic formulas for all relevant quantities. The method is applied to calculate the nuclear magnetic shielding of H2O, CO and N2O and the structure and properties of propadienylidene.
Indispensability and Effectiveness of Diagrams in Molecular Biology
2019
Abstract: In this paper I aim to defend a twofold thesis. On one hand, I will support, against Perini (2005), the indispensability of diagrams when structurally complex biomolecules are concerned, since it is not possible to satisfactorily use linguistic-sentential representations at that domain. On the other hand, even when diagrams are dispensable I will defend than they will generally be more effective than other representations in encoding biomolecular knowledge, relying on Kulvicki-Shimojima’s diagrammatic effectiveness thesis. Finally, I will ground many epistemic virtues of biomolecular diagrams (understandability, explanatory power, prediction and hypothesis evaluation) on their cog…
Managing conversation uncertainty in TutorJ
2009
Uncertainty in natural language dialogue is often treated through stochastic models. Some of the authors already presented TutorJ mat is an Intelligent Tutoring System, whose interaction with the user is very intensive, and makes use of both dialogic and graphical modality. When managing the interaction, the system needs to cope with uncertainty due to the understanding of the user's needs and wishes. In this paper we present the extended version of TutorJ, focusing on the new features added to its chatbot module. These features allow to merge deterministic and probabilistic reasoning in dialogue management, and in writing the rules of the system's procedural memory.
Europe’s Path to Public Reason
2012
Chapter 7 highlights how addressing public issues publicly is a main target of European institutions, considering their commitment to the identification of shared values and the protection of rights. In consideration of this, it is reasonable to ask whether the “Public Reason” set forth by Rawls can be somehow applied to Europe’s current perspective, understanding it to be the ruling criterion governing public issues. A major obstacle is to be found in the anti-pluralistic attitude which is widespread across the European states. However, constitutionalism, which is nowadays widely rooted on a global scale, makes contemporary political communities to characterize by disagreement and by the n…
Inductive Inference with Procrastination: Back to Definitions
1999
In this paper, we reconsider the definition of procrastinating learning machines. In the original definition of Freivalds and Smith [FS93], constructive ordinals are used to bound mindchanges. We investigate possibility of using arbitrary linearly ordered sets to bound mindchanges in similar way. It turns out that using certain ordered sets it is possible to define inductive inference types different from the previously known ones. We investigate properties of the new inductive inference types and compare them to other types.
Derived sets and inductive inference
1994
The paper deals with using topological concepts in studies of the Gold paradigm of inductive inference. They are — accumulation points, derived sets of order α (α — constructive ordinal) and compactness. Identifiability of a class U of total recursive functions with a bound α on the number of mindchanges implies \(U^{(\alpha + 1)} = \not 0\). This allows to construct counter-examples — recursively enumerable classes of functions showing the proper inclusion between identification types: EXα⊂EXα+1.
Enumerable classes of total recursive functions: Complexity of inductive inference
1994
This paper includes some results on complexity of inductive inference for enumerable classes of total recursive functions, where enumeration is considered in more general meaning than usual recursive enumeration. The complexity is measured as the worst-case mindchange (error) number for the first n functions of the given class. Three generalizations are considered.
Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning
2011
We study the quasi conjunction and the Goodman & Nguyen inclusion relation for conditional events, in the setting of probabilistic default reasoning under coherence. We deepen two recent results given in (Gilio and Sanfilippo, 2010): the first result concerns p-entailment from a family F of conditional events to the quasi conjunction C(S) associated with each nonempty subset S of F; the second result, among other aspects, analyzes the equivalence between p-entailment from F and p-entailment from C(S), where S is some nonempty subset of F. We also characterize p-entailment by some alternative theorems. Finally, we deepen the connections between p-entailment and the Goodman & Nguyen inclusion…
Application of kolmogorov complexity to inductive inference with limited memory
1995
A b s t r a c t . We consider inductive inference with limited memory[l]. We show that there exists a set U of total recursive functions such that U can be learned with linear long-term memory (and no short-term memory); U can be learned with logarithmic long-term memory (and some amount of short-term memory); if U is learned with sublinear long-term memory, then the short-term memory exceeds arbitrary recursive function. Thus an open problem posed by Freivalds, Kinber and Smith[l] is solved. To prove our result, we use Kolmogorov complexity.