Formal verification in the interactive and intelligent systems
Type doc. :
Thèses / mémoires
Langue :
Anglais
Année de soutenance:
2024
Afficher le Résumé
Computer modeling and simulation of human reasoning, decisions and behavior is an important goal of Artificial Intelligence. Much progress has been made in this direction since the emergence of this research problem and several researchers have proposed works using modal logic to represent human reasoning. One of the best known is the BDI model (for Beliefs, Desire, Intentions) proposed by Bratman in the 1980s. In this model, the designer represents the beliefs of individuals and the system builds plans from the goals.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 BEN TH C1 | BIB-Centrale / Thèses | interne | disponible |
Benrouba, F. et al. (2024). Formal verification in the interactive and intelligent systems (Doctorat) . Annaba.