Semantic decomposition (natural language processing)
A semantic decomposition is an algorithm that breaks down the meanings of phrases or concepts into less complex concepts. The result of a semantic decomposition is a representation of meaning. Fähndrich, J. (2018). Semantic decomposition and marker passing in an artificial representation of meaning. Technische Universitaet Berlin (Germany). [https://scholar.google.de/scholar?q=marker+passing+semantic+decomposition+f%C3%A4hndrich&hl=en&as_sdt=0&as_vis=1&oi=scholart] This representation can be used for tasks, such as those related to artificial intelligence or machine learning. Semantic decomposition is common in natural language processing applications.
The basic idea of a semantic decomposition is taken from the learning skills of adult humans, where words are explained using other words. It is based on Meaning-text theory. Meaning-text theory is used as a theoretical linguistic framework to describe the meaning of concepts with other concepts.
Background
Given that an AI does not inherently have language, it is unable to think about the meanings behind the words of a language. An artificial notion of meaning needs to be created for a strong AI to emerge.Loizos Michael. 2015. Jumping to conclusions. In Proceedings of the 2015 International Conference on Defeasible and Ampliative Reasoning - Volume 1423 (DARe'15). CEUR-WS.org, Aachen, DEU, 43–49. [https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=58ebb2ed2c72d0e283ecbfada340b9bb31dc6f36]
Creating an artificial representation of meaning requires the analysis of what meaning is. Many terms are associated with meaning, including semantics, pragmatics, knowledge and understanding or word sense.{{Cite book|url={{google books |plainurl=y |id=UZ2lCQAAQBAJ}}|title=Semantik: Eine Einführung|last=Löbner|first=Sebastian|date=2015-05-19|publisher=Walter de Gruyter GmbH & Co KG|isbn=9783110350906|location=|pages=|language=de}} Each term describes a particular aspect of meaning, and contributes to a multitude of theories explaining what meaning is. These theories need to be analyzed further to develop an artificial notion of meaning best fit for our current state of knowledge.
Graph representations
File:Knowledge_Reasoning.pdf allow a problem specific solution (answer) to a given problem (questions)]]
Representing meaning as a graph is one of the two ways that both an AI cognition and a linguistic researcher think about meaning (connectionist view). Logicians utilize a formal representation of meaning to build upon the idea of symbolic representation, whereas description logics describe languages and the meaning of symbols. This contention between 'neat' and 'scruffy' techniques has been discussed since the 1970s.{{Cite journal|last=Minsky|first=Marvin L.|date=1991-06-15|title=Logical Versus Analogical or Symbolic Versus Connectionist or Neat Versus Scruffy|journal=AI Magazine|language=en-US|volume=12|issue=2|pages=34|doi=10.1609/aimag.v12i2.894|issn=2371-9621}}
Research has so far identified semantic measures and with that word-sense disambiguation (WSD) - the differentiation of meaning of words - as the main problem of language understanding.{{Cite book|url=https://www.springer.com/us/book/9781402048081|title=Word Sense Disambiguation - Algorithms and Applications {{!}} Eneko Agirre {{!}} Springer|language=en}} As an AI-complete environment, WSD is a core problem of natural language understanding.Nancy Ide and Jean Veronis. Introduction to the special issue on word sense disambiguation: the state of the art. Computational Linguistics, 24(1):2-40, 1998Yampolskiy, R. V. (2012, April). AI-complete, AI-hard, or AI-easy–classification of problems in AI. In The 23rd Midwest Artificial Intelligence and Cognitive Science Conference, Cincinnati, OH, USA. AI approaches that use knowledge-given reasoning creates a notion of meaning combining the state of the art knowledge of natural meaning with the symbolic and connectionist formalization of meaning for AI. The abstract approach is shown in Figure. First, a connectionist knowledge representation is created as a semantic network consisting of concepts and their relations to serve as the basis for the representation of meaning.{{Cite journal|last1=Sycara|first1=Katia|last2=Klusch|first2=Matthias|last3=Widoff|first3=Seth|last4=Lu|first4=Jianguo|date=1999-03-01|title=Dynamic service matchmaking among agents in open information environments|journal=ACM SIGMOD Record|volume=28|issue=1|pages=47–53|doi=10.1145/309844.309895|issn=0163-5808|citeseerx=10.1.1.44.914|s2cid=10197051}}{{Citation|last1=Oaks|first1=Phillipa|date=2003|pages=1–16|publisher=Springer Berlin Heidelberg|language=en|doi=10.1007/978-3-540-24593-3_1|isbn=9783540206811|last2=ter Hofstede|first2=Arthur H. M.|last3=Edmond|first3=David|title=Service-Oriented Computing - ICSOC 2003 |chapter=Capabilities: Describing What Services Can do |series=Lecture Notes in Computer Science |volume=2910 |citeseerx=10.1.1.473.5321|s2cid=11524526 }}Johannes Fähndrich est First Search Planning of Service Composition Using Incrementally Redefined Context-Dependent Heuristics. In the German Conference Multiagent System Technologies, pages 404-407, Springer Berlin Heidelberg, 2013{{Citation|last1=Fähndrich|first1=Johannes|title=Towards Self-Explaining Agents|date=2013|work=Trends in Practical Applications of Agents and Multiagent Systems|pages=147–154|publisher=Springer International Publishing|language=en|doi=10.1007/978-3-319-00563-8_18|isbn=9783319005621|last2=Ahrndt|first2=Sebastian|last3=Albayrak|first3=Sahin|series=Advances in Intelligent Systems and Computing |volume=221 }}
This graph is built out of different knowledge sources like WordNet, Wiktionary, and BabelNET. The graph is created by lexical decomposition that recursively breaks each concept semantically down into a set of semantic primes.{{Cite book|url={{google books |plainurl=y |id=05lGCgAAQBAJ}}|title=The Routledge Handbook of Semantics|last=Riemer|first=Nick|date=2015-07-30|publisher=Routledge|isbn=9781317412441|location=|pages=|language=en}} The primes are taken from the theory of Natural Semantic Metalanguage,{{Cite book|title=Semantic and Lexical Universals: Theory and empirical findings |editor1-last=Goddard |editor1-first=Cliff |editor2-last=Wierzbicka |editor2-first=Anna|date=1994|publisher=Benjamins|location=Amsterdam}} which has been analyzed for usefulness in formal languages.{{Cite journal|last1=Fähndrich|first1=Johannes|last2=Ahrndt|first2=Sebastian|last3=Albayrak|first3=Sahin|date=2014-10-15|title=Formal Language Decomposition into Semantic Primes|url=http://revistas.usal.es/index.php/2255-2863/article/view/ADCAIJ2014315673|journal=Advances in Distributed Computing and Artificial Intelligence Journal|language=en|volume=3|issue=1|pages=56–73|doi=10.14201/ADCAIJ2014385673|issn=2255-2863|doi-access=free}} Upon this graph marker passing{{Cite web|url=https://www.crcpress.com/integrating-Marker-Passing-and-Problem-Solving-A-Spreading-Activation-Approach/Hendler/p/book/9780898599824|title=integrating Marker Passing and Problem Solving: A Spreading Activation Approach To Improved Choice in Planning|date=1987-11-01|website=CRC Press|language=en|access-date=2018-11-30}}{{Cite book|url=http://dl.acm.org/citation.cfm?id=30887|title=Semantic interpretation and the resolution of ambiguity|last=Hirst|first=Graeme|date=1987-01-01|publisher=Cambridge University Press|isbn=978-0521322034}}{{Cite web|url=https://www.researchgate.net/publication/300339119|title=Self-Explanation through Semantic Annotation: A Survey|website=ResearchGate|language=en|access-date=2018-11-30}} is used to create the dynamic part of meaning representing thoughts.{{Cite journal|title=Application of Spreading Activation Techniques in Information Retrieval|last=Crestani|first=Fabio|date=1997|journal=Artificial Intelligence Review|volume=11|issue=6|pages=453–482|doi=10.1023/A:1006569829653|s2cid=14668203|language=en}} The marker passing algorithm, where symbolic information is passed along relations form one concept to another, uses node and edge interpretation to guide its markers. The node and edge interpretation model is the symbolic influence of certain concepts.
Future work uses the created representation of meaning to build heuristics and evaluate them through capability matching and agent planning, chatbots or other applications of natural language understanding.