Answer Set Semantics for Prioritized Defaults Logic(Fundamentals of Software and Theory of Programs)

スポンサーリンク

概要

• 論文の詳細を見る

• We describe a new inconsistent case which is susceptible to occur while producing consistent answer set using prioritized default logic. We define new semantics for prioritized default logic in order to solve this problem. There is a sign difference between General and Extended logic programs. Extended logic programs are formulated using classical negation, For this reason, an inconsistent answer set can sometimes be produced. For the most part, default reasoning semantics successfully resolved this problem, but a conflict could still arise in one particular case. The purpose of this paper is to present this eventuality, and revise the semantics of default logic in order to give an answer to this problem.

• 社団法人電子情報通信学会の論文
• 2004-12-01

著者

• Choi Jin-young

  Department Of Computer Science And Engineering Korea University

• Choi J‐y

  Korea Univ. Seoul Kor

• YOO Hee-Jun

  Department of Computer Science and Engineering, Korea University

• BAI Mino

  Department of Computer Science, Dongduk Women's University

• Bai Mino

  Department Of Computer Science Dongduk Women's University

• Yoo Hee-jun

  Department Of Computer Science And Engineering Korea University

関連論文

• Model Checking of Real-Time Properties of Resource-Bound Process Algebra
• Endoscopic-Assisted Open Reduction and Internal Fixation (EAORIF) for Condylar Fracture(International Symposium of Maxillofacial and Oral Regenerative Biology in Okayama 2005)
• A Surface Resistance Effect on the Fabrication of Dye-sensitized Solar Cell with Various Widths
• Secure Handover Protocol for Mobile WiMAX Networks
• The New Design of Dye-Sensitized Solar Cell Adopted by Sputter Deposition of Counter Electrode
• Answer Set Semantics for Prioritized Defaults Logic(Fundamentals of Software and Theory of Programs)

スポンサーリンク