|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 6 gevonden artikelen
| Titel: |
A new class of theories for which circumscription can be obtained via the predicate completion |
| Auteur: |
Kundu, Sukhamay |
| Verschenen in: |
Journal of experimental & theoretical artificial intelligence |
| Paginering: | Jaargang 8 (1996) nr. 2 pagina's 191-205 |
| Jaar: |
1996-04-01 |
| Inhoud: |
Computing circumscription of a first-order theory is difficult because it involves, in general, a second-order quantifier. It is therefore important to study the cases where the circumscription can be expressed as a first-order theory. Lifschitz and Rabinov have previously shown that the class of separable theories and the class of collapsible theories have this property. Here, we introduce a new class of theories Delta , called finitary theories, for which the circumscription CIRC(Delta,P,Q) is given by a first order theory Delta Deltapc , where Deltapc is the set of predicate completion formulas for predicates in P defined in a suitable way. There are many finitary theories which are interesting and which do not belong to the class of separable or collapsible theories. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 6 gevonden artikelen
| << vorige | volgende >> |