Computing Stable Classes of Annotated Logic Program with Strong Negation and its Application to Default Reasoning

スポンサーリンク

概要

• 論文の詳細を見る

• In this article, we propose an annotated logic program with strong negation (abbr. ALPSN) and a stable class semantics, and show an computing algorithm for stable classes of an ALPSN. Furthermore, we propose a translation from a default theory (D, W) into an ALPSN tr(D, W), and indicate that there is a strong corresspondence between extension class of (D, W) and stable classes of the ALPSN tr(D, W).

• 一般社団法人情報処理学会の論文
• 1994-03-07

著者

• Suzuki Atsuyuki

  Faculty Of Engineering Kanagawa University

• Suzuki Atsuyuki

  Faculty Of Engineering Shizuoka University

• NAKAMATSU Kazumi

  Himeji College of Hyogo

関連論文

• P2-63 Ultrasonic Rotary Motors Using Complex Transverse and Torsional Vibration Rods and Multiple BLT Transducers(Short presentation for poster)
• Load Characteristics of Ultrasonic Motors with a Longitudinal-Torsional Converter and Various Nonlinear Springs for Inducing Static Pressure
• Computing Stable Classes of Annotated Logic Program with Strong Negation and its Application to Default Reasoning
• Configuration of a Transverse Vibration Rod Type Ultrasonic Motor Using Three Longitudinal Transducers Driven in Three Different Vibration Phases

スポンサーリンク