Knowledge representation and non-monotonic reasoning

被引：0
作者：
Giordano L. [1 ]
Toni F. [2 ]
机构：
[1] Università Del Piemonte Orientale, Italy
[2] Imperial College London, United Kingdom
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2010年 / 6125卷
关键词：
Semantics - Computer circuits - Knowledge representation - Computation theory;
D O I：
10.1007/978-3-642-14309-0_5
中图分类号：
学科分类号：
摘要：
Logic programming has been deployed to support non-monotonic reasoning since the late '80s. In this paper, we review semantics, formalisms and computational mechanisms for logic programming for non-monotonic reasoning. We also discuss some formalisms that have emerged from the cross fertilization between the two areas and some applications in as diverse areas as reasoning about dynamic domains, security, diagnosis and legal reasoning. © 2010 Springer-Verlag Berlin Heidelberg.
引用
收藏
页码：87 / 111
页数：24
相关论文
共 131 条
[41]  
Denecker M., Schreye D.D., SLDNFA: An abductive procedure for abductive logic programs, Journal of Logic Programming, 34, 2, pp. 111-167, (1998)
[42]  
Dovier A., Pontelli E., 25 years of logic programming in Italy, LNCS, 6125, (2010)
[43]  
Doyle J., A truth maintenance system, Artif. Intell., 12, 3, pp. 231-272, (1979)
[44]  
Dung P., On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games, Artificial Intelligence, 77, 2, pp. 321-357, (1995)
[45]  
Dung P., Kowalski R., Toni F., Assumption-based argumentation, Argumentation in AI: The Book, (2009)
[46]  
Dung P.M., Negations as hypotheses: An abductive foundation for logic programming, ICLP, pp. 3-17, (1991)
[47]  
Dung P.M., Representing actions in logic programming and its applications in database updates, ICLP, pp. 222-238, (1993)
[48]  
Dung P.M., Mancarella P., Toni F., Computing ideal sceptical argumentation, Artificial Intelligence, 171, 10-15, pp. 642-674, (2007)
[49]  
Eshghi K., Kowalski R.A., Abduction compared with negation by failure, ICLP, pp. 234-254, (1989)
[50]  
Fitting M., A Kripke/Kleene semantics for logic programs, Journal of Logic Programming, 2, pp. 295-312, (1985)
12345678910