scholarly journals A Note on Drastic Product Logic

2014 ◽  
pp. 365-374 ◽  
Author(s):  
Stefano Aguzzoli ◽  
Matteo Bianchi ◽  
Diego Valota
Keyword(s):  
Product Logic

scholarly journals Development Trend of Smart Home Industry A case study of Haier Smart Home

2021 ◽  
Vol 14 ◽  
pp. 194-207
Author(s):  
Yiru Pan ◽  
Yuehan Wu ◽  
Yuanwu Xin
Keyword(s):  
Smart Home ◽  
Product Life Cycle ◽  
Good Condition ◽  
Development Trend ◽  
Sales Channels ◽  
Product Logic ◽  
Growth Space ◽  
Asset Turnover ◽  
Home Appliance ◽  
The Government

In recent years Smart Home appliance is a research hotspot in the home appliance industry. It is the product of a series of high-end technologies such as the Internet of Things, 5G, and AI, and is in the growth stage of the product life cycle. In this paper, the PESTAL analysis method and Porter's Five Forces model are used to analyze the environment and competition in the Chinese smart home industry. It is found that the generation of Smart Home conforms to the upgrading of social demand and economic development, so it is supported by the government. However the industry now lacks a unified technology connector, resulting in the fragmentation and isolation of current products from different producers. This paper also takes Haier Smart Home as an example, focusing on its analysis of product logic chain and of financial status. Through the establishment of seven brands, Haier Smart Home has created a perfect product system, which can meet the multi-level demand of middle and high-end, and ranks high in sales. Contrast to its competitors, Haier Smart Home's complex ownership structure and overlapping sales channels do harm to the efficiency of its operation, which eventually result in a low-profit margin, but its sales are high, and asset turnover also maintains at a good level, so the company overall operation is in good condition, and its future growth space is large.

COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS

2005 ◽  
Vol 01 (01) ◽  
pp. 65-77 ◽  
Author(s):  
GUO-JUN WANG
Keyword(s):  
Mathematical Logic ◽  
Fuzzy Logic ◽  
Weak Form ◽  
Fuzzy Logic System ◽  
Deduction Theorem ◽  
Fuzzy Logic Systems ◽  
Product Logic ◽  
System Product ◽  
Logic Systems ◽  
Logic System

Deduction theorem and its weak forms in classical mathematical logic system, Łukasiewicz logic system, Gödel logic system, product logic system, and the fuzzy logic system ℒ* are discussed and compared. It is pointed out that the weak form of deduction theorem in ℒ* has a clear structure and can be employed to define the concept of consistency degrees of finite theories. Moreover, it is clarified that the negation operator of Gödel type is too strong and is therefore unsuitable for establishing fuzzy logic systems.

scholarly journals Unlearning and public services —A case study with a Vygotskian approach

2018 ◽  
Vol 24 (2) ◽  
pp. 188-207 ◽  
Author(s):  
Jari Stenvall ◽  
Tony Kinder ◽  
Paivikki Kuoppakangas ◽  
Ilpo Laitinen
Keyword(s):  
Health Care ◽  
Single Case ◽  
Care Service ◽  
Health Care Service ◽  
Transition Process ◽  
Radical Change ◽  
Public Health Care ◽  
University Hospital ◽  
Product Logic

All successful public service innovations require learning and just as importantly and often more deeply, unlearning. This research investigates the unlearning of health professionals focusing on the issue of why and how unlearning happens at an individual level for health care professions in the transition from product logic to service-dominant logic at Tampere University Hospital in Finland. We applied a qualitative single case study method, a problem-centred unlearning framework with a narrative approach, which facilitates understanding of how the informants perceived the service transition process. We identified three distinct unlearning narratives, and we recognised barriers and enablers to unlearning in the health care service culture and context and suggest ways in which these might be overcome. Results of the study shows that deep and radical change in public health care services is possible, by applying distributed leadership and allowing individual actors time for reflections, mind-wandering, listening and learning from users and discourse between professionals.

The logical style painting classifier based on Horn clauses and explanations (ℓ-SHE)

2019 ◽  
Author(s):  
Vicent Costa ◽  
Pilar Dellunde ◽  
Zoe Falomir
Keyword(s):  
Gödel Logic ◽  
Horn Clauses ◽  
Product Logic ◽  
Fuzzy Representation ◽  
Art Style

Abstract This paper presents a logical Style painting classifier based on evaluated Horn clauses, qualitative colour descriptors and Explanations ($\ell $-SHE). Three versions of $\ell $-SHE are defined, using rational Pavelka logic (RPL), and expansions of Gödel logic and product logic with rational constants: RPL, $G(\mathbb{Q})$ and $\sqcap (\mathbb{Q})$, respectively. We introduce a fuzzy representation of the more representative colour traits for the Baroque, the Impressionism and the Post-Impressionism art styles. The $\ell $-SHE algorithm has been implemented in Swi-Prolog and tested on 90 paintings of the QArt-Dataset and on 247 paintings of the Paintings-91-PIB dataset. The percentages of accuracy obtained in the QArt-Dataset for each $\ell $-SHE version are 73.3% (RPL), 65.6% ($G(\mathbb{Q})$) and 68.9% ($\sqcap (\mathbb{Q})$). Regarding the Paintings-91-PIB dataset, the percentages of accuracy obtained for each $\ell $-SHE version are 60.2% (RPL), 48.2% ($G(\mathbb{Q})$) and 57.0% ( $\sqcap (\mathbb{Q})$). Our logic definition for the Baroque style has obtained the highest accuracy in both datasets, for all the $\ell $-SHE versions (the lowest Baroque case gets 85.6$\%$ of accuracy). An important feature of the classifier is that it provides reasons regarding why a painting belongs to a certain style. The classifier also provides reasons about why outliers of one art style may belong to another art style, giving a second classification option depending on its membership degrees to these styles.

scholarly journals Provability in predicate product logic

2007 ◽  
Vol 46 (5-6) ◽  
pp. 365-378 ◽  
Author(s):  
Michael C. Laskowski ◽  
Shirin Malekpour
Keyword(s):  
Product Logic
Sign in / Sign up

Export Citation Format

Share Document