|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 1 gevonden artikelen
| Titel: |
A NEW METHOD OF CIRCUMSCRIBING BELIEFS THE PROPOSITIONAL CASE |
| Auteur: |
Kundu, Sukhamay Chen, Jianhua |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 29 (2011) nr. 4 pagina's 383-390 |
| Jaar: |
2011-02-08 |
| Inhoud: |
We propose here a new notion of a minimal model for forming circumscription in belief-logic by incorporating the notion of minimal models in the prepositional logic. This results in a new circumscription operation for belief-formulas than the one considered in [4-6]. An important feature of the new circumscription operation is its close relationship with the circumscription of prepositional formulas. For instance, we have CIRC[Bφ] = B(CIRC[φ]), where φ is a prepositional formula. We give several examples to show that the new notion of circumscription fits quite well with intuition. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 1 gevonden artikelen