Deontic Logic Reasoning for Maintaining Ontology Consistency in Agent Networks.
Krzysztof JuszczyszynGrzegorz KolaczekPublished in: KES-AMSTA (2009)
Keyphrases
- deontic logic
- reasoning mechanism
- knowledge representation language
- legal reasoning
- knowledge representation
- knowledge base
- reasoning process
- reasoning engine
- point algebra
- ontology reasoning
- communicating agents
- consistency checking
- logical reasoning
- multi agent
- modular ontologies
- multi agent systems
- domain knowledge
- maintaining consistency
- semantic web
- cognitive agents
- social networks
- topic maps
- topological relations
- formal semantics
- description logics
- logic programming
- cp nets
- path consistency
- plan execution
- case based reasoning
- fixed point
- artificial intelligence