Van Der Hoek, W and Belardinelli, F
(2015)
Epistemic Quantified Boolean Logic.
In: International Joint Conference on Artificial Intelligence (IJCAI).
![[img]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
ijcai2015.pdf - Unspecified Download (471kB) |
Abstract
This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligence. We introduce a multi-modal version of Second-order Propositional Modal Logic (SOPML), an extension of modal logic with propositional quantification, and illustrate its usefulness as a specification language for knowledge representation as well as temporal and spatial reasoning. Then, we define novel notions of (bi)simulation and prove that these preserve the interpretation of SOPML formulas. Finally, we apply these results to assess the expressive power of SOPML.
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Depositing User: | Symplectic Admin |
| Date Deposited: | 05 May 2016 14:49 |
| Last Modified: | 17 Dec 2022 02:29 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3000486 |
Share
Share
