Cov kev paub txog cov ntsiab lus ntawm kev paub qab hau yog dab tsi pub koj los kawm txog lub ntiaj teb puag ncig los ntawm cov hom phiaj los ntawm cov tswv yim thiab kev xav, thiab tsis nyob ntawm kev tsis txaus siab. Nyob rau hauv tsab xov xwm peb yuav xav txog peb hom kev paub qab hau - cov tswv yim, kev txiav txim siab thiab cov ntsiab lus, muab cov lus qhia kom txaus rau txhua qhov txawv. Pib yuav tsum yog los ntawm qhov nyuaj, hloov mus rau qhov nyuaj tshaj.
Lub tswvyim ntawm kev paub txog kev txawj ntse
Ua ntej, koj yuav tsum txiav txim siab rau cov lus siv. Lub npe zoo txhais tau tias yog ib yam khoom tshwj xeeb: lub rooj zaum no, phab ntsa no. Ib lub npe uas muaj npe qhia tau hais tias yog ib qho khoom siv hauv chav kawm: ntoo, ntawv sau, thiab lwm yam.
Cov ntsiab lus yog cov npe ntawm cov xwm txheej thiab cov khoom ntawm kev muaj tiag: "rooj", "board", "cat". Ib lub ntsiab lus muaj ob lub ntsiab lus tseem ceeb - qhov ntim thiab cov ntsiab lus:
- Lub tswv yim ntawm lub tswvyim yog txhua yam ntawm cov khoom uas tam sim no, ua ntej thiab tom qab lub sijhawm no, hais txog lub tswvyim. Piv txwv, lub tswv yim ntawm "txiv neej" yog ob qho tib si tus txiv neej qub, ib tug neeg hnub no, thiab ib tug txiv neej ntawm lub neej yav tom ntej.
- Cov ntsiab lus ntawm lub tswvyim - tag nrho cov cim qhia tias kev pab rau cov lus taw qhia cov ntsiab lus no, ua kom tau txhais nws.
Yog li, lub tswvyim yog kev xav hais tias cov ntsiab lus tseemceeb, kev txhais lus tshwjxeeb, tsim los piav qhia rau txhua tus neeg hauv txhua yam ntawm cov lus uas hais txog ib lo lus. Nyob hauv lub ntiaj teb ntawm kev tshawb fawb, cov ntsiab lus yog grinded txog thaum lawv pom lawv daim ntawv meej tshaj plaws thiab to taub. Tus essence ntawm ib yam ntawm cov phenomena ntawm kev muaj tiag yog piav raws li lub ntsiab ntawm cov ntsiab lus.
Cov ntaub ntawv ntawm kev paub qab hau: kev txiav txim
Lwm daim ntawv meej pem yog qhov kev txiav txim siab. Nws yog ib txoj hauv kev, uas yog, kev txuas ntawm ntau lub tswv yim. Raws li txoj cai, kev txiav txim siab raug hu los ntawm kev lees paub lossis tsis lees paub ib qho kev thesis. Nyob hauv lub ntiaj teb ntawm kev tshawb fawb, lub luag hauj lwm tseem ceeb yog muab rau cov kev txiav txim uas yog "Tseeb-Cov Neeg Tsav Xwm" uas yog, lawv hais txog qhov tseeb . Nws tsim nyog teev hais tias tsis yog txhua tus yuav muaj tseeb.
Piv txwv ntawm kev txiav txim sib txawv: "Lub ntiaj teb yog lub ntiaj chaw thib peb hauv lub hnub ci", "Tsis muaj ib qho satellite hauv ntiaj teb". Thawj nqe lus yeej muaj tseeb, tab sis qhov thib ob tsis yog, thaum lawv ob leeg nkag mus rau hauv chav kawm ntawm kev txiav txim. Qhov tseeb, cov kab lus yuav raug ntaus nqi rau kev txiav txim, txawm tias nws tsuas yog qhov qhia "Muab phau ntawv" xwb, tsis muaj qhov tseeb los yog lus dag.
Cov kev txiav txim muaj tseeb yeej muaj feem:
- Lub ntsiab lus ntawm kev txiav txim (qhov no lossis hais tias, uas yog qhia hauv qhov kev txiav txim). Lub zej zog muaj kev lees paub S.
- Predicate (cov ntaub ntawv uas qhov kev txiav txim muab hauv nws). Nyob rau hauv lub zej zog neeg kawm, lub npe ntawm tsab ntawv P.
- Ib qho tseem ceeb ntawm kev sib txuas lus "yog" yog qhov txuas ntawm qhov kev kawm thiab cov lus tseeb.
Cov tswv yim ntawm kev txiav txim siab tseeb yog qhov ua tus qauv "S yog P". Piv txwv: "Cov plaub hau yog lub teeb", "Tus tub ntxhais kawm txawj ntse". Yam kawm: plaub hau, tub ntxhais kawm. Predicates: ci, ntse. Lo lus "yog" yuav tsum yog los ntawm nws lub ntsiab lus, txij li thaum hauv Lavxias nws yog txoj kev cai txiav tawm nws thaum siv cov lus, feem ntau hloov lo lus "no" nrog "
Cov ntaub ntawv ntawm kev paub qab hau: inference
Qhov no yog qib siab tshaj plaws ntawm kev paub txog kev paub, uas txuas ntau cov kev txiav txim. Raws li txoj cai, qhov kev txiav txim raws li nram no los ntawm ib pawg ntawm kev txiav txim, uas yog hu ua parcels, mus rau lwm pab pawg - xaus. Ntawm no yog txoj cai lij choj: yog qhov chaw muaj tseeb, ces qee qhov twg cov lus xaus yuav muaj tseeb.
Nws yog tsim nyog sau cia tias cov ntaub ntawv ntawm lub meej pem cognition yog cov ntsiab lus ntawm tib neeg lub siab - nws yog tsawg dua yoog raws thiab theoretical qeb tshaj vim li cas, uas yog lub siab tshaj plaws ntawm logic .