The development of Event Calculus has spanned over both classical logic and logic programming traditions. The original version of the Event Calculus by Kowalski and Sergot (1986)KS86 was formulated as logic programs with negation as failure. More extensive later developments of the Event Calculus have been carried out under the classical logic setting via circumscription, e.g.
Continuous changes are important piece of knowledge and common in sciences, robotics, and other domains which reason about mixed discrete-continuous systems. Descriptions of continuous changes, together with descriptions of objects and data, can be used for many forms of reasoning, e.g. simulation or prediction, planning, post-diction, and finding gaps in known information. Web ontology language for description of continuous changes or WOLCC is an ontology for the description of the quantitative aspects of continuous changes.KF12a
There is no implementation for any form of reasoning (prediction, post-diction, planning, etc.) for Event Calculus with continuously varying parameters. We recently extended EC to specify independent component values of a cumulative effect individually which are summed implicitly. We want to implement a simulator that predicts evolution of a system of interacting processes for the extended EC formalism.
''Title'': Description of Cumulative Effects with Aggregates in the Event Calculus
''Authors'': [http://tw.rpi.edu/web/person/AnkeshKhandelwal ''Ankesh Khandelwal'']
''Note'': The main proposal here has been submitted to [http://www.dis.uniroma1.it/~kr12/ KR 2012] for peer-review.Here is a [http://www.cs.rpi.edu/~ankesh/kr12.pdf link] to the submitted version.
=Abstract=
An important component of Semantic Web is knowledge representation. Ontologies are used to describe the domain of data and then data is represented through ontologies. Thus data gets meaning. All types of things including persons, animals, universities, instruments, water activities, solar activities, and temperatures at sea, are represented on the Semantic Web. Most of these objects have properties that are real valued and they change continuously as function of properties and characteristics of itself and other influential objects.
Description: Research and collecting of different process ontologies that could be used for the project
Members: Ankesh Khandelwal
Working Group Page
Description: Combining First Order Logic, Qualitative Reasoning, ...
Members: You are not watching this post, click to start watching
![]() | Peter Fox Peter Fox is a Tetherless World Constellation Chair and Professor of Earth and Environmental Science, Computer Science and Cognitive Science at Rensselaer Polytechnic Institute. Fox also directs the Insitution-wide interdisciplinary Information Technology and Web Science program. Previously, he was [...] |
![]() | Ankesh Khandelwal Ankesh Khandelwal is a PhD candidate at RPI. During his training phase, first two year of PhD!, he worked towards formal analysis of the AIR language, a rule based policy language. After the training phase, he is looking into methods for representing complex knowledge, such as physical processes, [...] |
Our objective is to define a theory for processes of scientific nature and natural phenomena (SNP) and develop vocabulary around it for declarative specification of processes. To draw analogy, we want to do with processes what RDF, OWL(& OIL & DAML) and rules have done to domain knowledge representation. Before RDF, OWL & rules, data was tightly coupled with schema used for storage in a database, often relational and expensive to change, and the domain logic was mostly hard-coded in procedural programs, which made knowledge maintenance and integration difficult.
What is a Process?