{"id":"https://openalex.org/W2079247905","doi":"https://doi.org/10.1145/2801081.2801101","title":"Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining","display_name":"Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining","publication_year":2015,"publication_date":"2015-08-24","ids":{"openalex":"https://openalex.org/W2079247905","doi":"https://doi.org/10.1145/2801081.2801101","mag":"2079247905"},"language":"en","primary_location":{"id":"doi:10.1145/2801081.2801101","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2801081.2801101","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th Balkan Conference on Informatics Conference","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/A5051003008","display_name":"Marius Brezovan","orcid":"https://orcid.org/0000-0002-5586-3693"},"institutions":[{"id":"https://openalex.org/I97553796","display_name":"University of Craiova","ror":"https://ror.org/03s251g81","country_code":"RO","type":"education","lineage":["https://openalex.org/I97553796"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Marius Brezovan","raw_affiliation_strings":["University of Craiova, Decebal 105, Craiova, Romania"],"affiliations":[{"raw_affiliation_string":"University of Craiova, Decebal 105, Craiova, Romania","institution_ids":["https://openalex.org/I97553796"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004297417","display_name":"Costin B\u0103dic\u0103","orcid":"https://orcid.org/0000-0001-8480-9867"},"institutions":[{"id":"https://openalex.org/I97553796","display_name":"University of Craiova","ror":"https://ror.org/03s251g81","country_code":"RO","type":"education","lineage":["https://openalex.org/I97553796"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Costin Badica","raw_affiliation_strings":["University of Craiova, Decebal 105, Craiova, Romania"],"affiliations":[{"raw_affiliation_string":"University of Craiova, Decebal 105, Craiova, Romania","institution_ids":["https://openalex.org/I97553796"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5051003008"],"corresponding_institution_ids":["https://openalex.org/I97553796"],"apc_list":null,"apc_paid":null,"fwci":0.701,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73303018,"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":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/forward-chaining","display_name":"Forward chaining","score":0.80131995677948},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7873804569244385},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7851308584213257},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.635105550289154},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.627094566822052},{"id":"https://openalex.org/keywords/backward-chaining","display_name":"Backward chaining","score":0.6187833547592163},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6174610257148743},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.587000846862793},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.5812960863113403},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5687052011489868},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44509750604629517},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.437261164188385},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4132132828235626},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3427259922027588},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.271151065826416},{"id":"https://openalex.org/keywords/inference-engine","display_name":"Inference engine","score":0.17298933863639832},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11477196216583252}],"concepts":[{"id":"https://openalex.org/C142614401","wikidata":"https://www.wikidata.org/wiki/Q777433","display_name":"Forward chaining","level":3,"score":0.80131995677948},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7873804569244385},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7851308584213257},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.635105550289154},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.627094566822052},{"id":"https://openalex.org/C129916263","wikidata":"https://www.wikidata.org/wiki/Q1141183","display_name":"Backward chaining","level":4,"score":0.6187833547592163},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6174610257148743},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.587000846862793},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.5812960863113403},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5687052011489868},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44509750604629517},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.437261164188385},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4132132828235626},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3427259922027588},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.271151065826416},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.17298933863639832},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11477196216583252},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2801081.2801101","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2801081.2801101","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th Balkan Conference on Informatics Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W808108719","https://openalex.org/W1489503486","https://openalex.org/W1554683232","https://openalex.org/W1556900989","https://openalex.org/W1559870885","https://openalex.org/W1757522552","https://openalex.org/W1830870749","https://openalex.org/W1883612199","https://openalex.org/W1933579113","https://openalex.org/W1976479780","https://openalex.org/W1981311312","https://openalex.org/W2003724611","https://openalex.org/W2012899205","https://openalex.org/W2031111226","https://openalex.org/W2038897552","https://openalex.org/W2075762626","https://openalex.org/W2087358015","https://openalex.org/W2131423065","https://openalex.org/W2145287593","https://openalex.org/W2167243488","https://openalex.org/W2401209009","https://openalex.org/W4402567033"],"related_works":["https://openalex.org/W904654316","https://openalex.org/W39770072","https://openalex.org/W1758809970","https://openalex.org/W2132414486","https://openalex.org/W2364163488","https://openalex.org/W833493212","https://openalex.org/W1976016244","https://openalex.org/W67335047","https://openalex.org/W2913724496","https://openalex.org/W16266565"],"abstract_inverted_index":{"Methods":[0],"for":[1,11,78,117],"verification":[2],"and":[3,34,99],"validation":[4],"of":[5,15,36,52,95],"expert":[6,43,125],"systems":[7],"are":[8],"important":[9],"activities":[10],"assuring":[12],"the":[13,31,37,50,66,70,93,111,123,130],"quality":[14],"these":[16],"systems.":[17],"The":[18,73],"research":[19],"in":[20,129],"this":[21],"area":[22],"is":[23,103,127],"related":[24,121],"to":[25,41,48,57,91,122],"three":[26],"main":[27],"criteria,":[28],"by":[29,64],"analysing":[30],"consistency,":[32],"completeness,":[33],"correctness":[35],"knowledge":[38],"base":[39,55,68],"associated":[40,56],"an":[42,114],"system.":[44],"This":[45],"paper":[46],"aims":[47],"study":[49],"consistency":[51,94],"a":[53,58,84,96,104],"rule":[54,67],"rule-based":[59],"system":[60,126],"with":[61],"forward":[62],"chaining":[63],"modeling":[65],"using":[69],"Event-B":[71,74,82],"method.":[72],"language":[75,86],"was":[76],"chosen":[77],"two":[79],"reasons:":[80],"(a)":[81],"uses":[83,110],"mathematical":[85],"that":[87],"can":[88],"be":[89],"used":[90],"prove":[92],"modeled":[97],"system,":[98],"(b)":[100],"because":[101],"it":[102],"tool-supported":[105],"formal":[106],"specification":[107],"language,":[108],"which":[109],"Rodin":[112],"platform,":[113],"Eclipse-based":[115],"IDE":[116],"Event-B.":[118],"An":[119],"example":[120],"CLIPS":[124],"provided":[128],"paper.":[131]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}