Introduction: PRICAI 2016 is the International Conference on Artificial Intelligence at the Pacific Rim and is held every two years. The conference focuses on the theory of artificial intelligence, technology and its application in the social field, and its importance to the economies of Pacific Rim countries.
Restricted Four-Valued Semantics for Answer Set Programming for Answer Set Programming
Abstract: In answer set programming, an extended logic program may not have a set of answers or only a simple set of answers. In this paper, we propose a new type of stability model semantics based on constrained four-valued logic to overcome inconsistencies and inconsistencies in answer set programming. When it comes to reasoning consistency and consistency, our stability model is the same as the classic answer set and can be answered by switching to an existing ASP solver. We also show the connection between the stable model and the default logical extension.
First author introduction
Zuoquan Lin
Position: Professor, Department of Information Science, Tsinghua University
Research Interests: Artificial Intelligence, Computer Software, Mathematical Logic
Via:PRICAI 2016
PS : This article was compiled by Lei Feng Network (search “Lei Feng Network†public number) and it was compiled without permission.
Original paper download