Studies on abductive and nonmonotonic reasoning 仮説生成と非単調推論に関する研究

この論文をさがす

著者

    • 井上, 克巳 イノウエ, カツミ

書誌事項

タイトル

Studies on abductive and nonmonotonic reasoning

タイトル別名

仮説生成と非単調推論に関する研究

著者名

井上, 克巳

著者別名

イノウエ, カツミ

学位授与大学

京都大学

取得学位

博士 (工学)

学位授与番号

乙第8066号

学位授与年月日

1993-01-23

注記・抄録

博士論文

目次

  1. 論文目録 / (0001.jp2)
  2. Contents / p5 (0007.jp2)
  3. Preface / p3 (0006.jp2)
  4. Acknowledgments / p4 (0007.jp2)
  5. 1 Introduction / p1 (0009.jp2)
  6. 1.1 Background / p2 (0010.jp2)
  7. 1.2 Objectives / p5 (0011.jp2)
  8. 1.3 Contributions / p5 (0011.jp2)
  9. 1.4 Outline of the Dissertation / p6 (0012.jp2)
  10. 1.5 Publications / p9 (0013.jp2)
  11. 2 Nonmonotonic Reasoning and Abduction / p11 (0014.jp2)
  12. 2.1 Logic of Abduction / p11 (0014.jp2)
  13. 2.2 Logical Frameworks for Nonmonotonic Reasoning / p18 (0018.jp2)
  14. 2.3 Relating Abduction to Nonmonotonic Logics / p25 (0021.jp2)
  15. 3 Characterization of Consequence-Finding / p41 (0029.jp2)
  16. 3.1 Consequence-Finding Problem / p41 (0029.jp2)
  17. 3.2 Characterizing Logical Consequences / p44 (0031.jp2)
  18. 3.3 Applications / p51 (0034.jp2)
  19. 4 Linear Resolution for Consequence-finding / p63 (0040.jp2)
  20. 4.1 Introduction / p63 (0040.jp2)
  21. 4.2 Skipping Ordered-Linear Resolution / p65 (0041.jp2)
  22. 4.3 Variations / p84 (0051.jp2)
  23. 4.4 Summary / p89 (0053.jp2)
  24. 4.5 Proofs / p89 (0053.jp2)
  25. 5 Theorem Proving for Circumscription / p101 (0059.jp2)
  26. 5.1 Introduction / p101 (0059.jp2)
  27. 5.2 Background / p102 (0060.jp2)
  28. 5.3 Query Answering Procedures / p109 (0063.jp2)
  29. 5.4 Improving Efficiency / p112 (0065.jp2)
  30. 5.5 Limitations / p116 (0067.jp2)
  31. 5.6 Computing Answers for Circumscription / p118 (0068.jp2)
  32. 5.7 Answer Extraction / p123 (0070.jp2)
  33. 5.8 Summary / p128 (0073.jp2)
  34. 6 Hypothetical Reasoning in Logic Programs / p129 (0073.jp2)
  35. 6.1 Introduction / p129 (0073.jp2)
  36. 6.2 Background / p132 (0075.jp2)
  37. 6.3 Theory Formation / p137 (0077.jp2)
  38. 6.4 Reduction to Extended Logic Programs / p148 (0083.jp2)
  39. 6.5 Reduction to General Logic Programs / p160 (0089.jp2)
  40. 6.6 Discussion / p162 (0090.jp2)
  41. 6.7 Summary / p169 (0093.jp2)
  42. 7 Bottom-Up Computation of Logic Programs / p171 (0094.jp2)
  43. 7.1 Introduction / p171 (0094.jp2)
  44. 7.2 Positive Disjunctive Programs / p173 (0095.jp2)
  45. 7.3 General Logic Programs / p176 (0097.jp2)
  46. 7.4 Extended Disjunctive Databases / p181 (0099.jp2)
  47. 7.5 Implementation of Schemata / p184 (0101.jp2)
  48. 7.6 Discussion / p186 (0102.jp2)
  49. 7.7 Application to Legal Reasoning / p188 (0103.jp2)
  50. 7.8 Summary / p188 (0103.jp2)
  51. 7.9 Proofs / p189 (0103.jp2)
  52. 8 Conclusion and Future Direction / p191 (0104.jp2)
  53. 8.1 Consequence-Finding / p192 (0105.jp2)
  54. 8.2 Model Generation / p194 (0106.jp2)
  55. 8.3 Further Possibilities of Model Generation / p195 (0106.jp2)
  56. 8.4 Other Direction / p201 (0109.jp2)
  57. Bibliography / p203 (0110.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000092485
  • NII著者ID(NRID)
    • 8000000092710
  • DOI(NDL)
  • NDL書誌ID
    • 000000256799
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ