A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs (Special Section on Net Theory and Its Applications)

スポンサーリンク

概要

• 論文の詳細を見る

• Nonmonotonic reasoning is a logical inference system which attempts to approximate human commonsense reasoning and is characterized as defeasible: having reasonably drawn a conclusion from some premises we may be forced to retract that conclusion upon learning new facts. This paper introduces a Petri net model for nonmonotonic reasoning with nonmonotonic rules generated by annotated logic programs and the unless operator. In the Petri net model, a fixpoint of a nonmonotonic theory can be represented as a maximal and consistent support of a firing sequence. We propose a structural method for finding extensions (coherent consequences) for a given set of nonmonotonic logic rules. It is based on the T-invariant technique for testing fireability of a goal transition in the Petri net model of Horn clause logic programs.

• 社団法人電子情報通信学会の論文
• 1994-10-25

著者

• Murata Tadao

  Department of Orthopaedic Surgery School of Medicine, Chiba University

• Lin C

  Tsinghua Univ. Beijing Chn

• Lin Chuang

  Institute of Information Science and Application, State Information Center

• Murata Tadao

  Department Of Electrical Engineering And Computer Science The University Of Illinois

関連論文

• 股関節回転中心に関する人体下肢慣性モーメント(I_O)の推定値について : その2
• 股関節回転中心に関する人体下肢慣性モーメント(I_O)の推定値について : その1
• A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs (Special Section on Net Theory and Its Applications)
• Results of revision total hip arthroplasty with Anatomic BR stem : 10-year minimum follow-up

スポンサーリンク