Increasing numbers of transit agencies across North America are making the choice to convert their bus fleets to compressed natural gas (CNG), and even more are seriously considering it. Natural gas buses now account for at least 20% of all new bus orders. However, it becomes difficult for fleet operators to fairly evaluate the potential benefits of an alternative fuel program if they are confr...

The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calcul...

-Two-dimensional analytical model for optically biased non-self-aligned and self-aligned short channel GaAs MESFETs is developed to show the photo effects on the Id–Vd characteristics. When light radiation having photon energy equal to or greater than the band gap energy of GaAs is allowed to fall, the drain current increases significantly as compared to dark condition due to photoconductive ef...

Accurate forecasting of short-term passenger flow has been one of the most important issues in urban rail transit planning and operation. Considering the shortcomings of traditional forecasting methods, and in order to improve forecasting accuracy of passenger flow, this paper presents a wavelet neural network (WNN) for short-term passenger flow forecasting. One real urban rail transit station ...

A fundamental aspect of general reasoning about physical systems is qualitative reasoning about continuous processes. The situation calculus is proposed as a framework for qualitative reasoning with some desirable properties that are less evident in the traditional framework, qualitative physics. However, in order to handle qualitative reasoning about continuous properties, we extend the concur...

A narrative is a course of real events about which we might have incomplete information. Formalisms for reasoning about action may be broadly divided into those which are narrative-based, such as the Event Calculus of Kowalski and Sergot, and those which reason on the level of hypothetical sequences of actions, in particular the Situation Calculus. This paper bridges the gap between these types...

Concurrent events are treated merely by not forbidding them. Narrative is treated as a collection of situations and events and relations among them. Narrative is easier than planning, because it does not require that the effects of events be guaranteed. Prediction is harder than planning, because it requires that the actions be inferred from the motives of the actors.

We consider the problem of planning in complex domains where actions are stochastic, non-instantaneous, may occur concurrently, and time is represented explicitly. Our approach is based on the situation calculus based language Golog. Instead of general search for a sequence of actions, as in classical planning, we consider the problem of computing a deterministic, sequential program (with stoch...