nach oben

Minds and Machines

Erschienen in:

01.03.2013 | Introduction

Logic and AI in China: An Introduction

verfasst von: Fenrong Liu, Kaile Su

Erschienen in: Minds and Machines | Ausgabe 1/2013

Einloggen

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

search-config

KI-gestützte Suche

Aus

Excerpt

The year 2012 has witnessed worldwide celebrations of Alan Turing’s 100th birthday. A great number of conferences and workshops were organized by logicians, computer scientists and researchers in AI, showing the continued flourishing of computer science, and the fruitful interfaces between logic and computer science. Logic is no longer just the concept that Frege had about one hundred years ago, let alone that of Aristotle twenty centuries before. One of the prominent features of contemporary logic is its interdisciplinary character, connecting across mathematics, philosophy, modern computer science, and even the cognitive and social sciences. …

Nächster Artikel Proof Systems for Planning Under Cautious Semantics

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

Boolos, G. (1996). The hardest logic puzzle ever. The Harvard Review of Philosophy, 6, 62–65.MathSciNet

Dubois, D., & Prade, H. (1985). Possibility theory: An approach to computerized processing of uncertainty. New York, London: Plenum Press.

Huang, X., Huang, H., Liao, B., & Xu, C. (2013). An ontology-based approach to metaphor cognitive computation. Minds and Michines, 23(1). doi:10.1007/s11023-012-9269-z.

Lewis, D. (1973). Counterfactuals. Oxford: Blackwell.

Li, L., Liu, T., & Xu, K. (2013). Variable-centered consistency in model RB. Minds and Michines, 23(1). doi:10.1007/s11023-012-9270-6.

Liu, F., & Wang, Y. (2013). Reasoning about agent types and the hardest logic puzzle ever. Minds and Michines, 23(1). doi:10.1007/s11023-012-9287-x.

Mackworth, A. K. (1977). Consistency in networks of relations. Artificial Intelligence, 8, 99–118.MATHCrossRef

Qi, G., & Zhang, Z. (2013). Preferential semantics for plausible subsumption in possibility theory. Minds and Michines, 23(1). doi:10.1007/s11023-012-9300-4.

Shen, Y., & Zhao, X. (2013). Proof systems for planning under cautious semantics. Minds and Michines, 23(1). doi:10.1007/s11023-012-9288-9.

Shutova, E. (2010). Models of metaphor. In Proceedings of the 48th annual meeting of the association for computational linguistics (pp. 688–697). Uppsala, Sweden.

Son, T.C., & Baral, C. (2001). Formalizing sensing actions: A transition function based approach. Artificial Intelligence, 125(1–2), 19.MathSciNetMATHCrossRef

Stalnaker, R. (1968). Studies in logical theory, chapter A theory of conditionals (pp. 98–112). Oxford: Blackwell.

van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge University Press, Cambridge.MATHCrossRef

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Berlin: Springer.

Zhang, J. (2013). A lewisian logic of causal counterfactuals. Minds and Michines, 23(1). doi:10.1007/s11023-011-9261-z.

Titel: Logic and AI in China: An Introduction
verfasst von: Fenrong Liu
Kaile Su
Publikationsdatum: 01.03.2013
Verlag: Springer Netherlands
Erschienen in: Minds and Machines / Ausgabe 1/2013
Print ISSN: 0924-6495
Elektronische ISSN: 1572-8641
DOI: https://doi.org/10.1007/s11023-013-9308-4

Springer Professional

Excerpt

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 1/2013

Preferential Semantics for Plausible Subsumption in Possibility Theory

Proof Systems for Planning Under Cautious Semantics

An Ontology-Based Approach to Metaphor Cognitive Computation

Reasoning About Agent Types and the Hardest Logic Puzzle Ever

Variable-Centered Consistency in Model RB

A Lewisian Logic of Causal Counterfactuals