LISP Knowledge Information Processing Technologies
Overview of techniques for handling the most important knowledge information in artificial intelligence tasks.
数学:Mathematics
LISP 推論技術:inference Technology Answer Set Programming: A Brief History of Logic Programming and ASP
A solution set program as a tool for representing complex knowledge information used in digital transformation and artificial intelligence tasks.
数理論理学 Gendai Shiso July 2020 Special Feature: The World of Sphere Theory — The Forefront of Modern Mathematics Reading Memo
Application of abstraction using sphere theory, an important theory in modern mathematics, to areas such as physics, computer science, biology, linguistics, and aesthetics.
機械学習:Machine Learning Topic Model Theory and Implementation
A topic model is a probability generation model for extracting topics from sentences, which is one of the natural language processing technologies used in digital transformation and artificial intelligence tasks.
微分積分:Calculus Protected: Change detection by density ratio estimation – Detection of structural changes using the Kullback-Leibler density ratio estimation method
Detecting structural changes using the Kullback-Leibler density ratio estimation method for digital transformation and artificial intelligence tasks.
微分積分:Calculus Protected: Anomaly detection by density ratio estimation – Anomaly Estimation from Unsupervised Data Using the Kullback-Leibler Density Ratio Estimation Method
Among the anomaly/change detection techniques used in digital transformation and artificial intelligence tasks, I will introduce a method for anomaly detection using probability density ratio for unsupervised data ,Kullback-Leibler density ratio estimation method
微分積分:Calculus Protected: Anomaly detection using sparse structure learning- Graph models and regularization that link broken dependencies between variables to anomalies.
Graph models and regularization that link broken dependencies between variables to anomalies.
微分積分:Calculus Protected: Change detection using subspace method -Singular spectral transform method for time series data
Singular spectral transform (SVD) method for extracting change points from time series data for digital transformation and artificial intelligence tasks.
微分積分:Calculus Protected: Anomaly Detection by Gaussian Process Regression -Output anomaly detection for input, application to design of experiments
Detection of how much the output corresponding to the input is abnormal by Gaussian process regression, one of the most versatile methods of anomaly detection used in digital transformation and artificial intelligence tasks (application to design of experiments).
アルゴリズム:Algorithms Turing’s Theory of Computation Overview and Reference Books and Neural Turing Machines
An introduction to Turing's theory of computation, the basic computer theory on which artificial intelligence technology is based.