Abstract. This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.
Abstract. NormalBoost is a new boosting algorithm which is capable of classifying a multi-dimensional binary class dataset. It adaptively combines several weak classifiers to form a strong classifier. Unlike many boosting algorithms which have high computation and memory complexities, NormalBoost is capable of classification with low complexity. The purpose of this paper is to present NormalBoost as a framework which establishes a platform to solve classification problems. The approach was tested with a dataset which was extracted automatically from real-world traffic sign images. The dataset contains both images of traffic sign borders and speed limit pictograms. This framework involves the computation of Haar-like features of these images and then employs the NormalBoost classifier to classify these traffic signs. The total number of images which were classified was 6500 binary images. A -fold validation was invoked to check the validity of the classification which resulted in a classification rate of 98.4% and 98.9% being achieved for these two databases. This framework is distinguished by its invariance to in-plane rotation of the images under consideration. Experiments show that the classification rate remains almost constant when traffic sign images with different angles of rotations were tested.
Abstract. This paper endeavors to formalize imperatives that convey actions. Imperatives, unlike propositions, do not hold the value of true or false. Peter Vranas proposed an alternate logical formalism in the literature of imperative logic with three values, namely: Satisfaction (), Violation () and Avoidance (). Although this formalism takes into account the conditional imperatives, it does not address imperatives from the perspective of actions. According to Mīmāṁsā (one of the six systems of Indian philosophy), the prime motive of an imperative is to carry out action so as to reach the goal. This paper modifies the notion of Vranas' imperative logic using Mīmāṁsā principles. The resulting imperative formalism, focusing on action representation, is presented with syntax, deduction rules and semantic tables. The effectiveness of this representation is demonstrated in the area of artificial intelligence planning.
Abstract. Epochs present in the voiced speech are defined as time instants of significant excitation of the vocal tract system during the production of speech. Nonstationary nature of excitation source and vocal tract system makes accurate identification of epochs a difficult task. Most of the existing methods for epoch detection require prior knowledge of voiced regions and a rough estimation of pitch frequency. In this paper, we propose a novel method that relies on time-order representation (TOR) based on short-time Fourier–Bessel (FB) series expansion which can be employed on entire speech signal to detect epochs without any prior information. The proposed method automatically detects voiced regions in the speech signal by computing the marginal energy density with respect to time in the low frequency range (LFR) from the energy distribution in the time-frequency plane. An estimate of pitch frequency for each detected voiced region is then obtained by computing the marginal energy density with respect to frequency in the LFR from the energy distribution in the time-frequency plane. Epochs are located for each detected voiced region as peaks in the derivative of the low pass filtered (LPF) signal corresponding to falling edges of peak negative cycles in the LPF signal synthesized from TOR coefficients corresponding to LFR. Experimental results obtained by the proposed method on speech signals taken from the CMU-Arctic database are found to be promising. The proposed method detects epochs with high accuracy and reliability.