Temporal logics in AI: semantical and ontological considerations (Q1096384): Difference between revisions

Two temporal formalisms in AI are examined and problems for application are shown. A new formalism, interval logic, is presented with syntax similar to meta-syntax and semantics similar Kripke-semantics. Some ontological definitions are given on this formal basis.

0 references

Mathematics Subject Classification ID

68Q65

0 references

0 references

0 references

0 references

representation of temporal information

0 references

temporal logic

0 references

interval logic

0 references

Kripke-semantics

0 references

reviewed by

Erica Melis

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Towards a general theory of action and time

0 references

A propositional modal logic of time intervals

0 references

Interval semantics for tense logic: Some remarks

0 references

0 references

0 references

0 references

0 references

full work available at URL

https://doi.org/10.1016/0004-3702(87)90052-x

0 references

OpenAlex ID

W2005678616

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1096384

@@ Property / reviewed by @@
+Erica Melis
@@ Property / reviewed by: Erica Melis / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Interval semantics for tense logic: Some remarks
@@ Property / cites work: Interval semantics for tense logic: Some remarks / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3806791
@@ Property / cites work: Q3806791 / rank @@
+Normal rank
@@ Property / cites work @@
+Intervals and tenses
@@ Property / cites work: Intervals and tenses / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(87)90052-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2005678616
@@ Property / OpenAlex ID: W2005678616 / rank @@
+Normal rank