An application of so-called perception-based logical deduction in the modeling of an economic analysis given in natural language is presented. Fuzzy IF-THEN rules and theory of evaluating linguistic expressions are used, and possibilities of automated reasoning are outlined.

We present an approach for studying logical properties of problemsolving methods (PSMs) for knowledge-intensive tasks. It is based on semantic tableaux (a deduction-style theorem-proving technique). We show how tableaux can be manipulated in a methodical way to formalize non-deductive style PSMs.

Elementary deduction is the ability of unreflectively drawing conclusions from explicit or implicit premises, on the basis of their logical forms. This ability is involved in many aspects of human cognition and interactions. To date, limited evidence exists on its cortical bases. We propose a model of elementary deduction in which logical inferences, memory, and meta-logical control are separab...

Determining semantic textual similarity is a core research subject in natural language processing. Since vector-based models for sentence representation often use shallow information, capturing accurate semantics is difficult. By contrast, logical semantic representations capture deeper levels of sentence semantics, but their symbolic nature does not offer graded notions of textual similarity. ...

The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a logical meta-theory, which represents the computation implementing deduction in its object theory. Comp...

In the present paper we deal with two approaches suitable to formal treatment of semantical network based reasoning , that are Evolving Algebras (EA) and Labelled Deduc-tive Systems (LDS). The evolving algebras methodology give a tools for precise operational description of the any computational process at the desired level of abstraction, while labelled deduction systems allows to treat variou...

the aim of this research is survey of bandura theoretical foundation of self efficacy include psychological, social, and philosophical base. in this research use analytic – deduction research method to achieve the aim. thus as psychological basis, the concepts of reciprocal determinism, consciousness, learning and finally the human agency will be discussed. under the social basis the effect of ...

Any scientific discovery must include an epistemic process to gain knowledge of or to ascertain the existence of some empirical and/or logical entailments previously unknown or unrecognized. The epistemic operation of deduction in an epistemic process of an agent is to fred new and valid entailments logically from some premises which are known facts and/or assumed hypothesis. Automated theorem ...

This paper presents a survey of some results which have been obtained in ISDCT in the field of development of some new methods for logical control of dynamical systems. Some fundamental difficulties of deduction problem were a barrier to the wide development and application of automated deduction in the loop of control. The main point of this paper is to show that automatic theorem proving tech...

This chapter considers the two main approaches to deductive thinking: theories based on formal rules of inference postulate that deduction is a syntactic process akin to a logical proof; the mental model theory postulates that it is a semantic process akin to the search for counterexamples. Experimental evidence bears out the predictions of the model theory: the more models needed for a deducti...