Analysis of PRICAI 2016 International Artificial Intelligence Conference Papers | Constrained Four-Valued Semantics for Answer Set Programming

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


Posted on