{"id":"https://openalex.org/W156010976","doi":null,"title":"THEMIS: a nonmonotonic inductive student modeling system","display_name":"THEMIS: a nonmonotonic inductive student modeling system","publication_year":1994,"publication_date":"1994-03-01","ids":{"openalex":"https://openalex.org/W156010976","mag":"156010976"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.602.154","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.602.154","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.hcilab.jp/~kono/documents/Themis_withPictures.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103244944","display_name":"Yasuyuki Kono","orcid":"https://orcid.org/0009-0007-0892-9518","observed_orcids":["https://orcid.org/0009-0007-0892-9518"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yasuyuki Kono","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0007-0892-9518","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102900189","display_name":"Mitsuru Ikeda","orcid":"https://orcid.org/0000-0002-5695-3527","observed_orcids":["https://orcid.org/0000-0002-5695-3527"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mitsuru Ikeda","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-5695-3527","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5078525116","display_name":"Riichiro Mizoguchi","orcid":"https://orcid.org/0000-0001-7048-2904","observed_orcids":["https://orcid.org/0000-0001-7048-2904"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Riichiro Mizoguchi","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-7048-2904","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.7623,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.92407108,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"5","issue":"3","first_page":"371","last_page":"413"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/student-modeling","display_name":"student modeling","score":0.7829999923706055},{"id":"https://openalex.org/keywords/non-monotonic-reasoning","display_name":"nonmonotonic reasoning","score":0.9800000190734863},{"id":"https://openalex.org/keywords/inductive-reasoning","display_name":"inductive reasoning","score":0.6940000057220459},{"id":"https://openalex.org/keywords/atm","display_name":"ATM","score":0.6019999980926514},{"id":"https://openalex.org/keywords/inconsistent-knowledge","display_name":"inconsistent knowledge","score":0.5550000071525574},{"id":"https://openalex.org/keywords/intelligent-tutoring-systems","display_name":"intelligent tutoring systems","score":0.6029999852180481}],"concepts":[{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.8596224784851074},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6809065937995911},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6522753834724426},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.6291192770004272},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5398229360580444},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5357493758201599},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.5164628028869629},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4895571172237396},{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.4517986476421356},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44066083431243896},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.41785597801208496},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20352444052696228},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.12964573502540588},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.602.154","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.602.154","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.hcilab.jp/~kono/documents/Themis_withPictures.pdf","raw_type":"text"},{"id":"mag:156010976","doi":null,"is_oa":false,"landing_page_url":"http://www.hcilab.jp/~kono/documents/Themis_withPictures.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Artificial Intelligence in Education","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality education","score":0.7567999958992004,"id":"https://metadata.un.org/sdg/4"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W19921008","https://openalex.org/W121826095","https://openalex.org/W1502913174","https://openalex.org/W1514468887","https://openalex.org/W1530984916","https://openalex.org/W1536708336","https://openalex.org/W1560432776","https://openalex.org/W1605619582","https://openalex.org/W1667012816","https://openalex.org/W1939051217","https://openalex.org/W1969921591","https://openalex.org/W2036942355","https://openalex.org/W2052707134","https://openalex.org/W2062093148","https://openalex.org/W2144386448","https://openalex.org/W2147096558"],"related_works":["https://openalex.org/W1939051217","https://openalex.org/W387012080","https://openalex.org/W2139540958","https://openalex.org/W7095381743","https://openalex.org/W1965346960","https://openalex.org/W3208441353","https://openalex.org/W2153486042","https://openalex.org/W1502913174","https://openalex.org/W126124641","https://openalex.org/W3014469364"],"abstract_inverted_index":{"Nonmonotonicities":[0],"of":[1,16,43,47,144],"students7":[2],"behavior":[3],"and":[4,31,70,107,134],"the":[5,14,17,41,44],"student":[6,65,79,151],"model":[7,18,66,109,149],"inference":[8,110],"process":[9],"itself":[10],"are":[11,22,40,82],"discussed":[12],"including":[13],"usage":[15],"in":[19],"tutoring.":[20],"They":[21],"classified":[23],"into":[24],"two":[25],"classes,":[26],"i.e.,":[27],"single":[28,87],"world":[29,88],"contradictions":[30,33,39],"multi-world":[32],"(student":[34],"knowledge":[35,38],"contradictions).":[36],"Student":[37],"essentials":[42],"learning":[45],"processes":[46],"a":[48,53,60,76,94,104,117,141,150],"student.":[49],"This":[50],"paper":[51],"presents":[52],"new":[54,105],"perspective":[55],"to":[56,84],"capture":[57],"them":[58],"formulating":[59,120],"stu-dent":[61],"discrimination":[62],"structure.":[63],"A":[64],"description":[67],"lan-guage":[68],"SMDL":[69,90],"modeling":[71,80],"algorithm":[72],"HSMIS,":[73],"which":[74,112],"is":[75,91,103],"non-monotonic":[77],"inductive":[78,108],"system,":[81],"formulated":[83,125],"cope":[85],"with":[86],"contradictions.":[89],"based":[92],"on":[93],"logic":[95],"programming":[96],"language":[97],"taking":[98],"4":[99],"truth":[100],"values.":[101],"THEMIS":[102,126],"nonmonotonic":[106],"system":[111],"in-corporates":[113],"deKleer's":[114],"ATMS":[115],"as":[116],"vehicle":[118],"for":[119],"both":[121],"nonmonotonicities":[122],"(contradictions).":[123],"The":[124],"embodies":[127],"advanced":[128],"representation":[129],"power,":[130],"sufficiently":[131],"high":[132],"adaptability":[133],"generality.":[135],"Not":[136],"only":[137],"can":[138,148],"it":[139,147],"follow":[140],"student's":[142],"change":[143],"understanding,":[145],"but":[146],"who":[152],"has":[153],"in-consistent":[154],"knowledge.":[155]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2016-06-24T00:00:00"}