logic

Theory, Mathematics and Algorithms for Artificial Intelligence Technology

Theory and basic algorithms of artificial intelligence techniques (metaheuristics, graph algorithms, dynamic programming, sphere theory, logic, mathematics) used in digital transformation, artificial intelligence and machine learning tasks.

2023.02.12

ICT技術:ICT Technologylife tips人工知能:Artificial Intelligence

Integration of logic and rules with probability/machine learning

Integration of logic and rules with machine learning (inductive logic programming, statistical relational learning, knowledge-based model building, Bayesian nets, probabilistic logic learning, hidden Markov models) used for digital transformation, artificial intelligence, and machine learning tasks.

2022.10.30

Symbolic Logicアルゴリズム:Algorithmsエキスパートシステム:expertsystemグラフ理論セマンテックウェブ技術:Semantic web Technologyベイズ推定微分積分:Calculus推論技術:inference Technology数理論理学:Mathematical logic最適化:Optimization機械学習:Machine Learning深層学習:Deep Learning確率・統計:Probability and Statistics関係データ学習

Creating Logic, Part 3 – Another Look at Logic Reading Notes

Foundations of logic (deductive reasoning, syntax and semantics) in mathematical logic used for reasoning mechanisms in artificial intelligence tasks.

2021.11.20

推論技術:inference Technology数理論理学:Mathematical logic

Creating Logic, Part 2: Expanding Logic Reading Notes

Fundamentals of logic (predicate logic and tableau, PPL, IPL) in mathematical logic utilized for reasoning mechanisms in artificial intelligence tasks.

2021.11.16

Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic集合論:Set theory

Creating Logic, Part I: Beginning Logic Reading Notes

A textbook of logic for artificial intelligence and basic mathematics (from propositional logic to predicate logic, and then semantics and multi-valued logic, intuitionistic logic)

2021.10.03

Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic