Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Metabolic Pathways as Temporal Logic Programs Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

On the Expressiveness of Temporal Equilibrium Logic

verfasst von : Laura Bozzelli, David Pearce

Erschienen in: Logics in Artificial Intelligence

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We investigate expressiveness issues of Temporal Equilibrium Logic (TEL), a promising nonmonotonic logical framework for temporal reasoning. TEL shares the syntax of standard linear temporal logic LTL, but its semantics is an orthogonal combination of the LTL semantics with the nonmonotonic semantics of Equilibrium Logic. We establish that TEL is more expressive than LTL, and captures a strict subclass of \(\omega \)-regular languages. We illustrate the expressive power of \(\textsf {TEL} \) by showing that \(\textsf {LTL} \)-conformant planning, which is not expressible in \(\textsf {LTL} \), can be instead expressed in \(\textsf {TEL} \). Additionally, we provide a systematic study of the expressiveness comparison between the LTL semantics and the TEL semantics for various natural syntactical fragments.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
Nächstes Kapitel Introducing Role Defeasibility in Description Logics
Fußnoten
1
On both the initial situation and on the full effects of actions.
 
Literatur
1.
Aguado, F., Pérez, G., Vidal, C.: Integrating temporal extensions of answer set programming. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol. 8148, pp. 23–35. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-40564-8_​3 CrossRef
2.
Bozzelli, L., Pearce, D.: On the complexity of temporal equilibrium logic. In: Proceedings of 30th LICS, pp. 645–656. IEEE Computer Society (2015)
3.
Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)CrossRef
4.
5.
Cabalar, P., Diéguez, M.: STeLP– a tool for temporal answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 370–375. Springer, Heidelberg (2011). doi:10.​1007/​978-3-642-20895-9_​43 CrossRef
6.
Cabalar, P., Diéguez, M.: Strong equivalence of non-monotonic temporal theories. In: Proceedings of 14th KR. AAAI Press (2014)
7.
Cabalar, P., Cerro, L.F., Pearce, D., Valverde, A.: A free logic for stable models with partial intensional functions. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 340–354. Springer, Heidelberg (2014). doi:10.​1007/​978-3-319-11558-0_​24
8.
Cabalar, P., Pérez Vega, G.: Temporal equilibrium logic: a first approach. In: Moreno Díaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol. 4739, pp. 241–248. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-75867-9_​31 CrossRef
9.
Calvanese, D., De Giacomo, G., Vardi, M.Y.: Reasoning about actions and planning in LTL action theories. In: Proceedings of 8th KR, pp. 593–602. Morgan Kaufmann (2002)
10.
Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: Quantified equilibrium logic and hybrid rules. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 58–72. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-72982-2_​5 CrossRef
11.
Etessami, K.: Stutter-invariant languages, \(\omega \)-automata, and temporal logic. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 236–248. Springer, Heidelberg (1999). doi:10.​1007/​3-540-48683-6_​22 CrossRef
12.
Fagin, R., Halpern, J., Vardi, M.: Reasoning About Knowledge, vol. 4. MIT Press, Cambridge (1995)MATH
13.
Ferraris, P.: Answer sets for propositional theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 119–131. Springer, Heidelberg (2005). doi:10.​1007/​11546207_​10 CrossRef
14.
15.
Gelfond, M., Morales, A.: Encoding conformant planning in A-Prolog. In: Proceedings of DRT. LNCS. Springer (2004)
16.
Giordano, L., Martelli, A., Dupré, D.T.: Reasoning about actions with temporal answer sets. TPLP 13(2), 201–225 (2013)MathSciNetMATH
17.
Heyting, A.: Die formalen Regeln der intuitionistischen Logik. In: Three Parts, Sitzungsberichte der preussischen Akademie der Wissenschaften, pp. 311–327 (2011). English translation of Part I in Mancosu
18.
Kucera, A., Strejcek, J.: The stuttering principle revisited. Acta Informatica 41(7–8), 415–434 (2005)MathSciNetMATH
19.
Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Pereira, L.M., Przymusinski, T.C. (eds.) NMELP 1996. LNCS, vol. 1216, pp. 57–70. Springer, Heidelberg (1997). doi:10.​1007/​BFb0023801 CrossRef
20.
21.
Pearce, D., Valverde, A.: Towards a first order equilibrium logic for nonmonotonic reasoning. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 147–160. Springer, Heidelberg (2004). doi:10.​1007/​978-3-540-30227-8_​15 CrossRef
22.
Pnueli, A.: The temporal logic of programs. In: Proceedings of 18th FOCS, pp. 46–57. IEEE Computer Society (1977)
23.
Sistla, A., Vardi, M., Wolper, P.: The complementation problem for Büchi automata with appplications to temporal logic. Theor. Comput. Sci. 49, 217–237 (1987)MathSciNetCrossRefMATH
24.
Metadaten
Titel
On the Expressiveness of Temporal Equilibrium Logic
verfasst von
Laura Bozzelli
David Pearce
Copyright-Jahr
2016
Buch
Logics in Artificial Intelligence

Print ISBN: 978-3-319-48757-1

Electronic ISBN: 978-3-319-48758-8

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-48758-8_11

Premium Partner

    Bildnachweise