Restricted semantics for default reasoning

In nonmonotonic reasoning there are the problems of inconsistency and incoherence in general, and in default reasoning there may be only one trivial extension or no extension in special. We propose the restricted semantics of four-valued logic for default reasoning to resolve the problems of inconsi...

Full description

Saved in:
Bibliographic Details
Published in:Annals of mathematics and artificial intelligence 2018-12, Vol.84 (3-4), p.185-200
Main Authors: Lin, Zuoquan, Chen, Chen
Format: Article
Language:English
Subjects:
Artificial Intelligence
Complex Systems
Computer Science
Default
Incoherence
Knowledge
Mathematics
Reasoning
Semantics
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In nonmonotonic reasoning there are the problems of inconsistency and incoherence in general, and in default reasoning there may be only one trivial extension or no extension in special. We propose the restricted semantics of four-valued logic for default reasoning to resolve the problems of inconsistency and incoherence and in the meantime retain classical extensions in the presence of consistency and coherency. The restricted semantics can maintain both the expressiveness and reasoning ability of default logic. We provide a transformation approach to compute the restricted extensions by reducing them into classical ones.
ISSN:1012-2443
1573-7470
DOI:10.1007/s10472-018-9592-z