ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Artikel  (2)
  • nonmonotonic reasoning  (2)
  • 1990-1994  (2)
  • 1
    Digitale Medien
    Digitale Medien
    Autoepistemic circumscription and logic programming (1993)
    Springer
    Journal of automated reasoning 10 (1993), S. 143-160 
    Details
    ISSN: 1573-0670
    Schlagwort(e): Autoepistemic logic ; circumscription ; semantics of logic programming ; nonmonotonic reasoning
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We propose a framework of autoepistemic reasoning in which the underlying semantics is determined by the choice of a nonmonotonic inference mechanism and by specifying abelief constraint. While the latter makes the approach flexible in meeting possibly different applications, the former links the resulting semantics to a nonmonotonic reasoning formalism and thus allows adoption of existing techniques. In this paper we choosecircumscription as the underlying inference mechanism and use two different belief constraints to define two semantics,the stable circumscriptive semantics andthe well-founded circumscriptive semantics, for autoepistemic theories. The former coincides with Moore's autoepistemic logic for logic programs and is arguably more desirable in handling disjunctive autoepistemic theories. The latter is a reconstruction and extension of Przymusinski's iterative method for computing the leastAEL(circ) expansions for logic programs. We show that for logic programs the two construction methods coincide. However, while Przymusinski's construction method is restricted to logic programs only, the well-founded circumscriptive semantics is applicable to more general autoepistemic theories.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00881833
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 2
    Digitale Medien
    Digitale Medien
    Autoepistemic logic of first order and its expressive power (1994)
    Springer
    Journal of automated reasoning 13 (1994), S. 69-82 
    Details
    ISSN: 1573-0670
    Schlagwort(e): nonmonotonic reasoning ; autoepistemic logic ; default logic and logic programming ; knowledge representation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We study the expressive power of first-order autoepistemic logic. We argue that full introspection of rational agents should be carried out by minimizing positive introspection and maximizing negative introspection. Based on full introspection, we propose the maximal well-founded semantics that characterizes autoepistemic reasoning processes of rational agents, and show that breadth of the semantics covers all theories in autoepistemic logic of first order, Moore's AE logic, and Reiter's default logic. Our study demonstrates that the autoepistemic logic of first order is a very powerful framework for nonmonotonic reasoning, logic programming, deductive databases, and knowledge representation.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00881912
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...