Class notes
tema 3,1
- Course
- Institution
Inteligencia artificial
[Show more]
Seller
Follow
blancacampos
Content preview
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:
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
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.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes 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 these notes for $6.86. You're not tied to anything after your purchase.
Can Stuvia be trusted?
4.6 stars on Google & Trustpilot (+1000 reviews)
51056 documents were sold in the last 30 days
Founded in 2010, the go-to place to buy study notes for 15 years now