{"id":"https://openalex.org/W3187159960","doi":"https://doi.org/10.1145/3461702.3462586","title":"Epistemic Reasoning for Machine Ethics with Situation Calculus","display_name":"Epistemic Reasoning for Machine Ethics with Situation Calculus","publication_year":2021,"publication_date":"2021-07-21","ids":{"openalex":"https://openalex.org/W3187159960","doi":"https://doi.org/10.1145/3461702.3462586","mag":"3187159960"},"language":"en","primary_location":{"id":"doi:10.1145/3461702.3462586","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3461702.3462586","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society","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/A5069777357","display_name":"Maurice Pagnucco","orcid":"https://orcid.org/0000-0001-7712-6646"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Maurice Pagnucco","raw_affiliation_strings":["University of New South Wales, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002766902","display_name":"David Rajaratnam","orcid":"https://orcid.org/0000-0002-4919-7997"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"David Rajaratnam","raw_affiliation_strings":["University of New South Wales, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062661097","display_name":"Raynaldio Limarga","orcid":"https://orcid.org/0009-0002-1142-7651"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Raynaldio Limarga","raw_affiliation_strings":["University of New South Wales, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001921007","display_name":"Abhaya Nayak","orcid":"https://orcid.org/0000-0003-0681-9570"},"institutions":[{"id":"https://openalex.org/I99043593","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89","country_code":"AU","type":"education","lineage":["https://openalex.org/I99043593"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Abhaya Nayak","raw_affiliation_strings":["Macquarie University, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"Macquarie University, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I99043593"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041567418","display_name":"Yang Song","orcid":"https://orcid.org/0000-0003-1283-1672"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yang Song","raw_affiliation_strings":["University of New South Wales, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5069777357"],"corresponding_institution_ids":["https://openalex.org/I31746571"],"apc_list":null,"apc_paid":null,"fwci":0.8508,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.78113682,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"814","last_page":"821"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9952999949455261,"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.9948999881744385,"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/realisation","display_name":"Realisation","score":0.6275291442871094},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5846649408340454},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5028766989707947},{"id":"https://openalex.org/keywords/consequentialism","display_name":"Consequentialism","score":0.45632389187812805},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4407981038093567},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.4359831213951111},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.35659873485565186},{"id":"https://openalex.org/keywords/engineering-ethics","display_name":"Engineering ethics","score":0.32360637187957764},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12008950114250183},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.11201193928718567}],"concepts":[{"id":"https://openalex.org/C2779462738","wikidata":"https://www.wikidata.org/wiki/Q17146409","display_name":"Realisation","level":2,"score":0.6275291442871094},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5846649408340454},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5028766989707947},{"id":"https://openalex.org/C2777745021","wikidata":"https://www.wikidata.org/wiki/Q646102","display_name":"Consequentialism","level":2,"score":0.45632389187812805},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4407981038093567},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.4359831213951111},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.35659873485565186},{"id":"https://openalex.org/C55587333","wikidata":"https://www.wikidata.org/wiki/Q1133029","display_name":"Engineering ethics","level":1,"score":0.32360637187957764},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12008950114250183},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.11201193928718567},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3461702.3462586","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3461702.3462586","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6000000238418579,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1552564382","https://openalex.org/W1975264039","https://openalex.org/W1999850382","https://openalex.org/W2070368455","https://openalex.org/W2092211394","https://openalex.org/W2105197521","https://openalex.org/W2220500481","https://openalex.org/W2602387567","https://openalex.org/W2804272367","https://openalex.org/W2896864666","https://openalex.org/W2917032424","https://openalex.org/W2999331071","https://openalex.org/W3034212203","https://openalex.org/W3108690370","https://openalex.org/W3115477807","https://openalex.org/W3185210973","https://openalex.org/W4288269198"],"related_works":["https://openalex.org/W2961288924","https://openalex.org/W2075250579","https://openalex.org/W2789329261","https://openalex.org/W60699370","https://openalex.org/W3016281454","https://openalex.org/W2538215832","https://openalex.org/W4312229910","https://openalex.org/W3195804409","https://openalex.org/W2810895613","https://openalex.org/W2187980447"],"abstract_inverted_index":{"With":[0],"the":[1,70],"rapid":[2],"development":[3],"of":[4,26],"autonomous":[5,27,37,105],"machines":[6,38],"such":[7],"as":[8],"selfdriving":[9],"vehicles":[10],"and":[11,43,62,89,95,107,111],"social":[12,108],"robots,":[13],"there":[14],"is":[15,21,31],"increasing":[16],"realisation":[17],"that":[18,54],"machine":[19],"ethics":[20],"important":[22],"for":[23],"widespread":[24],"acceptance":[25],"machines.":[28],"Our":[29],"objective":[30],"to":[32,50,67,86,98,104],"encode":[33],"ethical":[34,41,56,88],"reasoning":[35,51,76],"into":[36],"following":[39],"well-defined":[40],"principles":[42],"behavioural":[44],"norms.":[45],"We":[46,73,100],"provide":[47,112],"an":[48,113],"approach":[49,66,103],"about":[52,77],"actions":[53],"incorporates":[55],"considerations.":[57],"It":[58],"builds":[59],"on":[60],"Scherl":[61],"Levesque's":[63],"[29,":[64],"30]":[65],"knowledge":[68,78],"in":[69,79],"situation":[71],"calculus.":[72],"show":[74],"how":[75],"a":[80],"dynamic":[81],"setting":[82],"can":[83],"be":[84],"used":[85],"guide":[87],"moral":[90],"choices,":[91],"aligned":[92],"with":[93],"consequentialist":[94],"deontological":[96],"approaches":[97],"ethics.":[99],"apply":[101],"our":[102],"driving":[106],"robot":[109],"scenarios,":[110],"implementation":[114],"framework.":[115]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}