Sciweavers

311 search results - page 13 / 63
» A logic based language for networked agents
Sort
View
ECSQARU
2009
Springer
15 years 2 months ago
A Simple Modal Logic for Reasoning about Revealed Beliefs
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
Mohua Banerjee, Didier Dubois
IDEAL
2003
Springer
15 years 2 months ago
A Two-Stage Bayesian Network for Effective Development of Conversational Agent
Conversational agent is a system that provides user with proper information and maintains the context of dialogue based on natural language. When experts design the network for con...
Jin-Hyuk Hong, Sung-Bae Cho
ESWS
2009
Springer
14 years 7 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
AAAI
1992
14 years 10 months ago
Lexical Imprecision in Fuzzy Constraint Networks
We define fuzzy constraint networks and prove a theorem about their relationship to fuzzy logic. Then we introduce Khayyam, a fuzzy constraint-based programming language in which ...
James Bowen, K. Robert Lai, Dennis Bahler
TIME
2009
IEEE
15 years 4 months ago
Strong Temporal, Weak Spatial Logic for Rule Based Filters
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
Roger Villemaire, Sylvain Hallé