Weighted Modal Logic in Epistemic and Deontic Contexts
| Autor: | Huimin Dong, Yì N. Wáng, Xu Li |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
business.industry
Computer science Deontic logic Kripke models Modal logic Similarity measure ComputingMethodologies_ARTIFICIALINTELLIGENCE Measure (mathematics) Computer Science::Multiagent Systems TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Epistemic modal logic TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Computer Science::Logic in Computer Science Artificial intelligence business |
| Zdroj: | Logic, Rationality, and Interaction ISBN: 9783030887070 LORI |
| Popis: | We introduce a type of weighted modal logic with explicit weights both in the language and in the models. The framework has its applications in epistemic logic for reasoning about agents’ knowledge based on their capability, and in deontic logic for agents’ choices based on their deontic capability or utilities. We make use of weighted Kripke models with the weights understood epistemically as a similarity measure between states and deontically as a measure of expected utilities. We present sound and complete axiomatizations for the logics, and discuss variants and possible extensions. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|