A forum on case-based reasoning. Guest editorial

Guest editorial

Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

Guest editorial. [Computers and Artificial Intelligence. 1998. Vol. 17, No. 2-3]

Editorial

Guest sorption and desorption in the metal-organic framework [Co(INA)(2)] (INA = isonicotinate) - evidence of intermediate phases during desorption

The metal-organic framework [Co(INA)(2)].0.5EtOH (INA = isonicotinate, NC5H4-4-CO2-), 1 was synthesised under solvothermal conditions. Its X-ray crystal structure shows channels containing ethanol guests which are hydrogen-bonded to carboxylate oxygens of the framework. The pyridyl rings of the framework alternate between `open' and `closed' positions along the channels resulting in large variation in the channel cross-sectional area from ca. 1.4 by 2.3 at the narrowest point to 4.9 by 5.3 at the widest. Despite the very small windows, the ethanol guests (of van der Waals diameter ca. 4.2-6.1 Angstrom) may be reversibly desorbed and sorbed into the structure quantitatively, as shown by in situ variable-temperture IR spectroscopy and XRPD. The single-crystal structure of the desolvated form [Co(INA)(2)]2 shows that there is no change in the overall connectivity on desolvation, but the rotational positions of the pyridine rings are altered. This suggests that pyridyl rotation may occur to allow guests to pass in and out. When the synthesis was conducted in 1-propanol solvent [Co(INA)(2)].0.5Pr(n)OH.H2O 3, was obtained, and a single-crystal X-ray structure revealed the same overall connectivity as in 1 but with pyridine rings disordered over closed and open positions. There was no evidence of included guests from X-ray crystallography, suggesting that they are also highly disordered. Variable-temperature XRPD performed on bulk samples showed peaks which were unsymmetrical and exhibited shoulders, suggesting that for each pattern obtained the material actually consisted of several closely-related phases. The movements of the peaks during desolvation showed the presence of intermediate phases before the final desolvated product was formed. The peak positions of the intermediate phases matched more closely with the calculated pattern for 3 than with 1 or 2, suggesting that they may have disordered structures similar to 3. The results also suggest that the intermediate phase represents an initial increase in volume before a larger decrease in volume occurs to give the final desolvated material.