Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents
Tóm tắt
Từ khóa
Tài liệu tham khảo
Angelotti, E. S., Scalabrin, E. E. & Ávila, B. C. (2001). PANDORA: a multi-agent system using paraconsistent logic, Proc. of ICCIMA 2001, pp. 352–356.
Beirlaen, M. & Straßer, C. (2011). A paraconsistent multi-agent framework for dealing with normative conflicts, of CLIMA XII, pp. 312–329.
Blair, H. A. & Subrahmanian, V.S. (1989). Paraconsistent logic programming, Theoretical Computer Science 68(2): 135–154.
Bordini, R. H., Hübner, J. F. & Wooldridge, M. (2007). Programming Multi-Agent Systems in AgentSpeak Using Jason, John Wiley & Sons.
Coniglio, M. E. & Oliveira, K. E. (2016). On 3-valued paraconsistent logic programming, Syntax Meets Semantics (SYSMICS) 2016.
Coniglio, M. E. & Silvestrini, L. H. D. C. (2013). An alternative approach for quasi-truth. Logic Journal of IGPL, 22(2): 387–410.
Da Costa, N. C., & Bueno, O. (1999). Quasi-truth, supervaluations and free logic. History and Philosophy of Logic, 20(3–4): 215–226.
de Amo, S. & Pais, M. S. (2007). A paraconsistent logic programming approach for querying inconsistent databases, International Journal of Approximate Reasoning 46(2): 366–386.
Dries, A., Kimmig, A., Meert, W., Renkens, J., den Broeck, G. V., Vlasselaer, J. & Raedt, L. D. (2015). Problog2: Probabilistic logic programming, Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2015, LNCS, Vol.9286, 312–315.
Fujita, M., Goto, Y., Nide, N., Satoh, K. & Hosobe, H. (2013). An architecture for autonomously controlling robot with embodiment in real world. Proc. of Knowledge Representation and Reasoning in Robotics (workshop at ICLP 2013), 59–71.
Fujita, M., Goto, Y., Nide, N., Satoh, K. & Hosobe, H. (2014). Logic-based and robust decision making for robots in real world. Proc. of AAMAS’ 14, 1685–1686.
Fujita, M., Goto, Y., Nide, N., Satoh, K. & Hosobe, H. (2016). Autonomous control of mobile robots using logical representation of map and inference of location. Proc. of IEEE ICA 2016, 78–81.
Mares, E. D. (1997). Paraconsistent probability theory and paraconsistent Bayesianism. Logique et Analyse 40(160): 375–384.
Rao, A. S. & Georgeff, M. P. (1997). Modeling rational agents within a BDI-architecture. in M. N. Huhns & M. P. Singh (eds), Readings in Agents, Morgan Kaufmann, 317–328.
Su, C.P. (2014). Paraconsistent justification logic: a starting point. Advances in Modal Logic 10: 513–532.
Zhang, X., Zhang, Z. & Lin, Z. (2009). An argumentative semantics for paraconsistent reasoning in description logic. Proc. of 22nd International Workshop on Description Logics.