Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate

Frenkel and charge transfer excitons in C60

We have studied the low energy electronic excitations of C60 using momentum dependent electron energy-loss spectroscopy in transmission. The momentum dependent intensity of the gap excitation allows the first direct experimental determination of the energy of the 1Hg excitation and thus also of the total width of the multiplet resulting from the gap transition. In addition, we could elucidate the nature of the following excitations - as either Frenkel or charge transfer excitons.Comment: RevTEX, 3 Figures, to appear in Phys. Rev.

Molecular characterization of Bacillus thuringiensis strains to control Spodoptera eridania (Cramer) (Lepidoptera: Noctuidae) population.

The main objective of this study was to characterize the toxicity and genetic divergence of 18 Bacillus thuringiensis strains in the biological control of Spodoptera eridania . Bacterial suspensions were added to the S. eridania diet. Half of the selected B. thuringiensis strains caused high mortality seven days after infection. The genetic divergence of B. thuringiensis strains was assessed based on Enterobacterial Repetitive Intergenic Consensus (ERIC) and Repetitive Extragenic Palindromic (REP) sequences, and five phylogenetic groups were formed. Despite their genetic diversity B. thuringiensis strains did not show any correlation between the collection sites and toxicity to larvae. Some B. thuringiensis strains are highly toxic to S. eridania, thus highlighting the potential of their endotoxins as biopesticides

Linear resolutions of powers and products

The goal of this paper is to present examples of families of homogeneous ideals in the polynomial ring over a field that satisfy the following condition: every product of ideals of the family has a linear free resolution. As we will see, this condition is strongly correlated to good primary decompositions of the products and good homological and arithmetical properties of the associated multi-Rees algebras. The following families will be discussed in detail: polymatroidal ideals, ideals generated by linear forms and Borel fixed ideals of maximal minors. The main tools are Gr\"obner bases and Sagbi deformation

An algorithmic approach to the existence of ideal objects in commutative algebra

The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, which focuses on the elimination of ideal objects via syntactic methods. In this paper, we take an alternative approach based on Kreisel's no counterexample interpretation and sequential algorithms. We first give a computational interpretation to an abstract maximality principle in the countable setting via an intuitive, state based algorithm. We then carry out a concrete case study, in which we give an algorithmic account of the result that in any commutative ring, the intersection of all prime ideals is contained in its nilradical

Spinoza

"Spinoza", second edition. Encyclopedia entry for the Springer Encyclopedia of EM Phil and the Sciences, ed. D. Jalobeanu and C. T. Wolfe

Conceptual Framework for a Data Model to Support Asset Management Decision-Making Process

Part 4: Product and Asset Life Cycle Management in Smart Factories of Industry 4.0International audienceInformation and data management is nowadays a central issue to support the Asset Management (AM) decision-making process. Manufacturing companies have to take different decisions along the asset lifecycle and at different organisational levels, and, to this end, they require proper information and data management. In the literature, besides the crucial role played by information and data, there is evidence of existing gaps, especially related to information management and integration, and transformation of data into useful information. Thus, a conceptual framework is proposed to guide the definition of a data model to fulfil the previously identified gap. Generally, the framework aims at contributing to the improvement of the integration of information along the AM decision-making process. Specifically, it is intended to be aligned with the AM theory and, in particular, its fundamentals defined in the scientific literature and the ISO 5500x body of standards. Overall, thanks to the improvement of the information management and integration along with the AM decision-making, the expectation is to be capable of achieving more value-oriented decisions for the asset lifecycle

Raman scattering in C_{60} and C_{48}N_{12} aza-fullerene: First-principles study

We carry out large scale {\sl ab initio} calculations of Raman scattering activities and Raman-active frequencies (RAFs) in ${\rm C}_{48}{\rm N}_{12}$ aza-fullerene. The results are compared with those of ${\rm C}_{60}$. Twenty-nine non-degenerate polarized and 29 doubly-degenerate unpolarized RAFs are predicted for ${\rm C}_{48}{\rm N}_{12}$. The RAF of the strongest Raman signal in the low- and high-frequency regions and the lowest and highest RAFs for ${\rm C}_{48}{\rm N}_{12}$ are almost the same as those of ${\rm C}_{60}$. The study of ${\rm C}_{60}$ reveals the importance of electron correlations and the choice of basis sets in the {\sl ab initio} calculations. Our best calculated results for ${\rm C}_{60}$ with the B3LYP hybrid density functional theory are in excellent agreement with experiment and demonstrate the desirable efficiency and accuracy of this theory for obtaining quantitative information on the vibrational properties of these molecules.Comment: submitted to Phys.Rev.