Annotated logic program and its application 真理値付き論理プログラムとその応用

この論文をさがす

著者

    • 中松, 和已 ナカマツ, カズミ

書誌事項

タイトル

Annotated logic program and its application

タイトル別名

真理値付き論理プログラムとその応用

著者名

中松, 和已

著者別名

ナカマツ, カズミ

学位授与大学

九州大学

取得学位

博士 (理学)

学位授与番号

甲第5206号

学位授与年月日

2000-03-27

注記・抄録

博士論文

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p4 (0005.jp2)
  3. 1 Introduction / p1 (0006.jp2)
  4. 2 Annotated Logic / p7 (0009.jp2)
  5. 2.1 Syntax for Annotated Logic PT / p7 (0009.jp2)
  6. 2.2 Semantics for Annotated Logic PT / p9 (0010.jp2)
  7. 2.3 Some Properties of PT / p11 (0011.jp2)
  8. 3 Annotated Logic Programming / p14 (0013.jp2)
  9. 3.1 Generally-Horn Logic Program(GHP) / p14 (0013.jp2)
  10. 3.2 Annotated Logic Program with Strong Negation(ALPSN) / p19 (0016.jp2)
  11. 4 Annotated Semantics for Default Theory / p27 (0020.jp2)
  12. 4.1 Default Theory and Extension Classes / p29 (0021.jp2)
  13. 4.2 From Default Theory into ALPSN / p32 (0023.jp2)
  14. 4.3 Example / p38 (0026.jp2)
  15. 5 Annotated Semantics for Non-monotonic ATMS / p42 (0028.jp2)
  16. 5.1 Non-monotonic ATMS / p43 (0029.jp2)
  17. 5.2 From Non-monotonic ATMS into ALPSN / p46 (0030.jp2)
  18. 5.3 Example / p57 (0036.jp2)
  19. 6 Annotated Semantics for Negation as Failure / p62 (0038.jp2)
  20. 6.1 Negation as Failure1 / p62 (0038.jp2)
  21. 6.2 Annotated Completion / p64 (0039.jp2)
  22. 6.3 Soundness and Completeness of NF / p68 (0041.jp2)
  23. 7 Vector Annotated Semantics for Defeasible Reasoning / p74 (0044.jp2)
  24. 7.1 Vector Annotated Logic Program with Strong Negation(YALPSN) / p75 (0045.jp2)
  25. 7.2 Defeasible Logic / p81 (0048.jp2)
  26. 7.3 From Defeasible Theory into YALPSN / p87 (0051.jp2)
  27. 7.4 Example / p98 (0056.jp2)
  28. 8 Application of VALPSN / p105 (0060.jp2)
  29. 8.1 Conflict Resolving / p105 (0060.jp2)
  30. 8.2 Default Fuzzy Reasoning Based on YALPSN / p112 (0064.jp2)
  31. 9 Conclusion / p115 (0065.jp2)
  32. Bibliography / p118 (0067.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000187728
  • NII著者ID(NRID)
    • 8000000188011
  • DOI(NDL)
  • NDL書誌ID
    • 000000352042
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ