Marco Aiello

Last updated

Marco Aiello (born September 3, 1972) is an Italian-German computer scientist, author [1] and professor. [2]

Contents

Early life and professional career

In 2002, Aiello obtained his PhD on modal logics of space with applications to document understanding and image retrieval under the supervision of Johan van Benthem and Arnold Smeulders. [3] The work culminated in the collective work published as the Handbook of Spatial Logic. [4] When he moved to the  University of Trento in 2002, he became interested in service-oriented computing and the problem of service composition. [5]

He spent 2017 on sabbatical leave at the University of Macquarie, Sydney, to work on his book about the Web. Inspired by a quote from Alan Kay, the book is a report and interpretation of the history of the Web, analyzing its strengths, weaknesses, and reasons for success. [6]

In 2018, he accepted the offer of the position of professor and head of the service computing department at the Institute for Architecture of Application Systems (IAAS) at the University of Stuttgart. [7]   During his tenure at Stuttgart, Aiello's research focused on AI Planning for service composition, AI Planning for robot navigation, topological considerations in smart grids, and green ICT with particular attention to data center operations, microgrids, and electric vehicle interactions. [8]

As an author

Related Research Articles

Andrew D. Gordon is a British computer scientist employed by software synthesis company Cogna as Chief Science Officer, and by the University of Cambridge. Formerly, he worked for Microsoft Research. His research interests include programming language design, formal methods, concurrency, cryptography, and access control.

Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. There are general, spatial, temporal, spatiotemporal, and fuzzy description logics, and each description logic features a different balance between expressive power and reasoning complexity by supporting different sets of mathematical constructors.

In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians.

Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula can be used to represent the statement that is known. In deontic modal logic, that same formula can represent that is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula as a tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false.

Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.

<span class="mw-page-title-main">Logic in computer science</span> Academic discipline

Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:

<span class="mw-page-title-main">Newton da Costa</span> Brazilian philosopher and mathematician (1929–2024)

Newton Carneiro Affonso da Costa was a Brazilian mathematician, logician, and philosopher. Born in Curitiba, he studied engineering and mathematics at the Federal University of Paraná in Curitiba and the title of his 1961 Ph.D. dissertation was Topological spaces and continuous functions.

Early Islamic law placed importance on formulating standards of argument, which gave rise to a "novel approach to logic" in Kalam . However, with the rise of the Mu'tazili philosophers, who highly valued Aristotle's Organon, this approach was displaced by the older ideas from Hellenistic philosophy. The works of al-Farabi, Avicenna, al-Ghazali and other Muslim logicians who often criticized and corrected Aristotelian logic and introduced their own forms of logic, also played a central role in the subsequent development of European logic during the Renaissance.

Non-classical logics are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is commonly the case, including by way of extensions, deviations, and variations. The aim of these departures is to make it possible to construct different models of logical consequence and logical truth.

Spatial–temporal reasoning is an area of artificial intelligence that draws from the fields of computer science, cognitive science, and cognitive psychology. The theoretic goal—on the cognitive side—involves representing and reasoning spatial-temporal knowledge in mind. The applied goal—on the computing side—involves developing high-level control systems of automata for navigating and understanding time and space.

Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialized analyses of reasoning such as probability, correct reasoning, and arguments involving causality. One of the aims of logic is to identify the correct and incorrect inferences. Logicians study the criteria for the evaluation of arguments.

In mathematical logic, Lindström's theorem states that first-order logic is the strongest logic having both the (countable) compactness property and the (downward) Löwenheim–Skolem property.

<span class="mw-page-title-main">Steve Vickers (computer scientist)</span>

Steve Vickers is a British mathematician and computer scientist. In the early 1980s, he wrote ROM firmware and manuals for three home computers, the ZX81, ZX Spectrum, and Jupiter Ace. The latter was produced by Jupiter Cantab, a short-lived company Vickers formed together with Richard Altwasser, after the two had left Sinclair Research. Since the late 1980s, Vickers has been an academic in the field of geometric logic, writing over 30 papers in scholarly journals on mathematical aspects of computer science. His book Topology via Logic has been influential over a range of fields. In October 2018, he retired as senior lecturer at the University of Birmingham. As announced on his university homepage, he continues to supervise PhD students at the university and focus on his research.

Professor Raymond Turner is an English logician, philosopher, and theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and for his pioneering work in the philosophy of computer science. He is on the editorial boards for the Journal of Logic and Computation and the Stanford Encyclopedia of Philosophy, for Logic, Computation, and Agency.

Formal semantics is the study of grammatical meaning in natural languages using formal concepts from logic, mathematics and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars.

Dialogical logic was conceived as a pragmatic approach to the semantics of logic that resorts to concepts of game theory such as "winning a play" and that of "winning strategy".

Logical consequence is a fundamental concept in logic which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.

<span class="mw-page-title-main">Logic</span> Study of correct reasoning

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

In quantum computing, a qubit is a unit of information analogous to a bit in classical computing, but it is affected by quantum mechanical properties such as superposition and entanglement which allow qubits to be in some ways more powerful than classical bits for some tasks. Qubits are used in quantum circuits and quantum algorithms composed of quantum logic gates to solve computational problems, where they are used for input/output and intermediate computations.

Edith Hemaspaandra is a Dutch-American theoretical computer scientist whose research concerns computational social choice, the computational complexity theory of problems in social choice theory, and particularly on computational problems involving election manipulation. She is a professor of computer science at the Rochester Institute of Technology.

References

  1. ↑ "Marco Aiello". scholar.google.com. Retrieved 2024-07-10.
  2. ↑ "Marco Aiello".
  3. ↑ Aiello, Marco (2002-01-01). Spatial Reasoning: Theory and Practice (doctoral thesis). University of Amsterdam.
  4. ↑ Aiello, Marco; Pratt-Hartmann, Ian; Van Benthem, Johan, eds. (2007). Handbook of Spatial Logics. doi:10.1007/978-1-4020-5587-4. ISBN   978-1-4020-5586-7.
  5. ↑ "A Request Language for Web-Services Based on Planning and Constraint Satisfaction".
  6. ↑ Aiello, Marco (2018). The Web Was Done by Amateurs. doi:10.1007/978-3-319-90008-7. ISBN   978-3-319-90007-0.
  7. ↑ "Prof. Dr. Marco Aiello | Institute of Architecture of Application Systems | University of Stuttgart". www.iaas.uni-stuttgart.de. Retrieved 2024-07-10.
  8. ↑ "Funding granted for the AI". www.uni-stuttgart.de. Retrieved 2024-07-10.
  9. ↑ "Reasoning about space: the modal way". scholar.google.com. Retrieved 2024-07-10.
  10. ↑ Aiello, Marco; Pratt-Hartmann, Ian; Benthem, Johan van (2007-09-04). Handbook of Spatial Logics. Springer Science & Business Media. ISBN   978-1-4020-5587-4.
  11. ↑ "Requirements and tools for variability management". scholar.google.com. Retrieved 2024-07-10.
  12. ↑ Nguyen, Tuan Anh; Aiello, Marco (2013). "Energy intelligent buildings based on user activity: A survey". Energy and Buildings. 56: 244–257. Bibcode:2013EneBu..56..244N. doi:10.1016/j.enbuild.2012.09.005.
  13. ↑ "HTN planning: Overview, comparison, and beyond". scholar.google.com. Retrieved 2024-07-10.
  14. ↑ "From the grid to the smart grid, topologically". scholar.google.com. Retrieved 2024-07-10.
  15. ↑ "Metrics for sustainable data centers". scholar.google.com. Retrieved 2024-07-10.
  16. ↑ Aiello, Marco (2018-07-20). The Web Was Done by Amateurs: A Reflection on One of the Largest Collective Systems Ever Engineered. Springer. ISBN   978-3-319-90008-7.
  17. ↑ "Personalized physical activity coaching: a machine learning approach". scholar.google.com. Retrieved 2024-07-10.
  18. ↑ Aiello, Marco; Barzen, Johanna; Dustdar, Schahram; Leymann, Frank (2023-10-11). Service-Oriented Computing: 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers. Springer Nature. ISBN   978-3-031-45728-9.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.