Modeling $$\mathscr {C}^{0}$$ C 0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
| dc.contributor.author | Oswald, James T. | |
| dc.contributor.author | Rozek, Brandon | |
| dc.contributor.author | Ferguson, Thomas M. | |
| dc.date | 2024-08-01 | |
| dc.date.accessioned | 2024-11-18T13:19:55Z | |
| dc.date.available | 2024-11-18T13:19:55Z | |
| dc.date.issued | 2024 | |
| dc.description.abstract | We introduce the $$\mathscr {C}^{0}$$ C 0 family of logics, which include temporalized modal operators for belief and hyperintensional modal operators for obligations and goals. We motivate the $$\mathscr {C}^{0}$$ C 0 family as extended doxastic fragments of the $$\mathcal {DCEC}$$ DCEC family of logics, which are cognitive calculi designed for theory-of-mind reasoning among multiple artificial agents. In the literature, $$\mathcal {DCEC}$$ DCEC family logics are defined exclusively using proof-theoretic semantics. In this work we provide a model theory for the $$\mathscr {C}^{0}$$ C 0 family of logics which constitutes the first steps towards providing a model theory for the $$\mathcal {DCEC}$$ DCEC cognitive calculi family as a whole. We investigate the fragment relationships between both the $$\mathscr {C}^{0}$$ C 0 family and the $$\mathcal {DCEC}$$ DCEC family, produce a model theory for the $$\mathscr {C}^{0}$$ C 0 family and prove important results establishing completeness for all $$\mathscr {C}^{0}$$ C 0 family logics and establish soundness for $$\mathscr {C}^{0}$$ C 0 fragments without time. | de |
| dc.identifier.doi | 10.1007/s13218-024-00848-7 | |
| dc.identifier.issn | 1610-1987 | |
| dc.identifier.uri | http://dx.doi.org/10.1007/s13218-024-00848-7 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/45390 | |
| dc.publisher | Springer | |
| dc.relation.ispartof | KI - Künstliche Intelligenz: Vol. 38, No. 0 | |
| dc.relation.ispartofseries | KI - Künstliche Intelligenz | |
| dc.title | Modeling $$\mathscr {C}^{0}$$ C 0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals | de |
| dc.type | Text/Journal Article | |
| mci.reference.pages | 45-59 |