{"pk":31686,"title":"Human Benchmarks on AI's Benchmark Problems","subtitle":null,"abstract":"Default reasoning occurs when the available information does not deductively guarantee the truth of the conclusion; and the conclusion is nonetheless correctly arrived at. The formalisms that have been developed in Artificial Intelligence to capture this mode of reasoning have suffered from a lack of agreement as to which non-monotonic inferences should be considered correct; and so Lifschitz 1989 produced a set of \"Nonmonotonic Benchmark Problems\" which all future formalisms are supposed to honor. The present work investigates the extent to which humans follow the prescriptions set out in\nthese Benchmark Problems.","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[],"section":"Submitted Presentations","is_remote":true,"remote_url":"https://escholarship.org/uc/item/5kv9t8qx","frozenauthors":[{"first_name":"Renee","middle_name":"","last_name":"Elio","name_suffix":"","institution":"The University of Alberta","department":""},{"first_name":"Francis","middle_name":"Jeffry","last_name":"Pelletier","name_suffix":"","institution":"The University of Alberta","department":""}],"date_submitted":null,"date_accepted":null,"date_published":"1993-01-01T18:00:00Z","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/31686/galley/22754/download/"}]}