{"type":"ScholarlyArticle","title":"Reasoning in Multiple Belief Spaces","authors":[{"name":"João P. Martins","slug":"joao-p-martins","given":"João P.","family":"Martins","affiliation":""},{"name":"Stuart C. Shapiro","slug":"stuart-c-shapiro","given":"Stuart C.","family":"Shapiro","affiliation":""}],"abstract":"MBR is a reasoning system which allows multiple beliefs (beliefs from multiple agents, contradictory beliefs, hypothetical beliefs> to be represented simultaneously in the same knowledge base and performs reasoning within sets of these beliefs. MBR also contains provisos to detect contradictions and to recover from them. This paper describes MBR's method of detecting and recording contradictions within beliefs of different agents, showing an example of such process.","doi":null,"url":"https://ijcai.org/proceedings/1983/88","pdf":"https://ijcai.org/proceedings/1983/0088.pdf","markdown":"https://ijcai.org/proceedings/1983/88.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/88","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":88,"pages":{"first":370,"last":372},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}