BDI logic applied to a dialogical interpretation of human–machine cooperative dialogues

DOI10.1093/jigpal/jzz039zbMath1494.03077OpenAlexW3004887186MaRDI QIDQ5082342

Pablo Sierra

Publication date: 16 June 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzz039

zbMATH Keywords

belief revisiondialogical logicBDI logiccooperative dialogues

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Lekta