### Modal nonmonotonic logics: ranges, characterization, computationModal nonmonotonic logics: ranges, characterization, computation

Access Restriction
Subscribed

 Author Marek, V. Wiktor ♦ Schwarz, Grigori F. ♦ Truszczyski, Mirosaw Source ACM Digital Library Content type Text Publisher Association for Computing Machinery (ACM) File Format PDF Copyright Year ©1993 Language English
 Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science Abstract Many nonmonotonic formalism, including default logic, logic programming with stable models, and autoepistemic logic, can be represented faithfully by means of modal nonmonotonic logics in the family proposed by McDermott and Doyle. In this paper properties of logics in this family are thoroughly investigated. We present several results on characterization of expansions. These results are applicable to a wide class of nonmonotonic modal logics. Using these characterization results, algorithms for computing expansions for finite theories are developed. Perhaps the most important finding of this paper is that the structure of the family of modal nonmonotonic logics is much simpler than that of the family of underlying modal (monotonic) logics. Namely, it is often the case that different monotonic modal logics collapse to the same nonmonotonic system. We exhibit four families of logics whose nonmonotonic variants coincide: $\textbf{5-KD45,$ TW5-SW5, $N-WK},$ and $\textbf{W5-D4WB}.$ These nonmonotonic logics naturally represent logics related to commonsense reasoning and knowledge representation such as autoepistemic logic, reflexive autoepistemic logic, default logic, and truth maintenance with negation. ISSN 00045411 Age Range 18 to 22 years ♦ above 22 year Educational Use Research Education Level UG and PG Learning Resource Type Article Publisher Date 1993-09-01 Publisher Place New York e-ISSN 1557735X Journal Journal of the ACM (JACM) Volume Number 40 Issue Number 4 Page Count 28 Starting Page 961 Ending Page 988

#### Open content in new tab

Source: ACM Digital Library