Nonmonotonic propositional logic

doi:10.1007/s11704-020-7104-x

Front. Comput. Sci.

2021, Vol. 15

Issue (3) : 153402 https://doi.org/10.1007/s11704-020-7104-x

LETTER

Nonmonotonic propositional logic

Wei LI¹, Yuefei SUI^2,³, Yuhui WANG^2,^3,⁴(

)

¹. State Key Laboratory of Software Development Environment, Beihang University, Beijing 100191, China
². Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China
³. School of Computer and Control Engineering, University of Chinese Academy of Sciences, Beijing 100049, China
⁴. Information Technology Center, China Reinsurance (Group) Corporation, Beijing 100033, China

Download: PDF(180 KB)
Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks

Corresponding Author(s): Yuhui WANG

Just Accepted Date: 28 July 2020 Issue Date: 11 March 2021

Cite this article:

Wei LI,Yuefei SUI,Yuhui WANG. Nonmonotonic propositional logic[J]. Front. Comput. Sci., 2021, 15(3): 153402.

URL:

https://academic.hep.com.cn/fcs/EN/10.1007/s11704-020-7104-x
https://academic.hep.com.cn/fcs/EN/Y2021/V15/I3/153402

1	G Takeuti. Proof Theory. Courier Corporation, 2013
2	R Reiter. A logic for default reasoning. Artificial Intelligence, 1980, 13: 81–132 https://doi.org/10.1016/0004-3702(80)90014-4
3	G Antoniou. A tutorial on default logics. ACM Computing Surveys, 1999, 31(4): 337–359 https://doi.org/10.1145/344588.344602
4	W Li. R-calculus: an inference system for belief revision. The Computer Journal, 2007, 50: 378–390 https://doi.org/10.1093/comjnl/bxl069
5	M L Ginsberg. Readings in Nonmonotonic Reasoning. San Francisco: Morgan Kaufmann, 1987
6	C Cao, Y Sui, Y Wang. The nonmonotonic propositional logics. Artificial Intelligence Research, 2016, 5: 111–120 https://doi.org/10.5430/air.v5n2p111

[1]	Article highlights 1	Download
[2]	Article highlights 2	Download

Viewed

Full text

Abstract

Cited

Shared

Discussed