ERA

Download the full-sized PDF of Autoepistemic Logic of First Order and Its Expressive PowerDownload the full-sized PDF

Analytics

Share

Permanent link (DOI): https://doi.org/10.7939/R36Q1SK4D

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Computing Science, Department of

Collections

This file is in the following collections:

Technical Reports (Computing Science)

Autoepistemic Logic of First Order and Its Expressive Power Open Access

Descriptions

Author or creator
Yuan, Li-Yan
Additional contributors
Subject/Keyword
autoepistemic logic
knowledge representation
default logic
nonmonotonic reasoning
logic programming
Type of item
Computing Science Technical Report
Computing science technical report ID
TR93-17
Language
English
Place
Time
Description
Technical report TR93-17. 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 generalized stable semantics that characterizes autoepistemic reasoning processes of rational agents, and show that the 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 autoepistemic logic of first order is a very powerful framework for nonmonotonic reasoning, logic programming, deductive databases, and knowledge representation.
Date created
1993
DOI
doi:10.7939/R36Q1SK4D
License information
Creative Commons Attribution 3.0 Unported
Rights

Citation for previous publication

Source
Link to related item

File Details

Date Uploaded
Date Modified
2014-04-29T16:44:12.849+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 390921
Last modified: 2015:10:12 16:43:45-06:00
Filename: TR93-17.pdf
Original checksum: fa302df2a9fd7241a33fda098855fb8d
Well formed: true
Valid: true
Page count: 17
Activity of users you follow
User Activity Date