检索结果-内蒙古大学图书馆

BEWARE 2024 - Proceedings of the 3rd Workshop on Bias, Risk, Ethical AI, Explainability and the Role of logic and logic programming, co-located with the 23rd international conference of the Italian Association for Artificial Intelligence, AIxIA 2024

BEWARE 2024 - Proceedings of the 3rd Workshop on Bias, Risk,...

引用

3rd Workshop on Bias, Risk, Ethical AI, Explainability and the Role of logic and logic programming, BEWARE 2024

The proceedings contain 12 papers. The topics discussed include: prior to trust: frequentist and Bayesian views of trust in AI;rethinking bias and fairness in AI through the lens of gender studies;gender biases in robots for education;towards ethical risk assessment of symbiotic ai systems with fuzzy rules;towards efficient norm-aware robots' decision making using datalog;debiasing computer vision models using data augmentation based adversarial techniques;a perturbation-based dataset evaluation approach for fair classifications;bias amplification chains in ML-based systems with an application to credit scoring;artificial intelligence as a peacebuilding tool: what is missing? a comparative legal analysis;and United Nations, artificial intelligences and regulations: analysis of the general assembly ai resolutions and the final report of the advisory body on AI.

关键词：

来源：评论

学校读者我要写书评

暂无评论

3rd international conference on Artificial Intelligence logic and Applications, AILA 2023

3rd International Conference on Artificial Intelligence Logi...

引用

3rd international conference on Artificial Intelligence logic and Applications, AILA 2023

ISBN: (纸本)9789819978687

The proceedings contain 36 papers. The special focus in this conference is on Artificial Intelligence logic and Applications. The topics include: An Abstraction Neural Network Generator for Efficient Formal Verification;a Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram;Comparison and Implementation of ROS-Based SLAM and Path Planning Methods;a Diagnostic Model Generation Method Based on Clustering;a Heterogeneous Multicore Co-scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster;conceptual Clustering Based on Linguistic-Valued Layered Concept Lattice;clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction;an Improved Genetic programming Based Factor Construction for Stock Price Prediction;dual Channel Graph Neural Network for Fraud Detection;non-negative Matrix Factorization Method Based on Mixed Gaussian Kernels;satisfiability Verification of Integrity Constraints for Spatial Linked Data;Direct Limits of EMV-Algebras;weighted Consistent Multi-view Discriminant Analysis in Unreliable Labeling Environment;nonlinear Manifold Learning via Graph Curvature;cross-Lingual Entity Alignment via Two-Hop Neighbour Sampling and Distinguishable Relation Embedding;GRU-Attention Interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System;a Multi-Label Feature Selection Method Based on Label Granulation;regularized Loose Coupled Deep Non-negative Basis Matrix Factorization for Low-Resolution Face Image Recognition;CDFSIP Feature Selection Algorithm Based on ADA-DPC;person Re-identification Based on Fusion of Shared Feature Branches;granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts;fine-Grained Mushroom Image Classification by Resnet Combined with Attention Mechanism;link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks;hierarchical Time Series Forecasting Based on Tempo

关键词：

来源：评论

学校读者我要写书评

暂无评论

3rd international conference on logic and Argumentation, CLAR 2020

3rd International Conference on Logic and Argumentation, CLA...

引用

3rd international conference on logic and Argumentation, CLAR 2020

ISBN: (纸本)9783030446376

The proceedings contain 21 papers. The special focus in this conference is on logic and Argumentation. The topics include: A logic of Knowledge and Belief Based on Abstract Arguments;computer-Supported Analysis of Arguments in Climate Engineering;reasoning About Degrees of Confirmation;semirings of Evidence;dynamics of Fuzzy Argumentation Frameworks;reasoning as Speech Acts;ambiguity Preference and Context Learning in Uncertain Signaling;towards an Executable Methodology for the Formalization of Legal Texts;logic programming, Argumentation and Human Reasoning;broadening Label-Based Argumentation Semantics with May-Must Scales;probabilistic Three-Valued Argumentation Frameworks;preservation of Admissibility with Rationality and Feasibility Constraints;goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting;uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope;group Belief;ideal Related Algebras and Their logics Extended Abstract;further Steps Towards a logic of Polarization in Social Networks;a Formalization of the Slippery Slope Argument;a Decidable Multi-agent logic for Reasoning About Actions, Instruments, and Norms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Introduction to the Special Issue on the international Joint conference on Rules and Reasoning, RuleML+RR 2019

引用

THEORY AND PRACTICE OF logic programming 2022年第2期22卷 158-161页

作者： Fodor, Paul Montali, Marco SUNY Stony Brook Stony Brook NY 11794 USA Free Univ Bozen Bolzano Bolzano Italy

This special issue of Theory and Practice of logic programming consists of extended versions of five selected papers from the 3rd international Joint conference on Rules and Reasoning (RuleML+RR 2019). RuleML+RR 2019 was held in conjunction with the 5th Global conference on Artificial Intelligence, GCAI 2019, as part of the Bolzano Rules and Artificial INtelligence Summit in Bolzano, Italy, from 17 to 19 of September 2019.

关键词： RuleML RR rules and reasoning

来源：评论

学校读者我要写书评

暂无评论

3rd international conference on Electrical, Computer and Communication Engineering, ECCE 2023

3rd International Conference on Electrical, Computer and Com...

引用

3rd international conference on Electrical, Computer and Communication Engineering, ECCE 2023

ISBN: (纸本)9798350345360

The proceedings contain 137 papers. The topics discussed include: sexual harassment detection using machine learning and deep learning techniques for Bangla text;optimization strategies for micro-grid energy management and scheduling systems by sine cosine algorithm;efficient hardware and software co-design for EEG signal classification based on extreme learning machine;measurement and modeling of GaAs based nano-pHEMT: small signal to large signal analysis;Alzheimer’s disease classification from 2D MRI brain scans using convolutional neural networks;faulty classes prediction in object-oriented programming using composed Dagging technique;interpretable multi labeled Bengali toxic comments classification using deep learning;protein structure prediction in structural genomics without alignment using support vector machine with fuzzy logic;and impact of transmission line capacity expansion on electricity operation cost and selling price.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Demand Side Management System using Programmable logic Controllers 3

Demand Side Management System using Programmable Logic Contr...

引用

3rd international conference on Innovative Mechanisms for Industry Applications, ICIMIA 2023

作者： Prem Kumar, R. Mohanraj, C. Karthikeyan, R. Prameeth, J. Sri Eshwar College of Engineering Department of Electrical and Electronics Engineering Coimbatore India

ISBN: (纸本)9798350343632

Demand Side Management (DSM), which regulates consumer energy usage to lower peak demand and boost system reliability, is a crucial component of contemporary power systems. This study suggests a novel method for programming. The proposed control device for DSM implementation employs programmable logic controllers (PLCs). The proposed system includes a central control unit that communicates with multiple smart meters installed in households and commercial buildings via PLCs. The control unit collects real-time data on energy consumption and uses it to manage the demand in a coordinated and efficient manner. The design and implementation of the proposed DSM system using PLCs. Also, this study discusses about the hardware and software components used in the proposed system, including the PLCs, communication protocol, and user interface. Further, this study describes the control algorithms that are used to manage the demand and its implementation using ladder logic programming. Finally, this study shows the findings from simulations and experimental tests performed to assess the efficiency and dependability of the suggested DSM system. Customers can also monitor their energy use with the system's user interface, and they can change their usage habits in reaction to demand signals. The proposed system provides accurate and timely control of energy consumption and allows consumers to adjust their energy usage in response to changing demand signals. The system is also easy to implement and can be easily scaled to meet the needs of large power distribution networks. The suggested DSM, in general PLCs have the potential to increase the effectiveness and dependability of any system while benefiting both utilities and consumers. © 2023 IEEE.

关键词： logic Controllers PLC Power Systems Smart Meters

来源：评论

学校读者我要写书评

暂无评论

RCM Maintenance Strategy Modeling Based on logic Language 3

RCM Maintenance Strategy Modeling Based on Logic Language

引用

3rd international conference on Artificial Intelligence and Computer Engineering, ICAICE 2022

作者： Wang, Wencheng Wang, Zhipeng Su, Xingyue Wang, Xin Zheng, Suhao Niu, Qinzhou College of Mechanical and Control Engineering GLUT 319 Yanshan Street Yanshan District Guangxi Guilin China College of Information Science and Engineering GLUT 319 Yanshan Street Yanshan District Guangxi Guilin China

ISBN: (纸本)9781510663473

Reliability Centered Maintenance (RCM) technology can improve the reliability of equipment maintenance, but it still has problems such as low analysis efficiency and poor description *** propose to construct a RCM maintenance strategy model based on logical reasoning. This model uses Answer Set programming (ASP), a non-monotone logic programming language, to realize the theoretical modeling of RCM in the form of logical rules. We use preference optimization to improve the RCM analysis method and integrate CWA (Closed World Assumption) and NAF (Negation As Failure) into the ASP program. Practicality and generality are the main core objectives of this model. Finally, the turbine engine failure of aircraft is taken as the main research example. The effectiveness and efficiency of the model are verified by a comparison of model conclusion consistency. Experimental results show that compared with other RCM systems, this model has good efficiency, reliability, and completeness. © 2023 SPIE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Enhancing Industrial Automation: A Comprehensive Study on Programmable logic Controllers (PLCs) and their Impact on Manufacturing Efficiency 3

Enhancing Industrial Automation: A Comprehensive Study on Pr...

引用

3rd international conference on Technological Advancements in Computational Sciences, ICTACS 2023

作者： Saxena, Aditi Jabbar, Kadim A. Fezaa, Laith H.A. Gla UniversityMathura Department of Electronics and Communication Engineering India National University of Science and Technology Dhi Qar Iraq Al-Zahrawi University College Department of Optical Techniques Karbala Iraq

ISBN: (纸本)9798350342338

The main goal of this study is to investigate Programmable logic Controllers (PLCs) and their effects on industrial automation production productivity in depth. Due to their capacity to automate complicated tasks, monitor manufacturing procedures, and improve operational performance, programmable logic controllers are now an essential part of contemporary manufacturing processes. This abstract highlight the significance of PLCs in developing industrial automation and their function in raising manufacturing productivity. The research examines a variety of PLC technology-related topics, including programming, communication protocols, and interaction with other automation systems. The results of this study will help us better comprehend the function of PLCs in simplifying and increasing efficiency in industrial operations. PLCs gather data from sensors and input devices, which provides them with critical information about how effectively the production system is doing. This data may be evaluated in order to identify potential improvement areas, optimize production parameters, and reduce equipment downtime. By integrating PLCs with other systems like HMIs and SCADA, manufacturers may bolster operational performance, centralize command, and make communication easier. © 2023 IEEE.

关键词： automation system Impact optimize operational efficiency PLC productivity

来源：评论

学校读者我要写书评

暂无评论

RTL Design and logic Synthesis of Traffic Light Controller for 45nm Technology 3

RTL Design and Logic Synthesis of Traffic Light Controller f...

引用

3rd international conference for Emerging Technology, INCET 2022

作者： Devipriya, A Girish, H Srinivas, Vishnu Adi Reddy, Nitish Rajkiran, D Cambridge Institute of Technology Department of Ece Visvesvaraya Technological University Bangalore India

ISBN: (纸本)9781665494991

In many cities, traffic regulation is a difficult challenge to solve. This is due to the large number of cars and the traffic system's high dynamics. Poor traffic network are a major cause of accidents and lost time. Vehicles will spend a minimum waiting period at traffic lights if this methodology is used. Verilog Hardware Description Language (HDL) programming is used to create the hardware design. Verilog is a hardware description language that deals with hardware design and simulation, as the name indicates. Mounting the numerous electronic components on a breadboard or PCB circuit becomes quite complex. It also takes an excessive amount of time to simulate, and various faults might arise due to poor component connections on the circuit. As a result, hardware descriptive language concludes to overcome this obstacle. The fundamental design of a T-shaped road for traffic light regulation is the subject of this project. Mentor Graphics, Questasim and Oasys has been used to test the system's output. © 2022 IEEE.

关键词： Computer hardware description languages

来源：评论

学校读者我要写书评

暂无评论

Research on Multi-PLC Node Collaborative programming Technology

Research on Multi-PLC Node Collaborative Programming Technol...

引用

Artificial Intelligence, Human-Computer Interaction and Robotics (AIHCIR), international conference on

作者： Xiaowang Guo Dezheng Zhao Qiwei Zhao Technological Innovation Department Intelligence Technology Of CEC Co.LTD. Beijing China Science and technology committee Intelligence Technology Of CEC Co.LTD. Beijing China

ISBN: (数字)9798331534035

ISBN: (纸本)9798331534042

Multi-plc node collaborative control is becoming more and more important in the field of industrial automation, especially in large or complex production environments. Through collaborative control, more efficient and flexible automation solutions can be realized. This paper studies multi-PLC node collaborative programming technology, and proposes a multi-node control logic dependency intelligent analysis and parallel compilation linking technology. To realize the distributed cooperative transparent configuration of PLC control logic, and solve the problems of complicated development of existing control system and unbalanced control resource load.

关键词： Human computer interaction Automation Collaboration Production programming Control systems logic Artificial intelligence Robots

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：