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 条
[1]  
Alberti M., Chesani F., Gavanelli M., Lamma E., Mello P., Torroni P., Verifiable agent interaction in abductive logic programming: The SCIFF framework, ACM Transactions on Computational Logic (ToCL), 9, 4, (2008)
[2]  
Alferes J.J., Dung P.M., Pereira L.M., Scenario semantics of extended logic programs, LPNMR, pp. 334-348, (1993)
[3]  
Antoniou G., Baldoni M., Bonatti P.A., Nejdl W., Olmedilla D., Rule-based policy specification, Secure Data Management in Decentralized Systems. Advances in Information Security, 33, pp. 169-216, (2007)
[4]  
Antoniou G., Billington D., Governatori G., Maher M.J., Embedding defeasible logic into logic programming, Theory and Practice of Logic Programming, 6, 6, pp. 703-735, (2006)
[5]  
Baier J.A., McIlraith S.A., On planning with programs that sense, KR, pp. 492-502, (2006)
[6]  
Baldoni M., Baroglio C., Mascardi V., Omicini A., Torroni P., Agents, multi- agent systems and declarative programming: What, when, where, why, who, how?, LNCS, 6125, pp. 204-230, (2010)
[7]  
Baldoni M., Martelli A., Patti V., Giordano L., Programming rational agents in a modal action logic, Annals of Mathematics and Artificial Intelligence, 41, 2-4, pp. 207-257, (2004)
[8]  
Bandara A.K., Kakas A., Lupu E.C., Russo A., Using argumentation logic for firewall policy specification and analysis, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4269, pp. 185-196, (2006)
[9]  
Baral C., Gelfond M., Logic programming and knowledge representation, Journal of Logic Programming, 19, pp. 73-148, (1994)
[10]  
Baral C., Gelfond M., Reasoning Agents in Dynamic Domains, pp. 257-279, (2000)
12345678910