Inteligencia Artificial, Diapositivas de Física

¡Descarga Inteligencia Artificial y más Diapositivas en PDF de Física solo en Docsity!

CRA- Coneixement i Raonament Automàtic GIA- Grau en Intel·ligència Artificial

INTRO:

INTEL·LIGÈNCIA, CONEIXEMENT,

RAONAMENT, COMPUTACIÓ

CRA: CONEIXEMENT I RAONAMENT AUTOMÀTIC

OBJECTIUS DEL CURS

▸ Analitzar les necessitats de coneixement per resoldre un problema.

▸ Analitzar un problema i determinar quines tècniques de representació i raonament són les més adequades.

▸ Extreure i representar el coneixement necessari per a construir una aplicació en l'àmbit dels sistemes basats en el coneixement

▸ Conèixer el concepte de lògica (sintaxi i semàntica).

▸ Saber aplicar els fonaments lògics a algunes de les aplicacions, cada vegada més abundants, en la informàtica dels mètodes de raonament.

▸ Entendre, escriure i manipular àgilment fórmules en diverses lògiques (proposicional, de primer ordre, descriptiva, difusa), amb especial èmfasi en les aplicacions a la informàtica.

CRA: CONEIXEMENT I RAONAMENT AUTOMÀTIC

EINES I ENTORNS DE TREBALL

▸ Prolog- Un entorn de programació lógica

▸ SWI Prolog: https://www.swi-prolog.org/

CRA: CONEIXEMENT I RAONAMENT AUTOMÀTIC

EINES I ENTORNS DE TREBALL

▸ Protegé: https://protege.stanford.edu/

▸ Entorn de treball amb ontologies

CRA: CONEIXEMENT I RAONAMENT AUTOMÀTIC

BIBLIOGRAFIA

CRA: CONEIXEMENT I RAONAMENT AUTOMÀTIC

BIBLIOGRAFIA

https://book.simply-logical.space/

CRA: CONEIXEMENT I RAONAMENT AUTOMÀTIC

AVALUACIÓ

▸ 0.30nota control programació lògica + 0.1 nota control

Raonament Aproximat + 0.20control Ontologies i Lògica de descripcions + 0,1 treballs de problemes i laboratori + 0.30 Examen final.

INTEL·LIGÈNCIA

HISTORIA

(HIPER)RÀPIDA

Automatic Computers

If a machine can do a job, then an automatic calculator

can be programmed to simulate the machine. The

speeds and memory capacities of present computers

may be insufficient to simulate many of the higher

functions of the human brain, but the major obstacle is

not lack of machine capacity, but our inability to write

programs taking full advantage of what we have.

How Can a Computer be Programmed to Use a Language

It may be speculated that a large part of human thought

consists of manipulating words according to rules of

reasoning and rules of conjecture.

From this point of view, forming a generalization consists of

admitting a new word and some rules whereby sentences

containing it imply and are implied by others. This idea has

never been very precisely formulated nor have examples been

worked out.

Automatic Computers

If a machine can do a job, then an automatic calculator

can be programmed to simulate the machine. The

speeds and memory capacities of present computers

may be insufficient to simulate many of the higher

functions of the human brain, but the major obstacle is

not lack of machine capacity, but our inability to write

programs taking full advantage of what we have.

CRA: CONEIXEMENT I RAONAMENT AUTOMÀTIC

BASE CONCEPTUAL

▸ Podem trobar arrels de la creació de màquines que puguin pensar en documents molt antics

▸ Grècia

▸ Al-khwarismi

▸ Ramon Llull

▸ Leibnitz

▸ Pascal

▸ Babbage