ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • nonmonotonic reasoning  (2)
Collection
Keywords
Publisher
Years
  • 1
    Electronic Resource
    Electronic Resource
    Autoepistemic circumscription and logic programming (1993)
    Springer
    Journal of automated reasoning 10 (1993), S. 143-160 
    Details
    ISSN: 1573-0670
    Keywords: Autoepistemic logic ; circumscription ; semantics of logic programming ; nonmonotonic reasoning
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00881833
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Autoepistemic logic of first order and its expressive power (1994)
    Springer
    Journal of automated reasoning 13 (1994), S. 69-82 
    Details
    ISSN: 1573-0670
    Keywords: nonmonotonic reasoning ; autoepistemic logic ; default logic and logic programming ; knowledge representation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00881912
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...