贵阳学院学报（社会科学版）
貴暘學院學報（社會科學版）
귀양학원학보（사회과학판）
JOURNAL OF GUIYANG COLLEGE （SOCIAL SCIENCES）
2007年
3期
96-100
,共5页
情报推理%制约逻辑%人工智能%专家系统
情報推理%製約邏輯%人工智能%專傢繫統
정보추리%제약라집%인공지능%전가계통
逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中.人工智能研究以正统数理逻辑为其逻辑理论工具.由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数.因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡.情报推理仍需要寻求一种更合适的逻辑理论工具.
邏輯科學在情報學學科中幾乎主要地被應用于情報檢索領域,而情報檢索領域中涉及推理的內容主要地散見于人工智能推理機製中.人工智能研究以正統數理邏輯為其邏輯理論工具.由于正統數理邏輯把原本能確保不循環的推理格式處理成同語反複的恆真的真值函數.因而建立在這種邏輯理論基礎之上的人工智能專傢繫統併不能真正實現從已知到新知的必然過渡.情報推理仍需要尋求一種更閤適的邏輯理論工具.
라집과학재정보학학과중궤호주요지피응용우정보검색영역,이정보검색영역중섭급추리적내용주요지산견우인공지능추리궤제중.인공지능연구이정통수리라집위기라집이론공구.유우정통수리라집파원본능학보불순배적추리격식처리성동어반복적항진적진치함수.인이건립재저충라집이론기출지상적인공지능전가계통병불능진정실현종이지도신지적필연과도.정보추리잉수요심구일충경합괄적라집이론공구.
