{"id":"https://openalex.org/W2076558347","doi":"https://doi.org/10.1109/coginf.2008.4639172","title":"The cognitive processes of analysis and synthesis in formal inferences","display_name":"The cognitive processes of analysis and synthesis in formal inferences","publication_year":2008,"publication_date":"2008-08-01","ids":{"openalex":"https://openalex.org/W2076558347","doi":"https://doi.org/10.1109/coginf.2008.4639172","mag":"2076558347"},"language":"en","primary_location":{"id":"doi:10.1109/coginf.2008.4639172","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2008.4639172","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 7th IEEE International Conference on Cognitive Informatics","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/A5012322217","display_name":"Yingxu Wang","orcid":"https://orcid.org/0000-0003-0445-3632"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]},{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Yingxu Wang","raw_affiliation_strings":["International Center for Cognitive Informatics (ICfCI), Theoretical and Empirical Software Engineering Research Centre (TESERC), Dept. of Electrical and Computer Engineering, Schulich School of Engineering, University of Calgary, 2500 University Drive, NW, Alberta, Canada T2N 1N4","[Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB]"],"affiliations":[{"raw_affiliation_string":"International Center for Cognitive Informatics (ICfCI), Theoretical and Empirical Software Engineering Research Centre (TESERC), Dept. of Electrical and Computer Engineering, Schulich School of Engineering, University of Calgary, 2500 University Drive, NW, Alberta, Canada T2N 1N4","institution_ids":["https://openalex.org/I154425047"]},{"raw_affiliation_string":"[Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB]","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012322217"],"corresponding_institution_ids":["https://openalex.org/I154425047","https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":0.572,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7800874,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"223","last_page":"231"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9998000264167786,"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.9998000264167786,"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/T12805","display_name":"Cognitive Science and Mapping","score":0.9639000296592712,"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/inference","display_name":"Inference","score":0.7099834680557251},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.703764021396637},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6472409963607788},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.6436159014701843},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.5016665458679199},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4732946753501892},{"id":"https://openalex.org/keywords/cognitive-model","display_name":"Cognitive model","score":0.4569975733757019},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4452786445617676},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4177935719490051},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3745056092739105},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2590849995613098},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.12690460681915283}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7099834680557251},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.703764021396637},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6472409963607788},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.6436159014701843},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.5016665458679199},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4732946753501892},{"id":"https://openalex.org/C161407221","wikidata":"https://www.wikidata.org/wiki/Q4382939","display_name":"Cognitive model","level":3,"score":0.4569975733757019},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4452786445617676},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4177935719490051},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3745056092739105},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2590849995613098},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.12690460681915283},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coginf.2008.4639172","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2008.4639172","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 7th IEEE International Conference on Cognitive Informatics","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1480781989","https://openalex.org/W1483241283","https://openalex.org/W1522631070","https://openalex.org/W1550944033","https://openalex.org/W1560374531","https://openalex.org/W1599457040","https://openalex.org/W2027732084","https://openalex.org/W2034088070","https://openalex.org/W2049592515","https://openalex.org/W2089883089","https://openalex.org/W2093147846","https://openalex.org/W2103812576","https://openalex.org/W2138549619","https://openalex.org/W2147614994","https://openalex.org/W2175830830","https://openalex.org/W2305540842","https://openalex.org/W2309390906","https://openalex.org/W2312015575","https://openalex.org/W4236448544","https://openalex.org/W6633657211","https://openalex.org/W6681494186"],"related_works":["https://openalex.org/W1980833107","https://openalex.org/W2084095376","https://openalex.org/W575990187","https://openalex.org/W4311127686","https://openalex.org/W2610201407","https://openalex.org/W2109644386","https://openalex.org/W645105494","https://openalex.org/W3188922137","https://openalex.org/W1835289271","https://openalex.org/W2577456850"],"abstract_inverted_index":{"Analyses":[0],"and":[1,25,40,44,53,63,69,77,90],"syntheses":[2],"are":[3,42,48,79],"a":[4,28,103],"pair":[5,95],"of":[6,14,23,30,38,75,93,96,105,108,118],"fundamental":[7],"cognitive":[8,21,36,68,73,97],"processes":[9,22,74,98],"at":[10],"the":[11,15,20,31,67,72,106,109,114,119],"meta-inference":[12],"layer":[13],"brain.":[16],"This":[17],"paper":[18],"presents":[19],"analysis":[24,39,76],"synthesis":[26,41,78],"as":[27,111],"part":[29,104],"brain\u2019s":[32],"inference":[33,101],"mechanisms.":[34],"The":[35,87],"foundations":[37],"explored,":[43],"their":[45],"mathematical":[46,70],"models":[47],"created":[49],"in":[50,82,113],"concept":[51,57],"algebra":[52,55],"system":[54,59],"by":[56],"and/or":[58],"decomposition,":[60],"composition,":[61],"specification,":[62],"aggregation.":[64],"Based":[65],"on":[66],"models,":[71],"formally":[80],"described":[81],"Real-Time":[83],"Process":[84],"Algebra":[85],"(RTPA).":[86],"formal":[88,100],"modeling":[89],"rigorous":[91],"explanation":[92],"this":[94],"for":[99],"reveal":[102],"mechanisms":[107],"brain":[110],"modeled":[112],"Layered":[115],"Reference":[116],"Model":[117],"Brain":[120],"(LRMB).":[121]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}