作者: Elizabeth Black , Anthony Hunter , Jeff Z. Pan
DOI: 10.1007/978-3-642-04388-8_7
关键词:
摘要: Logic-based argumentation offers an approach to querying and revising multiple ontologies that are inconsistent or incoherent. A common assumption for logic-based is argument a pair ****** ,*** *** where minimal subset of the knowledgebase such consistent entails claim . Using dialogue games, agents (each with its own ontology) can exchange arguments counterarguments concerning formulae interest. In this paper, we present novel framework ontological knowledge. As far as know, first proposal via dialogues. It allows two discuss answer queries their knowledge (even if it inconsistent) without one agent having copy all ontology other, other expend time effort merging theirs. Furthermore, potential incrementally improve based on by checking how differs from agent's.