Competències i objectius

 

Context de l'assignatura per al curs 2025-26

La lògica exerceix un paper fonamental en el camp de la intel·ligència artificial, ja que proporciona un marc teòric i pràctic per al raonament, la inferència i la presa de decisions basades en regles. És fonamental que els enginyers en intel·ligència artificial tinguen una comprensió sòlida de la lògica i les seues aplicacions per a desenvolupar sistemes intel·ligents eficients i de confiança.
L'objectiu principal de l'assignatura és ensenyar als estudiants els fonaments de la lògica formal i simbòlica, així com la seua aplicació en el desenvolupament de sistemes intel·ligents, i proporciona una base sòlida per a assignatures posteriors en les quals s'abordaran matèries més complexes com l'aprenentatge automàtic, el raonament probabilístic i la presa de decisions.

Durant el curs, s'exploraran diferents àrees de la lògica, com la lògica proposicional, la lògica de predicats i la programació lògica. Aprendran a representar el coneixement i els fets utilitzant diferents llenguatges formals i a utilitzar regles d'inferència per a realitzar raonaments vàlids. Al final del curs, els estudiants hauran d'haver adquirit una comprensió sòlida dels fonaments de la lògica i la seua aplicació en la intel·ligència artificial. Seran capaços d'analitzar i modelar problemes complexos utilitzant tècniques de lògica formal, així com de desenvolupar sistemes intel·ligents que utilitzen el raonament lògic per a prendre decisions.

 

 

Competències de l'assignatura (verificades per ANECA en graus i màsters oficials) per al curs 2025-26

Competències transversals

  • CT01 : Utilitzar de manera habitual les eines informàtiques, així com les tecnologies de la informació i les comunicacions, en tot el seu acompliment professional.
  • CT02 : Comunicar de manera oral i escrita transmetent informació, idees, problemes i solucions a un públic tant especialitzat com no especialitzat.

 

Competències generals

  • CG2 : Conéixer, seleccionar i aplicar mètodes dels diferents camps de la intel·ligència artificial per a la resolució de problemes d'enginyeria.
  • CG5 : Comunicar de manera clara i precisa coneixements, metodologies, idees, problemes i solucions en l'àmbit de la intel·ligència artificial

 

Competències Específiques

  • CE6 : Aplicar els fonaments de la lògica de primer ordre, el càlcul deductiu i la inferència lògica a la modelització i resolució de problemes d'intel·ligència artificial

 

Competències bàsiques

  • CB1 : Que els estudiants hagen demostrat posseir i comprendre coneixements en una àrea d'estudi que parteix de la base de l'educació secundària general, i se sol trobar a un nivell que, si bé es recolza en llibres de text avançats, inclou també alguns aspectes que impliquen coneixements procedents de l'avantguarda del seu camp d'estudi

 

 

 

Resultats d'aprenentatge (Objectius formatius)

1. Representar coneixement per mitjà de sistemes formals.

2. Formalitzar en llenguatge lògic frases del llenguatge natural.

3. Conéixer els mecanismes d'inferència lògics i les seues condicions d'aplicabilitat.

4. Analitzar algorismes i estratègies per a la demostració automàtica (automatització del raonament)

5. Aplicar tècniques de resolució a un conjunt de sentències lògiques per a ser capaç de respondre preguntes. 6. Dissenyar i implementar un sistema basat en la lògica per a resoldre una tasca determinada.

1. Representar coneixement per mitjà de sistemes formals.

2. Formalitzar en llenguatge lògic frases del llenguatge natural.

3. Conéixer els mecanismes d'inferència lògics i les seues condicions d'aplicabilitat.

4. Analitzar algorismes i estratègies per a la demostració automàtica (automatització del raonament)

5. Aplicar tècniques de resolució a un conjunt de sentències lògiques per a ser capaç de respondre preguntes. 6. Dissenyar i implementar un sistema basat en la lògica per a resoldre una tasca determinada.

 

 

 

Objectius específics indicats pel professorat per al curs 2025-26

  • Comprendre els fonaments de la representació del coneixement en sistemes formals.
  • Traduir frases del llenguatge natural a expressions lògiques utilitzant llenguatges formals.
  • Analitzar i comprendre el significat i la interpretació de les fórmules lògiques.
  • Aplicar tècniques d'avaluació semàntica per a determinar la validesa de les fórmules lògiques.
  • Avaluar la validesa d'un raonament lògic utilitzant regles d'inferència.
  • Estudiar i comparar diferents algorismes de demostració automàtica.
  • Comprendre els conceptes bàsics de la programació lògica.
  • Dissenyar i desenvolupar programes lògics que resolguen problemes específics en el camp de la intel·ligència artificial.

 

 

Dades generals

Codi: 33653
Professor/a responsable:
Llorens Largo, Faraón
Crèdits ECTS: 6,00
Crèdits teòrics: 1,20
Crèdits pràctics: 1,20
Càrrega no presencial: 3,60

Departaments amb docència

  • Dep.: CIENCIA DE LA COMPUTACIO I INT. ARTIF.
    Àrea: CIENCIA DE LA COMPUTACIO, INTEL·LIGENCIA ARTIFICIA
    Crèdits teòrics: 1,2
    Crèdits pràctics: 1,2
    Aquest departament és responsable de l'assignatura.
    Aquest dep. és responsable de l'acta.

Estudis en què s'imparteix