Similar to Logic_Theorist

• 

  Logic Theorist

  Logic Theorist
  
• 

  Planner

  Planner (programming language)
  
• 

  Lean (証明アシスタント)

  Lean (proof assistant)
  
• 

  Mathematica

  Wolfram (software)
  
• 

  Wolfram (プログラミング言語)

  Wolfram Language
  
• 

  人工知能

  Artificial intelligence
  ▼-1 trends

  
• 

  Template:主な人工知能

  Template:Generative AI
  
• 

  AI JIMY Converter

  
• 

  AI JIMY Paperbot

  
• 

  Apple Intelligence

  Apple Intelligence
  
• 

  Copilotキー

  Copilot key
  
• 

  DABUS

  DABUS
  
• 

  DirectML

  
• 

  DyNet

  
• 

  FIELD system

  
• 

  Google AI

  Google AI
  
• 

  GPTs

  
• 

  ID3

  ID3 algorithm
  
• 

  Jabberwacky

  Jabberwacky
  
• 

  Mistral AI

  Mistral AI
  
• 

  MNISTデータベース

  MNIST database
  
• 

  NovelAI

  NovelAI
  
• 

  Open Neural Network Exchange

  Open Neural Network Exchange
  
• 

  OpenAI o1

  OpenAI o1
  
• 

  PARRY

  PARRY
  
• 

  Representational State Transfer

  REST
  
• 

  SHRDLU

  SHRDLU
  
• 

  Soar (認知アーキテクチャ)

  Soar (cognitive architecture)