1. Towards a Formal Language in Law
- Author
-
Rodrigo Vidal-López, Jacobo Leonardo González-Ruíz, José Raymundo Marcial-Romero, and J. A. Hernández-Servín
- Abstract
In today's globalized society, the generation of digital information grows exponentially along with the technological innovations in all aspects of everyday life. In order to cope with gathering, administering, sharing information, planning, and automatization of many human activities including some human reasoning tasks, multi-agent systems in the form of language programming scripting have become an important aspect in dealing with those problems. Thus, the agent-based programming language has become an important line of research in artificial intelligence from a theoretical and practical point of view. In this chapter, the authors review some already implemented languages and theoretical aspects toward a formal proposal of a language that deals with human reasoning in law. In particular, the authors present as an example a language, based on topoi theory, that deals with the problem of defining ontology as specified by FIPA as a requirement for agent-based programming language.
- Published
- 2022