Posts Tagged ‘situation calculus’:

Research on Method of Automatic Semantic Web Service Composition

Two important trends are emerging in the World Wide Web(WWW).The first is proliferation of so-called Web Service–self-contained,Web-accessible programs. The second WWW trend is the emergence of the so-called Semantic Web.In contrast to today’s Web,which is designed primarily for human interpretation and use,the Semantic Web is a version for a future Web that is computer-interpretable.The combination

(Read More…)

A Research of UML Formal Verification Based on Situation Calculus and OCL Constraints Automatic Generation

From the point of view of the software life cycle in Software Engineering, software architecture is the core of the structure and behavior of software. Thus software architecture design is bound to be the core of the software design, and the basis for the subsequent code development as well. The significance of software architecture design

(Read More…)

Research and Implementation of State Calculus Based on Knowledge

Reasoning about action and knowledge representation are important research areas in artificial intelligence. Reasoning about Action has been applied in many areas, such as cognitive robotics, web services, workflow and so on. The main task of reasoning about action include to predict the result of an action or an action sequence given the system’s initial

(Read More…)

Research on Web Services Feature Interaction Detection Method

Feature Interaction originates from the area of telecommunication. In order to satisfy the wants of consumers, the system of telecommunication continually develops and deploys new proliferous services. And the same time, unexpected interactions occur among these proliferous services, because of the conflicts of wants, competition of resources and inadequate infrastructure. These unexpected interactions always induce

(Read More…)

Research and Implementation on the Agent-Oriented State Calculus and Its Application in Intelligent Virtual Human

Agent and multi-agent system is an important branch in the research of artificial intelligence and computer science,and it has been widely applied in many fields. Knowledge representation and reasoning,mental state model as well as internal running mechanisms are key contents in agent technology.While there still exists some difficulty in theory and its implementation.Agent can be

(Read More…)

© IT Research Paper