✦ LIBER ✦

A Petri net model for probabilistic logic

✍ Scribed by Chuang Lin; Y. T. Wu

Publisher: John Wiley and Sons
Year: 1998
Tongue: English
Weight: 815 KB
Volume: 11
Category: Article
ISSN: 0884-8173
DOI: 10.1002/(sici)1098-111x(199612)11:12<1099::aid-int4>3.0.co;2-i

No coin nor oath required. For personal study only.

✦ Synopsis

In this article we investigate the use of Petri nets for the representation of possible worlds in probabilistic logic. We propose a method to generate possible worlds based upon the reachability tree of the Petri net model. The number of columns in the matrix of possible worlds grows exponentially with the problem size. Nilsson [

📜 SIMILAR VOLUMES

Logical inference of clauses based on Pe

Logical inference of clauses based on Petri net models

✍ Chuang Lin; Samuel T. Chanson 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB 👁 1 views

This paper extends the logical inference of Horn clauses in Petri net models to cover a large class of non-Horn clauses. Based on four-valued logic and the conflict transition concept, we show how the Petri net model for this class of non-Horn clauses can be constructed. The clause inference is solv

Petri net model with fuzzy timing and fu

Petri net model with fuzzy timing and fuzzy-metric temporal logic

✍ Yi Zhou; Tadao Murata 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 321 KB 👁 2 views

This paper is concerned with a Petri net model having fuzzy timing and fuzzy real-time temporal logic. In an earlier paper, we introduced a Petri net model with four fuzzy set theoretic functions of time but no algorithms were given for computing the two important operators called, earliest and late

A stochastic petri net with applications

A stochastic petri net with applications to modelling occupancy times for concurrent task systems

✍ Stephen D. Shapiro 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 199 KB

Protocol syntheses in a Petri net model

Protocol syntheses in a Petri net model with registers and its application

✍ Hirozumi Yamaguchi; Kozo Okano; Teruo Higashino; Kenichi Taniguchi 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB

Some methods for synthesizing a protocol specification from a given service specification have been proposed using various computational models. However, the existing methods cannot treat service specifications including both complex control flows and system variables. In this paper, we propose a me

A probabilistic model for Latent Semanti

A probabilistic model for Latent Semantic Indexing

✍ Chris H.Q. Ding 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB 👁 1 views

## Abstract Latent Semantic Indexing (LSI), when applied to semantic space built on text collections, improves information retrieval, information filtering, and word sense disambiguation. A new dual probability model based on the similarity concepts is introduced to provide deeper understanding of

A Probabilistic Model for Recovering Cam

A Probabilistic Model for Recovering Camera Translation

✍ Ranxiao Frances Wang; James E. Cutting 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 208 KB

This paper describes the mathematical basis and application of a probabilistic model for recovering the direction of camera translation (heading) from optical flow. According to the theorem that heading cannot lie between two converging points in a stationary environment, one can compute the posteri