LEADER 03031nam 22006135 450 001 9910725094803321 005 20230515221054.0 010 $a9783031285516 010 $a3031285514 024 7 $a10.1007/978-3-031-28551-6 035 $a(MiAaPQ)EBC30545049 035 $a(Au-PeEL)EBL30545049 035 $a(OCoLC)1379833185 035 $a(DE-He213)978-3-031-28551-6 035 $a(BIP)089067713 035 $a(PPN)27061415X 035 $a(CKB)26707051400041 035 $a(EXLCZ)9926707051400041 100 $a20230515d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEpistemic Situation Calculus Based on Granular Computing $eA New Approach to Common-Sense Reasoning /$fby Seiki Akama, Yotaro Nakayama, Tetsuya Murai 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (171 pages) 225 1 $aIntelligent Systems Reference Library,$x1868-4408 ;$v239 311 08$a9783031285509 311 08$a3031285506 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- Preliminaries -- Discussion -- Conclusion -- Index. 330 $aThis book approaches to the subject of common-sense reasoning in AI using epistemic situation calculus which integrates the ideas of situation calculus and epistemic logic. Artificial intelligence (AI) is the research area of science and engineering for intelligent machines, especially intelligent computer programs. It is very important to deal with common-sense reasoning in knowledge-based systems. If we employ a logic-based framework, classical logic is not suited for the purpose of describing common-sense reasoning. It is well known that there are several difficulties with logic-based approaches, e.g., the so-called Fame Problem. We try to formalize common-sense reasoning in the context of granular computing based on rough set theory. The book is intended for those, like experts and students, who wish to get involved in the field as a monograph or a textbook for the subject. We assume that the reader has mastered the material ordinarily covered in AI and mathematical logic. 410 0$aIntelligent Systems Reference Library,$x1868-4408 ;$v239 606 $aComputational intelligence 606 $aArtificial intelligence 606 $aComputational Intelligence 606 $aArtificial Intelligence 615 0$aComputational intelligence. 615 0$aArtificial intelligence. 615 14$aComputational Intelligence. 615 24$aArtificial Intelligence. 676 $a060 700 $aAkama$b Seiki$0447830 702 $aNakayama$b Yotaro 702 $aMurai$b Tetsuya 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910725094803321 996 $aEpistemic Situation Calculus Based on Granular Computing$93366984 997 $aUNINA