{"id":"https://openalex.org/W2012989582","doi":"https://doi.org/10.1109/coginf.2008.4639146","title":"On abstract intelligence and its denotational mathematics foundations","display_name":"On abstract intelligence and its denotational mathematics foundations","publication_year":2008,"publication_date":"2008-08-01","ids":{"openalex":"https://openalex.org/W2012989582","doi":"https://doi.org/10.1109/coginf.2008.4639146","mag":"2012989582"},"language":"en","primary_location":{"id":"doi:10.1109/coginf.2008.4639146","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2008.4639146","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., Calgary, Univ., 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., Calgary, Univ., 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":3.4323,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.92350904,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"12"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9200000166893005,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.6326747536659241},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.5902589559555054},{"id":"https://openalex.org/keywords/computational-intelligence","display_name":"Computational intelligence","score":0.5347681641578674},{"id":"https://openalex.org/keywords/human-intelligence","display_name":"Human intelligence","score":0.4663127362728119},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.4555673599243164},{"id":"https://openalex.org/keywords/social-intelligence","display_name":"Social intelligence","score":0.4481378197669983},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.428104043006897},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.416353702545166},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.41209226846694946},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.40891098976135254},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.24951529502868652},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13925579190254211},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.13522547483444214},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.10419151186943054}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6326747536659241},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.5902589559555054},{"id":"https://openalex.org/C139502532","wikidata":"https://www.wikidata.org/wiki/Q1122090","display_name":"Computational intelligence","level":2,"score":0.5347681641578674},{"id":"https://openalex.org/C105409693","wikidata":"https://www.wikidata.org/wiki/Q5937824","display_name":"Human intelligence","level":2,"score":0.4663127362728119},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.4555673599243164},{"id":"https://openalex.org/C45801056","wikidata":"https://www.wikidata.org/wiki/Q2273844","display_name":"Social intelligence","level":2,"score":0.4481378197669983},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.428104043006897},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.416353702545166},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.41209226846694946},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.40891098976135254},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.24951529502868652},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13925579190254211},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.13522547483444214},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.10419151186943054},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0},{"id":"https://openalex.org/C138496976","wikidata":"https://www.wikidata.org/wiki/Q175002","display_name":"Developmental psychology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coginf.2008.4639146","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2008.4639146","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":[{"id":"https://metadata.un.org/sdg/4","score":0.6100000143051147,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W154197105","https://openalex.org/W411608595","https://openalex.org/W627798584","https://openalex.org/W1480781989","https://openalex.org/W1483241283","https://openalex.org/W1541093892","https://openalex.org/W1560374531","https://openalex.org/W1591557267","https://openalex.org/W1600769580","https://openalex.org/W1708874574","https://openalex.org/W1834509240","https://openalex.org/W1967666142","https://openalex.org/W2001390679","https://openalex.org/W2001771035","https://openalex.org/W2010887615","https://openalex.org/W2015523368","https://openalex.org/W2023808162","https://openalex.org/W2027732084","https://openalex.org/W2034088070","https://openalex.org/W2040512820","https://openalex.org/W2041280856","https://openalex.org/W2042695985","https://openalex.org/W2046241767","https://openalex.org/W2049592515","https://openalex.org/W2049790740","https://openalex.org/W2052753179","https://openalex.org/W2064984536","https://openalex.org/W2065529806","https://openalex.org/W2072395631","https://openalex.org/W2089883089","https://openalex.org/W2093147846","https://openalex.org/W2103812576","https://openalex.org/W2108704847","https://openalex.org/W2127624709","https://openalex.org/W2128847842","https://openalex.org/W2138549619","https://openalex.org/W2147614994","https://openalex.org/W2172439251","https://openalex.org/W2175830830","https://openalex.org/W2302619866","https://openalex.org/W2305540842","https://openalex.org/W2312015575","https://openalex.org/W2322866805","https://openalex.org/W2325362455","https://openalex.org/W2798445359","https://openalex.org/W4205149853","https://openalex.org/W4236448544","https://openalex.org/W4238965074","https://openalex.org/W6633657211","https://openalex.org/W6635690054","https://openalex.org/W6638762359","https://openalex.org/W6642010703","https://openalex.org/W6653311245","https://openalex.org/W6666562960","https://openalex.org/W6667577324","https://openalex.org/W6681494186"],"related_works":["https://openalex.org/W4232013368","https://openalex.org/W2152030816","https://openalex.org/W1988297271","https://openalex.org/W195770254","https://openalex.org/W1968488506","https://openalex.org/W3085858115","https://openalex.org/W2090872463","https://openalex.org/W2750175628","https://openalex.org/W2902796430","https://openalex.org/W4289755905"],"abstract_inverted_index":{"Recent":[0],"researches":[1],"reveal":[2],"that":[3,40,63],"various":[4],"paradigms":[5],"of":[6,37,50,72,96,126],"intelligence,":[7,15,88,131],"such":[8,111],"as":[9,26,34,93,112],"natural,":[10],"artificial,":[11],"machinable,":[12],"and":[13,22,45,53,83,102,109,123,134],"computational":[14,135],"can":[16],"be":[17],"unified":[18,66],"at":[19],"the":[20,54,70,80],"logical":[21],"functional":[23],"levels":[24],"known":[25],"abstract":[27,32,51,84,87,113,119,130],"intelligence.":[28,74],"This":[29],"paper":[30],"introduces":[31],"intelligence":[33,52,136],"a":[35,65,94],"form":[36],"driving":[38],"force":[39],"transfers":[41],"information":[42],"into":[43],"knowledge":[44],"behaviors.":[46],"An":[47],"architectural":[48],"framework":[49],"Generic":[55],"Abstract":[56],"Intelligence":[57],"Mode":[58],"(GAIM)":[59],"are":[60,137],"formally":[61],"developed":[62],"provide":[64],"theory":[67],"for":[68,100],"explaining":[69],"mechanisms":[71],"advanced":[73],"In":[75],"order":[76],"to":[77],"deal":[78],"with":[79],"highly":[81],"complex":[82,115],"objects":[85],"in":[86,129],"denotational":[89,127],"mathematics":[90,128],"is":[91],"introduced":[92],"category":[95],"expressive":[97],"mathematical":[98,105],"structures":[99],"modeling":[101],"manipulating":[103],"high-level":[104],"entities":[106],"beyond":[107],"numbers":[108],"sets,":[110],"objects,":[114],"relations,":[116],"behavioral":[117],"information,":[118],"concepts,":[120],"knowledge,":[121],"processes,":[122],"systems.":[124],"Applications":[125],"cognitive":[132],"informatics,":[133],"elaborated.":[138]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}