Vanguarda da inteligência artificial

Este livro foi escrito com base na pesquisa do estudo e IBM da faculdade.

A fim de compreender com precisão a inteligência artificial, é preciso explicar o básico do computador. A chamada "inteligência artificial" foi nomeado por John McCarthy na conferência de Dartmouth em 1956.
Usando a lógica computação simbólica matemática, tem sido usado no sentido de processamento de informações e abordagem de pesquisa que se baseia na inteligência da descrição. O apelido de "inteligência artificial" estava se tornando muito vago como uma palavra diária. Às vezes, você pode desenvolver um sistema de controle melhor e aparelhos programa simples para, foram ou são aplicadas ao jogo software.
- definição de inteligência artificial -
As tentativas de aplicar uma série de inteligência artificial e computador com aparência humana e tecnologia básica.
Todos inteligência artificial adicionou o processamento da lógica matemática. A lógica matemática, se A → B e B → C é verdade, A → C será verdadeiro. Esta é a operação lógica da lógica matemática, é a inferência da lógica matemática. Esta operação, foi incorporada a linguagem de programação AI.
1.O seguinte é o raciocínio lógico em uma operação lógica da lógica matemática. Há um conjunto A e B,ABは、xA and xBです。AB →　xA and xB
2.(AB) = (A)(B)、É a negação do símbolo.
3.(AB) = (A)(B)
4.x（A） and x（B）　→　x∈(AB)
5.x（A） or x（B）　→　x∈(AB)
6.x∈(AB) 　→　x（A） or x（B）
7.xA and xB →　x(AB)
8.x(AB) → xA and xB
9.(AB) = (A)(B) =　x（A） and x（B）
10.x（A） and x（B） →　(AB) = (A)(B)
etc......
Número teoria Teoria da Ciência e cálculos, foi um grande em meus tempos de faculdade.
A programação lógica tem os seguintes tipos.
1. inferência lógica de sistemas abertos computação paralela (Carl Hewitt)
Responder ao problema da relação entre a abordagem lógica e técnicas processuais, significado matemático (semântica denotacional) eo sentido matemático da lógica da abordagem processual (teoria do modelo) é diferente, é isso.
2. programação concorrente:
Nasceu a partir da pesquisa do processamento paralelo da descrição pela programação paralelismo e lógica, é um paradigma para programação concorrente. Na lógica de programação considera a expressão lógica de predicados e reescrever as regras do gol (Goal), faça o processamento pela reescrita da meta. Em contraste, reescrito simultâneo em paralelo considera o processo de objetivo como um lógico troca de informações de programação e sincronizar as variáveis ​​lógicas compartilhadas entre objetivo como um canal de comunicação.
Keith Clark, Hervé Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda (Kazunori Ueda) desenvolveram uma linguagem de programação lógica concorrente com funções de fluxo de estrutura de dados para funções de unificação e mensagens variáveis ​​compartilhadas. É um estudo para estabelecer as bases de programação concorrente com base em lógica matemática, mas isso se tornou tanto o fundamento da quinta computador geração.
Concorrente de programas de lógica de restrição de programas de lógica e de afinidade, são integrados como uma programação restrição paralelo para controlar os constrangimentos execução concorrente, teorizou é realizada por Saraswat et. Kahn e Saraswat é o fato de que o modelo do ator pode ser realizado em um conjunto de restrições no âmbito da programação de restrição concorrente, o modelo do ator afirmou que é um caso especial de programação de restrição concorrente.
programação concorrente é muitas vezes aplicada a um computador super.







Como exemplo, há um super computador (Kei).
Kei: tipo escalar de computador de uso geral
RIKEN Computational Science Research Organization:

Earth Simulator (também conhecido como Tera, Earth Simulator)

A investigação marinha e mecanismo de desenvolvimento de Yokohama-shi, Kanagawa Kanazawa-ku (JAMSTEC) foi instalado no Instituto Yokohama. Como o aquecimento global e movimento da crosta terrestre, é usado literalmente para a simulação em