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 inAnnals of mathematics and artificial intelligence Vol. 84; no. 3-4; pp. 185 - 200
Main Authors Lin, Zuoquan, Chen, Chen
Format Journal Article
LanguageEnglish
Published Cham Springer International Publishing 01.12.2018
Springer
Springer Nature B.V
Subjects
Artificial Intelligence
Complex Systems
Computer Science
Default
Incoherence
Knowledge
Mathematics
Reasoning
Semantics
Restricted semantics
Four-valued logic
Paraconsistency
68T30
Nonmonotonic reasoning
Default logic
Online AccessGet full text
ISSN1012-2443
1573-7470
DOI10.1007/s10472-018-9592-z

Cover

More Information
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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1012-2443
1573-7470
DOI:10.1007/s10472-018-9592-z