Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Towards a Formal Language in Law

Towards a Formal Language in Law
View Sample PDF
Author(s): Rodrigo Vidal-López (Universidad Autónoma del Estado de México, Mexico), Jacobo Leonardo González-Ruíz (Universidad Auutónoma del Estado de México, Mexico), José Raymundo Marcial-Romero (Universidad Autónoma del Estado de México, Mexico) and J. A. Hernández-Servín (Universidad Autónoma del Estado de México, Mexico)
Copyright: 2023
Pages: 16
Source title: Handbook of Research on Applied Artificial Intelligence and Robotics for Government Processes
Source Author(s)/Editor(s): David Valle-Cruz (Universidad Autónoma del Estado de México, Mexico), Nely Plata-Cesar (Universidad Autónoma del Estado de México, Mexico) and Jacobo Leonardo González-Ruíz (Universidad Autónoma del Estado de México, Mexico)
DOI: 10.4018/978-1-6684-5624-8.ch004


View Towards a Formal Language in Law on the publisher's website for pricing and purchasing information.


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.

Related Content

Hajer Brahmi, Boudour Ammar. © 2023. 34 pages.
Oscar Mauricio Covarrubias-Moreno. © 2023. 20 pages.
Edgar A. Ruvalcaba-Gomez, Victor Hugo Garcia-Benitez. © 2023. 22 pages.
Rodrigo Vidal-López, Jacobo Leonardo González-Ruíz, José Raymundo Marcial-Romero, J. A. Hernández-Servín. © 2023. 16 pages.
Rigoberto García-Contreras, J. Patricia Muñoz-Chávez, Rosa L. Muñoz-Chávez. © 2023. 21 pages.
Rodrigo Sandoval-Almazan, Adrián Osiel Millán-Vargas. © 2023. 18 pages.
Pablo Ramires Hernández, David Valle-Cruz, Rafael Valentín Mendoza Méndez. © 2023. 23 pages.
Body Bottom