Sciweavers

Share
DLOG
2006

Static Knowledge Representation of Multi-Agent System's Specification by Description Logic

9 years 2 months ago
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting modularity. To enhance this method with rigor advocates a DL method to map the specification of MAS into a DL TBox. Thus, we can use the existing DL reasoners and systems to verify and validate some system's properties.
Haiyan Che, Jigui Sun
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where DLOG
Authors Haiyan Che, Jigui Sun
Comments (0)
books