Abduction Is a basic form of l og i ca l inference, which is said to engender the use of p lans, perceptua l models, i n t u i t i o n s , and analogical reasoning a l l aspects of I n t e l l i g e n t behavior that have so far f a i l e d to f i n d representat ion in ex is t ing formal deduct ive systems. This paper explores the abductive reasoning process and develops a model fo r i t s mec...

Planware has several types of knowledge, all encoded through parameterized theories. The first is knowledge of the scheduling domain, including the constraints on use of the different types of resources, such as reusable or sharable resources. Another type of knowledge is algorithm knowledge, such as generate-and-test, branch-and-bound, divide-and-conquer, dynamic programming, and hill-climbin...

Guilan Province is the biggest hazelnut producer in Iran. Over 70% of hazelnut production cost is due to its manual harvesting. Therefore, study on all aspects of its cultivation mechanization is necessary to sustain its production. This study focused on identifying factors that affect the development of hazelnut harvesting mechanization in Guilan Province, Iran, using a three-round Delphi tech...

objective: economic analysis was performed for the main horticultural crops in buin zahra (pistachio, peach, nectarine, and apple). there were dependent and independent variables in this research. methods: the independent variables were planting method (mechanized and conventional), land area used for fruit production, and land ownership. the maximum energy used, mostly in the form of fossil fu...

This study provides theoretical and empirical evidence for the agricultural–ecological benefits of digital inclusive finance development. We analyzed satellite resolution data agricultural fires an aggregate development index at county level in China from 2014 to 2016. The regression analysis demonstrated that can inhibit straw burning, inhibiting effect is more effective agriculture-oriented c...

We present diagrammatic techniques for relational reasoning in formal methods like B or Z; in particular induction and coinduction techniques. Our diagrams are endowed with a simple algebraic semantics that imposes a convenient balance between expressive and algorithmic power. This makes the approach particularly suitable for mechanization and automation. Its usefulness for visual reasoning is ...