{"id":"https://openalex.org/W2896988090","doi":"https://doi.org/10.1109/icci-cc.2018.8482053","title":"Formal Representation of Introspective Reasoning Trace of a Cognitive Function in CARINA","display_name":"Formal Representation of Introspective Reasoning Trace of a Cognitive Function in CARINA","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2896988090","doi":"https://doi.org/10.1109/icci-cc.2018.8482053","mag":"2896988090"},"language":"en","primary_location":{"id":"doi:10.1109/icci-cc.2018.8482053","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icci-cc.2018.8482053","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 17th International Conference on Cognitive Informatics &amp; Cognitive Computing (ICCI*CC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"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/A5029180651","display_name":"Mar\u00eda Alejandra Garc\u00eda Florez","orcid":null},"institutions":[{"id":"https://openalex.org/I324290372","display_name":"University of C\u00f3rdoba","ror":"https://ror.org/04nmbd607","country_code":"CO","type":"education","lineage":["https://openalex.org/I324290372"]}],"countries":["CO"],"is_corresponding":true,"raw_author_name":"Maria A. Florez","raw_affiliation_strings":["Dept. Inform\u00e1tica Educativa, Universidad de C\u00f3rdoba, Monteria, Colombia"],"affiliations":[{"raw_affiliation_string":"Dept. Inform\u00e1tica Educativa, Universidad de C\u00f3rdoba, Monteria, Colombia","institution_ids":["https://openalex.org/I324290372"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008310264","display_name":"Adan A. Gomez","orcid":null},"institutions":[{"id":"https://openalex.org/I324290372","display_name":"University of C\u00f3rdoba","ror":"https://ror.org/04nmbd607","country_code":"CO","type":"education","lineage":["https://openalex.org/I324290372"]}],"countries":["CO"],"is_corresponding":false,"raw_author_name":"Adan A. Gomez","raw_affiliation_strings":["Dept. Inform\u00e1tica Educativa, Universidad de C\u00f3rdoba, Monteria, Colombia"],"affiliations":[{"raw_affiliation_string":"Dept. Inform\u00e1tica Educativa, Universidad de C\u00f3rdoba, Monteria, Colombia","institution_ids":["https://openalex.org/I324290372"]}]},{"author_position":"last","author":{"id":null,"display_name":"Manuel F. Caro","orcid":null},"institutions":[{"id":"https://openalex.org/I324290372","display_name":"University of C\u00f3rdoba","ror":"https://ror.org/04nmbd607","country_code":"CO","type":"education","lineage":["https://openalex.org/I324290372"]}],"countries":["CO"],"is_corresponding":false,"raw_author_name":"Manuel F. Caro","raw_affiliation_strings":["Dept. Inform\u00e1tica Educativa, Universidad de C\u00f3rdoba, Monteria, Colombia"],"affiliations":[{"raw_affiliation_string":"Dept. Inform\u00e1tica Educativa, Universidad de C\u00f3rdoba, Monteria, Colombia","institution_ids":["https://openalex.org/I324290372"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029180651"],"corresponding_institution_ids":["https://openalex.org/I324290372"],"apc_list":null,"apc_paid":null,"fwci":0.3385,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69444634,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"5","issue":null,"first_page":"620","last_page":"628"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9969000220298767,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.9969000220298767,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.991599977016449,"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.9836000204086304,"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/representation","display_name":"Representation (politics)","score":0.6333293914794922},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6273594498634338},{"id":"https://openalex.org/keywords/introspection","display_name":"Introspection","score":0.6192435026168823},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.613008975982666},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.5775495767593384},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5761253833770752},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.5146130323410034},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.49978065490722656},{"id":"https://openalex.org/keywords/cognitive-architecture","display_name":"Cognitive architecture","score":0.49045607447624207},{"id":"https://openalex.org/keywords/perception","display_name":"Perception","score":0.482810378074646},{"id":"https://openalex.org/keywords/mental-representation","display_name":"Mental representation","score":0.4671449363231659},{"id":"https://openalex.org/keywords/soar","display_name":"Soar","score":0.45034781098365784},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4057786762714386},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.22723165154457092},{"id":"https://openalex.org/keywords/cognitive-psychology","display_name":"Cognitive psychology","score":0.19518136978149414},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.12735584378242493}],"concepts":[{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6333293914794922},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6273594498634338},{"id":"https://openalex.org/C129671850","wikidata":"https://www.wikidata.org/wiki/Q210501","display_name":"Introspection","level":2,"score":0.6192435026168823},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.613008975982666},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.5775495767593384},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5761253833770752},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.5146130323410034},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.49978065490722656},{"id":"https://openalex.org/C20854674","wikidata":"https://www.wikidata.org/wiki/Q4386060","display_name":"Cognitive architecture","level":3,"score":0.49045607447624207},{"id":"https://openalex.org/C26760741","wikidata":"https://www.wikidata.org/wiki/Q160402","display_name":"Perception","level":2,"score":0.482810378074646},{"id":"https://openalex.org/C96199812","wikidata":"https://www.wikidata.org/wiki/Q2145290","display_name":"Mental representation","level":3,"score":0.4671449363231659},{"id":"https://openalex.org/C17305859","wikidata":"https://www.wikidata.org/wiki/Q382944","display_name":"Soar","level":2,"score":0.45034781098365784},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4057786762714386},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.22723165154457092},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.19518136978149414},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.12735584378242493},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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":1,"locations":[{"id":"doi:10.1109/icci-cc.2018.8482053","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icci-cc.2018.8482053","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 17th International Conference on Cognitive Informatics &amp; Cognitive Computing (ICCI*CC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6700000166893005}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W109131442","https://openalex.org/W1588470172","https://openalex.org/W1978642637","https://openalex.org/W1999304076","https://openalex.org/W2032680755","https://openalex.org/W2049696674","https://openalex.org/W2066136483","https://openalex.org/W2103812576","https://openalex.org/W2136720773","https://openalex.org/W2142418077","https://openalex.org/W2147614994","https://openalex.org/W2153842012","https://openalex.org/W2162577226","https://openalex.org/W2626841953","https://openalex.org/W2768428053","https://openalex.org/W3172906016","https://openalex.org/W6680204779","https://openalex.org/W6681494186"],"related_works":["https://openalex.org/W2030860531","https://openalex.org/W578216698","https://openalex.org/W2170833360","https://openalex.org/W2136720773","https://openalex.org/W2287222344","https://openalex.org/W1574653596","https://openalex.org/W2546298579","https://openalex.org/W2180809782","https://openalex.org/W2617383756","https://openalex.org/W4317106351"],"abstract_inverted_index":{"Reasoning":[0],"trace":[1,35],"is":[2,42],"a":[3,20,26],"declarative":[4],"knowledge":[5],"structure":[6],"that":[7],"captures":[8],"the":[9,16,46,50,66,69],"mental":[10],"states":[11],"and":[12],"decision-making":[13],"sequence":[14],"in":[15,36,59],"action-perception":[17],"cycle":[18],"of":[19,29,49,57,68],"cognitive":[21,37,55],"agent.":[22],"This":[23],"paper":[24],"presents":[25],"formal":[27,47],"representation":[28,48],"introspecti":[30],"<sup":[31],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[32],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">ve</sup>":[33],"reasoning":[34,52],"architecture":[38],"CARINA.":[39],"Denotational":[40],"Mathematics":[41],"used":[43,62],"to":[44],"describe":[45],"introspective":[51],"traces.":[53],"The":[54],"function":[56],"perception":[58],"CARINA":[60],"was":[61],"as":[63],"example":[64],"for":[65],"implementation":[67],"model.":[70]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}