Notas de lectura
tema 3,1
- Grado
- Inteligencia Artificial
- Institución
- Universitat Autónoma De Barcelona
Inteligencia artificial
[Mostrar más]Vista previa 2 fuera de 8 páginas
Vista previa 2 fuera de 8 páginas
Añadir al carritoVendedor
Seguir
Vista previa del contenido
Raonament automàtic: INTRO + FONAMENTS DE LÒGICAHumans tenim capacitat de deduir a partir de coneixements i percepcions
(ex: coneixem que ocell té plomes, percebem que un canari te plomes, deduim que és un ocell)
En ordinador:
-Problema 1: representar el coneixement —> Lògica Matemàtica
-Problema 2: inferir la deducció —> Mecanismes d’Inferència
Què NO farem: tractar la traducció (llenguatge natural= llenguatge de la lògica = lleng. natural)
Agent lògic/ basat en coneixement fa 3 coses:
-Representa el coneixement sobre el món (del problema concret)
-Aplica un procés d’inferència per deduir una nova representació del món
-Usa les noves representacions deduïdes per a decidir què ha de fer
Esquema:
Caracteristiques dels agents basats en coneixement:
-Es basen en un fonament teòric sòlid: quan l’agent arriba a una conclusió a partir de la
informació que té disponible, es garanteix que la conclusió és correcta si la informació disponible
també ho era
-Són flexibles:
·Poden aprofitar coneixement expressat en formes genèriques, combinant la informació
per adaptar-se a diferents propòsits.
·Poden obtenir nou coneixement a partir del coneixement obtingut de l’entorn i adaptar-se
als canvis actualitzant el coneixement rellevant.
-Poden ser molt útils en entorns parcialment observables, ja que poden combinar el
coneixement general amb les percepcions reals per inferir aspectes ocults del món abans de
prendre una decisió (ex: app mèdica que infereix la malaltia (aspecte ocult) abans de triar
tractament (presa de decisió)
La lògica és la disciplina que ha estudiat com modelitzar les lleis del pensament humà
Com? Buscant representacions del coneixement i formalitzant els mecanismes d’inferència
del pensament.
La lògica proporciona un formalisme i tot un conjunt d’eines per modelitzar els mecanismes
del pensament dels humans
, Lògica Proposicional (LP): És una representació del coneixement que definim de la següent
forma en els diferents nivells
-Lèxic: Proposició, àtom, sentència, connectiva lògica (¬,^,v, ->), àtoms especials: CERT I FALS
-Estructural: L’estructura en LP ve definida per les següents formes:
·Proposició= <cadena de caràcters>
·Àtom= cert | fals | Proposició
·Sentència= Àtom | ¬Sentència |
Sentència ^ Sentpencia |
Sentència v Sentpencia |
Sentència -> Sentpencia
-Semàntic: les proposicions representen assercions sobre el món real
les sentències agafen el significat segons les connectives lògiques
les connectives tenen el significat que els donen les TAULES DE LA VERITAT
-Procedimental: procediments que implementen les connectives lògiques
que apliquen regles d’inferència
que apliquen encadenaments de regles
·Proposició: Cadena de caràcters que representa un fet o una acció concrets.
(ex: el canària te plomes= “cp” —> canari plomes)
·Sentència: És una asserció sobre el món, expressada en llenguatge de la lògica i que ha de ser o
bé certa o bé falsa (no pot ser una cosa i laltre)
Consisteix en una proposició o combinació de proposicions mitjançant connectives lògiques
·Connectives lògiques: Operadors que permeten definir sentències complexes a partir de la
combinació de sentències simples.
Les connectives lògiques tenen una correspondència directa amb les expressions del nostre
llenguatge. Les més utlitzades:
El significat de les connectives lògiques queda totalment especificat amb les seves
TAULES DE LA VERITAT:
Los beneficios de comprar resúmenes en Stuvia estan en línea:
Garantiza la calidad de los comentarios
Compradores de Stuvia evaluaron más de 700.000 resúmenes. Así estas seguro que compras los mejores documentos!
Compra fácil y rápido
Puedes pagar rápidamente y en una vez con iDeal, tarjeta de crédito o con tu crédito de Stuvia. Sin tener que hacerte miembro.
Enfócate en lo más importante
Tus compañeros escriben los resúmenes. Por eso tienes la seguridad que tienes un resumen actual y confiable. Así llegas a la conclusión rapidamente!
Preguntas frecuentes
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
100% de satisfacción garantizada: ¿Cómo funciona?
Nuestra garantía de satisfacción le asegura que siempre encontrará un documento de estudio a tu medida. Tu rellenas un formulario y nuestro equipo de atención al cliente se encarga del resto.
Who am I buying this summary from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller blancacampos. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy this summary for 6,49 €. You're not tied to anything after your purchase.
Can Stuvia be trusted?
4.6 stars on Google & Trustpilot (+1000 reviews)
45,681 summaries were sold in the last 30 days
Founded in 2010, the go-to place to buy summaries for 15 years now