33,298 research outputs found
The Use of Knowledge Preconditions in Language Processing
If an agent does not possess the knowledge needed to perform an action, it
may privately plan to obtain the required information on its own, or it may
involve another agent in the planning process by engaging it in a dialogue. In
this paper, we show how the requirements of knowledge preconditions can be used
to account for information-seeking subdialogues in discourse. We first present
an axiomatization of knowledge preconditions for the SharedPlan model of
collaborative activity (Grosz & Kraus, 1993), and then provide an analysis of
information-seeking subdialogues within a general framework for discourse
processing. In this framework, SharedPlans and relationships among them are
used to model the intentional component of Grosz and Sidner's (1986) theory of
discourse structure.Comment: 7 pages, LaTeX, uses ijcai95.sty, postscript figure
An Account of Opinion Implicatures
While previous sentiment analysis research has concentrated on the
interpretation of explicitly stated opinions and attitudes, this work initiates
the computational study of a type of opinion implicature (i.e.,
opinion-oriented inference) in text. This paper described a rule-based
framework for representing and analyzing opinion implicatures which we hope
will contribute to deeper automatic interpretation of subjective language. In
the course of understanding implicatures, the system recognizes implicit
sentiments (and beliefs) toward various events and entities in the sentence,
often attributed to different sources (holders) and of mixed polarities; thus,
it produces a richer interpretation than is typical in opinion analysis.Comment: 50 Pages. Submitted to the journal, Language Resources and Evaluatio
Semantics and Conversations for an Agent Communication Language
We address the issues of semantics and conversations for agent communication
languages and the Knowledge Query Manipulation Language (KQML) in particular.
Based on ideas from speech act theory, we present a semantic description for
KQML that associates ``cognitive'' states of the agent with the use of the
language's primitives (performatives). We have used this approach to describe
the semantics for the whole set of reserved KQML performatives. Building on the
semantics, we devise the conversation policies, i.e., a formal description of
how KQML performatives may be combined into KQML exchanges (conversations),
using a Definite Clause Grammar. Our research offers methods for a speech act
theory-based semantic description of a language of communication acts and for
the specification of the protocols associated with these acts. Languages of
communication acts address the issue of communication among software
applications at a level of abstraction that is useful to the emerging software
agents paradigm.Comment: Also in in "Readings in Agents", Michael Huhns and Munindar Singh
(eds), Morgan Kaufmann Publishers, In
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing
Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services
Recommended from our members
Boy meets goal, boy loses goal, boy gets goal : the nature of feedback between goal-based simulation and understanding systems
We are designing a goal-based planning and simulation system called REACTOR for a multiple-actor world in which partially formulated plans are monitored during execution, providing feedback to the planner. Plan failures that occur are diagnosed by a combination of top-down (plan-synthesis) and bottom-up (plan-understanding) techniques, allowing an informed choice of response to the error. By maintaining separate belief spaces for each actor, we simulate planners who themselves simulate the planning and plan-understanding of other actors
Supporting Dynamic Service Composition at Runtime based on End-user Requirements
Network-based software application services are receiving a lot of attention in recent years, as observed in developments as Internet of Services, Software as a Service and Cloud Computing. A service-oriented computing ecosystem is being created where the end-user is having an increasingly more active role in the service creation process. However, supporting end-users in the creation process, at runtime, is a difficult undertaking. Users have different requirements and preferences towards application services, use services in different situations and expect highly abstract mechanisms in the creation process. Furthermore, there are different types of end-users: some can deliver more detailed requirements or can be provided with more advanced request interface, while others can not. To tackle these issues and provide end-users with personalised service delivery, we claim that runtime automated service composition mechanisms are required. In this paper we present the DynamiCoS framework, which aims at supporting the different phases required to provide end-users with automatic service discovery, selection and composition process. In this paper we also present the developed prototype and its evaluation
- ā¦