Abstract
The paper discusses a new class of formal languages called standard K-languages (SK-languages) as a powerful tool for building contracts concluded by computer intelligent agents and representing contents of arbitrary e-negotiations. The definition of SK-languages is a part of a mathematical model describing a system consisting of such 10 operations on structured meanings (SMs) of natural language texts (NL-texts) that, using primitive conceptual items as “blocks”, it is possible to build SMs of, probably, arbitrary NL-texts. This means that a class of languages is determined being convenient for building semantic descriptions of arbitrary goods, services, and contracts. The principal advantages of SK-languages in comparison with first-order logic, Discourse Representation Theory, Theory of Conceptual Graphs, and Episodic Logic concern representing complicated goals and destinations of things, definitions of concepts, compound definitions of sets, and meanings of discourses with the references to the meaning of a phrase or larger part of discourse.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Hasselbring, W., Weigand, H.: Languages for Electronic Business Communication: State of the Art. Industrial Management and Data Systems 101, 217–226 (2001)
Kimbrough, S.O., Moore, S.A.: On Automated Message Processing in E-Commerce and Work Support Systems: Speech Act Theory and Expressive Felicity. ACM Transactions on Information Theory 15, 321–367 (1997)
Kamp, H., Reyle, U.: A Calculus for First Order Discourse Representation Structures. Journal for Logic, Language and Information (JOLLI) 5, 297–348 (1996)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations, 594 p. Brooks/Cole, Pacific Grove (2000)
Schubert, L.K., Hwang, C.H.: Episodic Logic Meets Little Red Riding Hood: A Comprehensive, Natural Representation for Language Understanding. In: Iwanska, L., Shapiro, S.C. (eds.) Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language, pp. 111–174. MIT/AAAI Press (2000)
Fomichov, V.A.: A Mathematical Model for Describing Structured Items of Conceptual Level. Informatica An Intern. J. of Computing and Informatics (Slovenia) 20, 5–32 (1996)
Fomichov, V.A.: Mathematical Foundations of Representing Meanings of Texts for the Elaboration of Linguistic Informational Technologies. Part 1. A Model of the System of Primary Units of Conceptual Level. Informational Technologies 10, 16–25 (2002) (in Russian)
Fomichov, V.A.: Mathematical Foundations of Representing Meanings of Texts for the Elaboration of Linguistic Informational Technologies. Part 2. A System of the Rules for Building Semantic Representations of Phrases and Complicated Discourses. Informational Technologies 11, 34–45 (2002) (in Russian)
Fomichov, V.A.: Theory of K-calculuses as a Powerful and Flexible Mathematical Framework for Building Ontologies and Designing Natural Language Processing Systems. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol. 2522, pp. 183–196. Springer, Heidelberg (2002)
Fomichov, V.A.: Theory of Restricted K-calculuses as a Comprehensive Framework for Constructing Agent Communication Languages. In: Fomichov, V.A., Zeleznikar, A.P. (eds.) Special Issue on NLP and Multi-Agent Systems. Informatica. An Intern. J. of Computing and Informatics (Slovenia), vol. 22, pp. 451–463 (1998)
Fomichov, V.A.: An Ontological Mathematical Framework for Electronic Commerce and Semantically-structured Web. In: Zhang, Y., Fomichov, V.A., Zeleznikar, A.P. (eds.) Special Issue on Database, Web, and Cooperative Systems. Informatica (Slovenia), vol. 24, pp. 39–49 (2000)
CrossFlow Project. Insurance Requirements. CrossFlow Consortium (1999), http://www.crossflow.org/public/pubdel/D1b.pdf
Xu, L., Jeusfeld, M.A.: A Concept for Monitoring of Electronic Contracts, 19 p. Tilburg University, The Netherlands (2003), http://infolab.uvt.nl/research/itrs/itrs010.pdf
Fomichov, V.A.: K-calculuses and K-languages as Powerful Formal Means to Design Intelligent Systems Processing Medical Texts. Cybernetica (Belgium) XXXVI, 161–182 (1993)
Fomichov, V.A.: Integral Formal Semantics and the Design of Legal Full-Text Databases. Cybernetica (Belgium) XXXVII, 145–177 (1994)
Fomichov, V.A.: The Method of Constructing the Linguistic Processor of the Animation System AVIAROBOT. In: Pohl, J. (ed.) Proceedings of the Focus Symposium on Collaborative Decision-Support Systems; InterSymp-2002, the 14th International Conference on Systems Research, Informatics and Cybernetics, Baden-Baden, Germany. CAD Research Center, Cal Poly, San Luis Obispo, CA, USA, July 29 – August 3, pp. 91–102 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fomichov, V.A. (2005). Standard K-Languages as a Powerful and Flexible Tool for Building Contracts and Representing Contents of Arbitrary E-Negotiations. In: Bauknecht, K., Pröll, B., Werthner, H. (eds) E-Commerce and Web Technologies. EC-Web 2005. Lecture Notes in Computer Science, vol 3590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11545163_14
Download citation
DOI: https://doi.org/10.1007/11545163_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28467-3
Online ISBN: 978-3-540-31736-4
eBook Packages: Computer ScienceComputer Science (R0)