{"id":"https://openalex.org/W2109440622","doi":"https://doi.org/10.1002/int.4550100303","title":"Strategies for building propositional expert systems","display_name":"Strategies for building propositional expert systems","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2109440622","doi":"https://doi.org/10.1002/int.4550100303","mag":"2109440622"},"language":"en","primary_location":{"id":"doi:10.1002/int.4550100303","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550100303","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-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/A5064348544","display_name":"Robert M. Colomb","orcid":null},"institutions":[{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"government","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Robert M. Colomb","raw_affiliation_strings":["CSIRO Division of Information Technology, Box 1599, North Ryde NSW 2113, Australia","CSIRO Division of Information Technology, Box 1599, North Ryde, NSW 2113, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CSIRO Division of Information Technology, Box 1599, North Ryde NSW 2113, Australia","institution_ids":["https://openalex.org/I1292875679"]},{"raw_affiliation_string":"CSIRO Division of Information Technology, Box 1599, North Ryde, NSW 2113, Australia","institution_ids":["https://openalex.org/I1292875679"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061956028","display_name":"Charles Y. C. Chung","orcid":null},"institutions":[{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"government","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Charles Y. C. Chung","raw_affiliation_strings":["CSIRO Division of Information Technology, Box 1599, North Ryde NSW 2113, Australia","CSIRO Division of Information Technology, Box 1599, North Ryde, NSW 2113, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CSIRO Division of Information Technology, Box 1599, North Ryde NSW 2113, Australia","institution_ids":["https://openalex.org/I1292875679"]},{"raw_affiliation_string":"CSIRO Division of Information Technology, Box 1599, North Ryde, NSW 2113, Australia","institution_ids":["https://openalex.org/I1292875679"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5064348544"],"corresponding_institution_ids":["https://openalex.org/I1292875679"],"apc_list":{"value":2500,"currency":"USD","value_usd":2500},"apc_paid":null,"fwci":1.779,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.87394815,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"10","issue":"3","first_page":"295","last_page":"328"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","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/T10906","display_name":"AI-based Problem Solving and Planning","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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9970999956130981,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9937000274658203,"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/computer-science","display_name":"Computer science","score":0.6706929206848145},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5359296202659607},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.518010675907135},{"id":"https://openalex.org/keywords/propositional-formula","display_name":"Propositional formula","score":0.5062195658683777},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.46000057458877563},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3916195034980774},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3755170404911041},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33318597078323364},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.06309264898300171}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6706929206848145},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5359296202659607},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.518010675907135},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.5062195658683777},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.46000057458877563},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3916195034980774},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3755170404911041},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33318597078323364},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.06309264898300171},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/int.4550100303","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550100303","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"},{"id":"pmh:oai:espace.library.uq.edu.au:UQ:29b02e7","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402388","display_name":"Queensland's institutional digital repository (The University of Queensland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I165143802","host_organization_name":"The University of Queensland","host_organization_lineage":["https://openalex.org/I165143802"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7699999809265137,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W16194962","https://openalex.org/W145128706","https://openalex.org/W147844697","https://openalex.org/W1480023663","https://openalex.org/W1487591965","https://openalex.org/W1524618384","https://openalex.org/W1802681612","https://openalex.org/W1949126510","https://openalex.org/W1975952423","https://openalex.org/W2047534780","https://openalex.org/W2061519380","https://openalex.org/W2083760618","https://openalex.org/W2111353076","https://openalex.org/W2126927283","https://openalex.org/W2147096558","https://openalex.org/W2149706766","https://openalex.org/W4300542707","https://openalex.org/W6600628903","https://openalex.org/W6605927302","https://openalex.org/W6606027048","https://openalex.org/W6628987034","https://openalex.org/W6945890601","https://openalex.org/W6965143372"],"related_works":["https://openalex.org/W949976107","https://openalex.org/W1987118140","https://openalex.org/W2788816388","https://openalex.org/W2990043628","https://openalex.org/W2951901777","https://openalex.org/W4298267346","https://openalex.org/W3049436368","https://openalex.org/W2045432969","https://openalex.org/W3099382357","https://openalex.org/W4315630423"],"abstract_inverted_index":{"The":[0],"core":[1],"of":[2,49,77,98,101,103],"this":[3],"article":[4],"is":[5,62,82],"a":[6,26,42],"proof":[7],"that":[8,83,110],"stratified":[9],"Horn":[10],"clause":[11],"propositional":[12],"systems":[13,36,53,90],"are":[14,117],"equivalent":[15],"to":[16,30,46,63,87,107],"and":[17,40,67,95,112],"can":[18],"be":[19],"efficiently":[20],"transformed":[21,35],"into":[22],"decision":[23],"tables":[24],"by":[25,111],"process":[27],"closely":[28],"related":[29],"assumption-based":[31],"truth":[32],"maintenance.":[33],"the":[34,47,65,75,99,108],"execute":[37],"much":[38],"faster":[39],"in":[41,54,73],"bounded":[43],"time,":[44],"leading":[45],"possibility":[48],"executing":[50],"real-time":[51],"expert":[52],"microseconds":[55],"on":[56],"fine-grained":[57],"parallel":[58],"computers.":[59],"One":[60],"consequence":[61,81],"simplify":[64],"consistency":[66],"completeness":[68],"analysis":[69,97],"for":[70,123],"such":[71],"systems,":[72,105],"particular":[74],"problem":[76,100],"ambiguity.":[78],"A":[79],"deeper":[80],"it":[84],"makes":[85],"sense":[86],"view":[88],"these":[89,104],"as":[91],"stochastic":[92],"processes.":[93],"This,":[94],"an":[96],"maintenance":[102],"leads":[106],"conclusion":[109],"large":[113],"rule":[114,120],"induction":[115],"approaches":[116,122],"better":[118],"than":[119],"construction":[121],"building":[124],"them.":[125],"\u00a9":[126],"1995":[127],"John":[128],"Wiley":[129],"&":[130],"Sons,":[131],"Inc.":[132]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}