Symbolic computation, as a focal point of research in automatedreasoning, has made significant strides in recent decades, particularly in solving polynomial equations systems. Several computer algebra systems have be...
详细信息
ISBN:
(数字)9798350385106
ISBN:
(纸本)9798350385113
Symbolic computation, as a focal point of research in automatedreasoning, has made significant strides in recent decades, particularly in solving polynomial equations systems. Several computer algebra systems have been developed to assist humans in advanced mathematics, physics, engineering, and other fields. Inference rules are often described in code, requiring proficiency in their specific syntax for editing, which poses a challenge for non-programmer users. this paper introduces a novel approach utilizing an expression tree-based matching algorithm. this method matches rule expressions with instance expressions in a human-like manner, identifying multiple sets of variable substitutions. It achieves expression-level rule design independent of programming, making it applicable directly for formula equivalence transformations and inequality scaling.
Withthe development of the information age, the process of global networking continues to deepen, and the cyberspace security has become an important support for today's social functions and social activities. We...
详细信息
this paper presents a novel traffic control action referring to virtual moving of the internal boundary of bi-directional highways for lane-free traffic of automated vehicles. Since capacity of lane-free traffic is ro...
详细信息
ISBN:
(纸本)9781728189956
this paper presents a novel traffic control action referring to virtual moving of the internal boundary of bi-directional highways for lane-free traffic of automated vehicles. Since capacity of lane-free traffic is roughly proportional to the road width, the total cross-road capacity may be shared flexibly (in space and time) between the two opposite directions according to the current bi-directional demand. In order to determine the control input, which is the road width or capacity sharing factor, an appropriate QP (Quadratic programming) problem formulation employing the macroscopic CTM (Cell Transmission Model) is developed. Simulation results with and without control are analyzed and compared to demonstrate the potential of the proposed scheme in exploiting the available road infrastructure at unprecedented levels.
Interaction between species in microbial communities plays an important role in the functioning of all ecosystems, from cropland soils to human gut microbiota. Many statistical approaches have been proposed to infer t...
详细信息
ISBN:
(数字)9783030974541
ISBN:
(纸本)9783030974541;9783030974534
Interaction between species in microbial communities plays an important role in the functioning of all ecosystems, from cropland soils to human gut microbiota. Many statistical approaches have been proposed to infer these interactions from microbial abundance information. However, these statistical approaches have no general mechanisms for incorporating existing ecological knowledge in the inference process. We propose an Abductive/Inductive logicprogramming (A/ILP) framework to infer microbial interactions from microbial abundance data, by including logical descriptions of different types of interaction as background knowledge in the learning. this framework also includes a new mechanism for estimating the probability of each interaction based on the frequency and compression of hypotheses computed during the abduction process. this is then used to identify real interactions using a bootstrapping, re-sampling procedure. We evaluate our proposed framework on simulated data previously used to benchmark statistical interaction inference tools. Our approach has comparable accuracy to SparCC, which is one of the state-of-the-art statistical interaction inference algorithms, but withthe the advantage of including ecological background knowledge. Our proposed framework opens up the opportunity of inferring ecological interaction information from diverse ecosystems that currently cannot be studied using other methods.
this paper describes a method for the remote access and control of equipment for automation practical work. Specifically, it addresses the issue of accessing and controlling machines for programmable logic controller ...
详细信息
ISBN:
(纸本)9781665449861
this paper describes a method for the remote access and control of equipment for automation practical work. Specifically, it addresses the issue of accessing and controlling machines for programmable logic controller (PLC) programming. A combination of a scheduler, microcontroller, GUI, and virtual remote access allows students to work remotely on practical equipment. Using a remote computer, the lab computer can be accessed to select one of multiple equipment for practical work. A prototype system is developed as proof of concept.
We examine how well the state-of-the-art (SOTA) models used in legal reasoning support abductive reasoning tasks. Abductive reasoning is a form of logical inference in which a hypothesis is formulated from a set of ob...
详细信息
We examine how well the state-of-the-art (SOTA) models used in legal reasoning support abductive reasoning tasks. Abductive reasoning is a form of logical inference in which a hypothesis is formulated from a set of observations, and that hypothesis is used to explain the observations. the ability to formulate such hypotheses is important for lawyers and legal scholars as it helps them articulate logical arguments, interpret laws, and develop legal theories. Our motivation is to consider the belief that deep learning models, especially large language models (LLMs), will soon replace lawyers because they perform well on tasks related to legal text processing. But to do so, we believe, requires some form of abductive hypothesis formation. In other words, while LLMs become more popular and powerful, we want to investigate their capacity for abductive reasoning. To pursue this goal, we start by building a logic-augmented dataset for abductive reasoning with 498,697 samples and then use it to evaluate the performance of a SOTA model in the legal field. Our experimental results show that although these models can perform well on tasks related to some aspects of legal text processing, they still fall short in supporting abductive reasoning tasks. 2023 Copyright for this paper by its authors.
the proceedings contain 16 papers. the special focus in this conference is on Frontiers of Combining Systems. the topics include: Vampire with a Brain Is a Good ITP Hammer;optimization Modulo Non-linear Arithmetic via...
ISBN:
(纸本)9783030862046
the proceedings contain 16 papers. the special focus in this conference is on Frontiers of Combining Systems. the topics include: Vampire with a Brain Is a Good ITP Hammer;optimization Modulo Non-linear Arithmetic via Incremental Linearization;Quantifier Simplification by Unification in SMT;algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems;formal Analysis of Symbolic Authenticity;Formal Verification of a Java Component Using the RESOLVE Framework;non-disjoint Combined Unification and Closure by Equational Paramodulation;symbol Elimination and Applications to Parametric Entailment Problems;on the Copy Complexity of Width 3 Horn Constraint Systems;Restricted Unification in the DL FL0;combining Event Calculus and Description logicreasoning via logicprogramming;semantic Forgetting in Expressive Description logics;improving Automation for Higher-Order Proof Steps;JEFL: Joint Embedding of Formal Proof Libraries.
this publication describes the experience of the Department of Applied Mathematics and Artificial Intelligence of the National Research University “MPEI” in the development of system and application software for the...
详细信息
ISBN:
(数字)9798350371369
ISBN:
(纸本)9798350371376
this publication describes the experience of the Department of Applied Mathematics and Artificial Intelligence of the National Research University “MPEI” in the development of system and application software for the educational process using various intelligent information technologies. the importance of the developments carried out by the department in the Soviet period is noted and the modern developments of the department for the implementation of compilers, software using the language of decision tables and application software based on the fuzzy case-based reasoning approach are examined in detail.
Deep learning (DL), a relatively recent AI technique, has been successfully applied to the problem of automated modulation categorization (AMC), with promising results. An essential part of developing the spectrum-sen...
详细信息
this document enables communication between the Siemens PLC (Programmable logic Control) TIA portal and Lab VIEW. TIA Portal and Lab VIEW may talk to one another via OPC Server. OPC is a business standard that provide...
详细信息
this document enables communication between the Siemens PLC (Programmable logic Control) TIA portal and Lab VIEW. TIA Portal and Lab VIEW may talk to one another via OPC Server. OPC is a business standard that provides genuine plug-and-play software for factory automation and process control. It was created withthe aid of NI OPC SERVERS. Combining software and hardware from several vendors is made simple via OPC. By incorporating cutting-edge analysis and control functionality into any PLC using the new NI OPC servers with NI Lab VIEW software and DSC (Data Logging and Supervisory Control) module and its use in real-time control, the problem of automation in industrial applications throughout the manufacturing enterprise can be resolved. the facility must be automated using traditional SCADA software, which must be acquired and set up. this study needs to use Lab VIEW in order to build a low-cost SCADA platform because SCADA software is so expensive. the development of SCADA by utilizing the Lab VIEW DSC module to monitor and control the process by creating connection between PLC and NI-Lab VIEW is the main focus of this study. Once the SCADA solution has been created, it may be provided to the client by using the license-free Lab VIEWruntime environment.
暂无评论