A Reified Temporal Logic

Ma, Jixin

doi:10.1093/comjnl/39.9.800

Cited by 16 publications

(13 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…events, and D(t) > 0 represents tasks, actions,activities, processes and sub-processes. In terms of reified temporal logic presented, we use temporal predicate Occurs to denote abstract process a R occurs over time interval/moment/point (instances) t R [11]:…”

Section: T(a R ) D(t(a R ))]mentioning

confidence: 99%

Towards a General Framework for Business Process Modeling

Chishti¹

2014

IJICR

View full text Add to dashboard Cite

show abstract

Section: T(a R ) D(t(a R ))]mentioning

confidence: 99%

Towards a General Framework for Business Process Modeling

Chishti¹

2014

IJICR

View full text Add to dashboard Cite

show abstract

“…In order to associate a fluent with a time element, we use a meta-predicate [18,26], Holds, to substitute the formula Holds(f, t) for each pair of a fluent f and a time element t, denoting that fluent f holds true over time t. (H1) Holds(f 1 ∨ f 2 , t) ⇔ Holds(f 1 , t) ∨ Holds(f 1 , t) (H2) Holds(f, <p 1 , p 2 >) ⇔ ∀p 3 ,p 4 ∈R(p 1 ≤ p 3 ∧ p 4 ≤ p 2 ⇒ Holds(f, <p 3 , p 4 >)) (H3) Holds(f, <p 1 , p 2 >)…”

Section: The Background Formalismmentioning

confidence: 99%

Matching Scenarios Patterns by Using Linear Programming

Zhao

Luo

2007

Fourth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2007)

View full text Add to dashboard Cite

This paper continues the work presented previously at ICNC-FSKD-05 for representing and matching scenario patterns. A unified scheme is presented to replace the two previous equivalent schemas for formalizing scenario patterns. In the unified scheme, a scenario is denoted in terms of a collection of states with the corresponding temporal constraints, where a state is defined as a set of Boolean-valued timedependent fluents. The concept of a scenario graph is formally introduced as a directed, partially weighted and labeled simple graph. Based on such a graphical representation, an extended linear programming graph matching algorithm is proposed for recognizing scenario patterns.

show abstract

“…For instance, the logic of time work by van Benthem [1]; the work by Allen [2,3,4] about the temporal interval logic; or the work of temporal logic by Ma and Knight [5,6] and by Shoham [7]; or the circumpscriptive event calculus by Shanahan [8]. All these approaches model reasoning processes under temporal constraints, which can modify the truth of logic assertions.…”

Section: Related Workmentioning

confidence: 99%

An Approach for Temporal Case-Based Reasoning: Episode-Based Reasoning

Sànchez–Marrè

Cortés

Martínez³

et al. 2005

Case-Based Reasoning Research and Development

View full text Add to dashboard Cite

Abstract. In recent years, several researchers have studied the suitability of CBR to cope with dynamic or continuous or temporal domains. In these domains, the current state depends on the past temporal states. This feature really makes difficult to cope with these domains. This means that classical individual case retrieval is not very accurate, as the dynamic domain is structured in a temporally related stream of cases rather than in single cases. The CBR system solutions should also be dynamic and continuous, and temporal dependencies among cases should be taken into account. This paper proposes a new approach and a new framework to develop temporal CBR systems: Episode-Based Reasoning. It is based on the abstraction of temporal sequences of cases, which are named as episodes. Our preliminary evaluation in the wastewater treatment plants domain shows that Episode-Based Reasoning seems to outperform classical CBR systems.

show abstract

A Reified Temporal Logic

Cited by 16 publications

References 0 publications

Towards a General Framework for Business Process Modeling

Towards a General Framework for Business Process Modeling

Matching Scenarios Patterns by Using Linear Programming

An Approach for Temporal Case-Based Reasoning: Episode-Based Reasoning

Contact Info

Product

Resources

About