Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

AGENTS
2000
Springer

favoriteEmaildiscussreport

113views Security Privacy» more AGENTS 2000»

Frameworks for Reasoning about Agent Based Systems

13 years 8 months ago

Frameworks for Reasoning about Agent Based Systems

Download laser.cs.umass.edu

This paper suggests formal frameworks that can be used as the basis for deﬁning, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical, yet has precise mathematically deﬁned semantics. It incorporates a wide range of semantics needed to deﬁne the subtleties of agent system behaviors. We demonstrate that the semantics of Little-JIL are sufﬁciently well deﬁned to support the application of static dataﬂow analysis, enabling the veriﬁcation of critical properties of the agent systems. This approach is inherently a top-down approach that complements bottom-up approaches to reasoning about system behavior.

Leon J. Osterweil, Lori A. Clarke

Real-time Traffic

Agent Systems | AGENTS 2000 | Formal Frameworks | Security Privacy | Semantics |

claim paper

Related Content

» An agent system reasoning about the web and the user

» Formal Reasoning about Emergent Behaviours of MultiAgent Systems

» Reasoning about the Semantic Web using Answer Set Programming

» Reasoning About Communication A Practical Approach Based on Empirical Semantics

» An integrated framework for adaptive reasoning about conversation patterns

» Reasoning about strategies of multiagent programs

» Approximate Reasoning about Combined Knowledge

» A logic for reasoning about counterfactual emotions

» A framework for reasoning about rational agents

Post Info
More Details (n/a)

Added	01 Aug 2010
Updated	01 Aug 2010
Type	Conference
Year	2000
Where	AGENTS
Authors	Leon J. Osterweil, Lori A. Clarke

Comments (0)